Software Engineering and Environment: An Object-Oriented Perspective

ISBN-13: 9780306451638 / Angielski / Twarda / 1996 / 323 str.

Phillip C. Sheu

Opis

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, a

Spis treści

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.