Formal engineering for industrial software development : using the SOFL method

QR Code

Formal engineering for industrial software development : using the SOFL method

Bibliographic Details
Main Author:	Liu, Shaoying , 1960- (Author)
Format:	Book
Language:	English
Published:	New York : Springer , c2004
Subjects:	Computer software > Development Formal methods (Computer science) Object-oriented programming (Computer science)
Online Access:	Table of contents only

Similar Items

Formal specification using Z
by: Lightfoot, David , 1951-
Published: (2001)

Object-oriented software engineering : a use case driven approach
by: Jacobson, Ivar
Published: (1992)

Using UML software engineering with objects and components
by: Stevens, Perdita, et al.
Published: (2000)

Management of the object-oriented development process
by: Liu, Liping, et al.
Published: (2006)

Software engineering : modern approaches
by: Braude, Eric J., et al.
Published: (2011)

Object-oriented software engineering : practical software development using UML and Java
by: Lethbridge, Timothy Christian , 1963-, et al.
Published: (2005)

Object-oriented software engineering
by: Schach, Stephen R.
Published: (2008)

Advances in object-oriented software engineering
by: Mandrioli, Dino, et al.
Published: (1992)

Classical and object-oriented software engineering
by: Schach, Stephen R.
Published: (1996)

Business objects : software solutions
by: Spurr, Kathy
Published: (1994)

Object-oriented software engineering : practical software development using UML and Java
by: Lethbridge, Timothy Christian , 1963-, et al.
Published: (2001)

Object-oriented and classical software engineering
by: Schach, Stephen R.
Published: (2005)

Object-oriented and classical software engineering
by: Schach, Stephen R.
Published: (2002)

Object-oriented & classical software engineering
by: Schach, Stephen R.
Published: (2007)

Foundations of algebraic specification and formal software development
by: Sannella, Donald , 1956-, et al.
Published: (2012)

Building object-oriented software
by: Montgomery, Stephen L.
Published: (1998)

Object-oriented systems analysis and design using UML
by: Bennett, Simon , 1956-, et al.
Published: (2000)

Object-oriented systems analysis and design using UML
by: Bennett, Simon , 1956-, et al.
Published: (2002)

Unified modeling language : systems analysis, design and development issues
by: Siau, Keng , 1964-, et al.
Published: (2001)

Formal object-oriented specification using object-Z
by: Duke, Roger, et al.
Published: (2000)

Z : an introduction to formal methods
by: Diller, Antoni
Published: (1994)

UML distilled : a brief guide to the standard object modeling language
by: Fowler, Martin
Published: (2004)

Practical Object-Oriented Design with UML
by: Priestley, Mark
Published: (2000)

UML distilled : a brief guide to the standard object modeling languange / Martin Fowler with Kendall Scott
by: Fowler, Martin, et al.
Published: (2000)

Object-oriented technology : from diagram to code with Visual Paradigm for UML
by: Tsang, Curtis HK, et al.
Published: (2010)

Object-oriented systems analysis and design
by: Ashrafi, Noushin, et al.
Published: (2009)

Object-oriented methods
by: Graham, Ian
Published: (1991)

Agile principles, patterns, and practices in C#
by: Martin, Robert C., et al.
Published: (2007)

Java software solutions : foundations of program design
by: Lewis, John , 1963-, et al.
Published: (2003)

Using aspect-oriented programming for trustworthy software development
by: Safonov, V. O. [ (Vladimir Olegovich)]
Published: (2008)

An introduction to object-oriented programming
by: Budd, Timothy
Published: (1997)

Object-oriented programming : an evolutionary approach
by: Cox, Brad J. , 1944-, et al.
Published: (1991)

Object-oriented programming : an introduction
by: Voss, Greg
Published: (1991)

Object-oriented programming
by: Coad, Peter, et al.
Published: (1993)

An introduction to object-oriented programming with Java
by: Wu, C. Thomas
Published: (2004)

Object-oriented analysis and design with applications
by: Booch, Grady
Published: (2007)

Object-oriented programming [
by: Derrick, Ligia
Published: (2014)

The art of objects : object-oriented design and architecture
by: Lau, Yung-Tung
Published: (2001)

Object-oriented analysis and design : a pragmatic approach
by: Deacon, John
Published: (2005)

Object-oriented program development using Java : a class-centered approach
by: Bronson, Gary J.
Published: (2004)