Titlebook: Software Engineering and Environment; An Object-Oriented P Phillip C.-Y. Sheu Book 1997 Springer Science+Business Media New York 1997 algor

欺骗手段

不公开

Program Verification and Testing, from the desire to prove formally that a program is correct, based on written code and requirements specification. In general two approaches are proposed for formal program verification—one based on theorem proving and one based on symbolic execution.

百灵鸟

figure

Advanced Programming Environments,ted to the programming environment that were explored in the past. These include knowledge-based programming environments (Section 11.1), visual programming environments (Section 11.2), distributed programming environments (Section 11.3), programming environments that support concurrent engineering

gerontocracy

允许

Object-Oriented Concepts and Modeling,local data; together they may share some global data. A program is a sequence of subprogram activations and data exchanges arranged by a control algorithm. If the system has multiple programs, data may be transferred among them asynchronously or synchronously through messages or shared variables.

FUSE

Software Maintenance,ment and version management. Chapter 10 describes approaches to software maintenance, emphasizing applications of database technologies to managing programming objects at various levels of abstraction.

贝雷帽

Advanced Programming Environments,amming environments (Section 11.2), distributed programming environments (Section 11.3), programming environments that support concurrent engineering (Section 11.4), and component software (Section 11.5).

充气女

Book 1997s, algorithms, andprogramming styles, the author also covers several managerial issueskey to software project management. Featuring an abundance of helpfulillustrations, this cogent work is an excellent resource for projectmanagers, programmers, and other computer scientists involved insoftware production.

sorbitol

Programming Tools, interactive programming environment IDE that supports .++ programming. The choices made were arbitrary; our intent is to show how reusable libraries facilitate programming and to illustrate some desired features of an IDE.