Software Engineering and Environment: An Object-Oriented Perspective

By Phillip C.-Y. Sheu

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.

• Format: Hardcover
• Language: English
• ISBN: 0306451638
• ISBN13: 9780306451638
• Release Date: December 1996
• Publisher: Plenum Publishing Corporation
• Length: 340 Pages
• Weight: 1.47 lbs.
• Dimensions: 0.9" x 6.0" x 9.0"