Software Engineering and Environment: An Object-Oriented Perspective

✍ Scribed by Phillip C.-Y. Sheu (auth.)

• Publisher: Springer US
• Year: 1997
• Tongue: English
• Leaves: 327
• Series: Software Science and Engineering
• Edition: 1
• Category: Library

✦ Synopsis

Software Engineering and Environment examines the various aspects of software development, describing a number of software life cycle models. Twelve in-depth chapters discuss the different phases of a software life cycle, with an emphasis on the object-oriented paradigm. In addition to technical models, algorithms, and programming styles, the author also covers several managerial issues key to software project management. Featuring an abundance of helpful illustrations, this cogent work is an excellent resource for project managers, programmers, and other computer scientists involved in software production.

✦ Table of Contents

Front Matter....Pages i-xi
Software Life Cycle Models....Pages 1-7
Object-Oriented Concepts and Modeling....Pages 9-27
Formal Specification and Verification....Pages 29-63
Design Methodologies and Specifications....Pages 65-91
Programming and Coding....Pages 93-128
Programming Tools....Pages 129-180
Declarative Programming....Pages 181-206
Automatic Program Synthesis and Reuse....Pages 207-229
Program Verification and Testing....Pages 231-260
Software Maintenance....Pages 261-280
Advanced Programming Environments....Pages 281-291
Other Selected Topics....Pages 293-317
Back Matter....Pages 319-323

✦ Subjects

Computer Science, general; Software Engineering/Programming and Operating Systems