Cover Image

Formal specification and design /

Bibliographic Details
Main Author:	Feijs, L. M. G. (Loe M. G.)
Other Authors:	Jonkers, H. B. M.
Format:	Book
Language:	English
Published:	Cambridge ; New York : Cambridge University Press, 1992.
Series:	Cambridge tracts in theoretical computer science ; 35.
Subjects:	Computer software > Development. Object-oriented programming (Computer science)

Similar Items

Formal engineering for industrial software development : using the SOFL method /
by: Liu, Shaoying, 1960-
Published: (2004)

Pattern languages of program design /
Published: (1995)

Designing object-oriented software /
by: Wirfs-Brock, Rebecca
Published: (1990)

Domain-driven design : tackling complexity in the heart of software /
by: Evans, Eric, 1962-
Published: (2004)

Object-oriented analysis and design : understanding system development with UML 2.0 /
by: O'Docherty, Mike
Published: (2005)

Object-oriented design measurement /
by: Whitmire, Scott A., 1959-
Published: (1997)

The OPEN process specification /
by: Graham, Ian, 1948-
Published: (1997)

Object-oriented software development : a practical guide /
by: Lorenz, Mark
Published: (1993)

Principles of object-oriented software development /
by: Eliëns, Anton
Published: (2000)

Transactions on aspect-oriented software development I /
Published: (2006)

Management of the object-oriented development process /
Published: (2006)

Object oriented environments : the Mjølner approach /
Published: (1993)

Transactions on aspect-oriented software development II /
Published: (2006)

Object management architecture guide /
Published: (1995)

Object-oriented programming using SOM and DSOM /
by: Lau, Christina
Published: (1994)

The OPEN toolbox of techniques /
by: Henderson-Sellers, Brian
Published: (1998)

Object-oriented software construction /
by: Meyer, Bertrand, 1950-
Published: (1988)

Patterns of software : tales from the software community /
by: Gabriel, Richard P.
Published: (1996)

Object-oriented implementation of numerical methods : an introduction with Java and Smalltalk /
by: Besset, Didier H.
Published: (2001)

Aspect-oriented software development with use cases /
by: Jacobson, Ivar
Published: (2005)

Object-oriented development process and metrics /
by: De Champeaux, Dennis
Published: (1997)

Transition to object-oriented software development /
by: Fayad, Mohamed, 1950-
Published: (1998)

Object-oriented development at work : fusion in the real world /
by: Malan, Ruth
Published: (1996)

Object-oriented metrics : measures of complexity /
by: Henderson-Sellers, Brian
Published: (1996)

Object-oriented software construction /
by: Meyer, Bertrand, 1950-
Published: (1997)

The object-oriented development process : developing and managing a robust process for object-oriented development /
by: Rowlett, Thomas
Published: (2001)

Object-oriented programming : the software development revolution /
by: Varhol, Peter
Published: (1993)

Object-oriented specification case studies /
Published: (1994)

An object-oriented environment : principles and application /
by: Meyer, Bertrand, 1950-
Published: (1994)

Developing object-oriented software for the Macintosh : analysis, design, and programming /
by: Goldstein, Neal
Published: (1992)

Building application frameworks : object-oriented foundations of framework design /
Published: (1999)

Object-oriented requirements analysis and logical design : a software engineering approach /
by: Firesmith, Donald G., 1952-
Published: (1993)

Object orientation and prototyping in software engineering /
by: Pomberger, Gustav, 1949-
Published: (1996)

Design patterns : elements of reusable object-oriented software /
Published: (1995)

A student guide to object-oriented development /
by: Britton, Carol, 1947-
Published: (2005)

Pattern languages of program design 4 /
Published: (2000)

Design patterns explained : a new perspective on object-oriented design /
by: Shalloway, Alan
Published: (2002)

Productive objects : an applied software project management framework /
by: Muller, Robert J.
Published: (1998)

Proceedings of the ... USENIX Conference on Object-Oriented Technologies and Systems (COOTS) /

Object technologies for advanced software : first JSSST international symposium, Kanazawa, Japan, November 4-6, 1993 : proceedings /
Published: (1993)