Formal specification and design /

Formal specification and design /

57

Библиографические подробности
Главные авторы:	Feijs, L. M. G. (Loe M. G.), Jonkers, H. B. M.
Формат:
Язык:	eng
Опубликовано:	New York, NY : Cambridge University Press, 2005
Предметы:	Computer software Object-oriented programming (Computer science)

Схожие документы

Formal object-oriented specification using object-Z /
по: 366069 Duke, Roger, и др.
Опубликовано: (2000)

Formal engineering for industrial software development : using the sofl method /
по: 263222 Liu, Shaoying
Опубликовано: (2004)

Designing object-oriented software /
по: 442930 Wirfs-Brock, Rebecca, и др.
Опубликовано: (2007)

Object-oriented design measurement /
по: 244657 Whitmire, Scott A.
Опубликовано: (1997)

Pattern languages of program design /
по: Coplien, James O., и др.
Опубликовано: (1995)

Design patterns for object-oriented software development /
по: 178537 Pree, Wolfgang
Опубликовано: (1995)

Design patterns : elements of reusable object-oriented software /
по: Gamma, Erich
Опубликовано: (1995)

Design patterns for dummies /
по: 419051 Holzner, Steve
Опубликовано: (2006)

Design patterns : elements of reusable object-oriented software /
по: Gamma, Erich
Опубликовано: (1995)

Designing object-oriented software /
по: 442930 Wirfs-Brock, Rebecca, и др.
Опубликовано: (1990)

Object-oriented implementation of numerical methods : an introduction with Java and smalltalk /
по: 413673 Besset, Didier H.
Опубликовано: (2001)

Object-oriented implementation of numerical methods : an introduction with Java and smalltalk / [cakera padat]
по: 413673 Besset, Didier H.
Опубликовано: (2001)

Object oriented applications in engineering design /
по: 205126 Rajaraman, Arunachalam
Опубликовано: (2003)

Testing object-oriented software : life cycle solutions /
по: 396608 Bashir, Imran, и др.
Опубликовано: (1999)

Object success : a manager's guide to object orientation, its impact on the corporation, and its use for reengineering the software process /
по: Meyer, Bertrand, 1950-
Опубликовано: (1995)

Applications and Approaches to Object-Oriented Software Design : Emerging Research and Opportunities /
по: Altan, Zeynep, 1958- editor.
Опубликовано: ([202)

Aspect oriented software development /
по: Filman, Robert E.
Опубликовано: (2005)

Principles of object-oriented software development [compact disc] /
по: 209003 Eliens, Anton
Опубликовано: (2000)

Management of the object-oriented development process /
по: Liu, Liping, и др.
Опубликовано: (2006)

Aspect-oriented software development with use cases /
по: 390333 Jacobson, Ivar, и др.
Опубликовано: (2004)

Principles of object-oriented software development /
по: 209003 Eliens, Anton
Опубликовано: (2000)

Object oriented testability quality model for model based testing /
по: Pourya Nikfard, 1982-, author 600857, и др.
Опубликовано: (2020)

Object oriented testability quality model for model based testing /
по: Pourya Nikfard, 1982-, author 600857, и др.
Опубликовано: (2020)

Developing object-oriented software for the Macintosh : analysis, design, and programming /
по: 328663 Goldstein, Neal, и др.
Опубликовано: (1992)

Object solutions : managing the object-oriented project /
по: 463085 Booch, Grady
Опубликовано: (1996)

Pembangunan perisian ke arah menghasilkan komponen guna-semula /
по: 174846 Saliza Daud
Опубликовано: (1998)

Object-oriented software development : engineering software for reuse /
по: 357884 McGregor, John D., и др.
Опубликовано: (1992)

Object-oriented programming using SOM and DSOM / [disket]
по: 190858 Lau, Christina
Опубликовано: (1994)

Principles of object-oriented software development /
по: 209003 Eliens, Anton
Опубликовано: (1995)

Reusable software : the base object-oriented component libraries /
по: Meyer, Bertrand, 1950-
Опубликовано: (1994)

Object-oriented programming using SOM and DSOM /
по: 190858 Lau, Christina
Опубликовано: (1994)

Object-oriented system development /
по: 307716 De Champeaux, Dennis, и др.
Опубликовано: (1993)

The OPEN toolbox of techniques /
по: 372293 Henderson-Sellers, Brian, и др.
Опубликовано: (1998)

The OPEN toolbox of techniques / [cakera padat]
по: 372293 Henderson-Sellers, Brian, и др.
Опубликовано: (1998)

The open process specification /
по: 437655 Graham, Ian (Ian R.), 1948-, и др.
Опубликовано: (1997)

Object-oriented behavioral specifications /
по: 455669 Kilov, Haim, и др.
Опубликовано: (1996)

Object-oriented software design and construction with java /
по: 190648 Kafura, Dennis
Опубликовано: (2000)

Modern software tools for scientific computing /
по: Arge, Erlend, и др.
Опубликовано: (1997)

Designing object-oriented C++ applications : using the Booch method /
по: 357107 Martin, Robert Cecil
Опубликовано: (1995)

A document-based software traceabiliy to support change impact analysis of object-oriented software /
по: 564562 Suhaimi Ibrahim, и др.
Опубликовано: (2006)