Software Engineering and Environment : An Object-Oriented Perspective

Sheu, Phillip C. Y.

ISBN 10: 0306451638 / ISBN 13: 9780306451638

Editore: Springer, 1996

Riguardo questo articolo

Codice articolo 4900111-n

Dati bibliografici

• Titolo: Software Engineering and Environment : An Object-Oriented Perspective
• Editore: Springer
• Data di pubblicazione: 1996
• Lingua: Inglese
• ISBN 10: 0306451638
• ISBN 13: 9780306451638
• Rilegatura: Rilegato
• Condizione: New

Descrizione articolo

Riassunto

Introduces a number of software life cycle models and the basic concepts of object-oriented systems, then details different phases of a life cycle emphasizing the object-oriented paradigm. Among the topics are formal specifications and verification, programming and coding, declarative programming, and software maintenance. Includes chapter-end problems. Annotation c. by Book News, Inc., Portland, Or.

Contenuti

Software Life Cycle Models. Objectoriented Concepts and Modeling. Formal Specification and Verification. Design Methodologies and Specifications. Programming and Coding. Programming Tools. Declarative Programming. Automatic Program Synthesis and Reuse. Program Verification and Testing. Software Maintenance. Advanced Programming Environments. Other Selected Topics. Index.