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)

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

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

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)

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

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

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

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

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

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

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

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)

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

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 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)

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

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

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

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

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

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

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 analysis and design a pragmatic approach
by: Deacon, John
Published: (2005)

Dynamic logic [electronic resource]
by: Harel, David 1950-, et al.
Published: (2000)