Asia-Pacific Software Engineering Conference: ASPEC 96

Front Cover
IEEE Computer Society Press, 1996 - Computers - 460 pages
The three keynote addresses cover the new for new software technology, principles of software evolution, and auditing informal software testing and analysis processes. Others of the 41 papers consider a design metric for module coupling, a class testing technique based on data binding, safety analysis using colored Petri nets, a dynamic extension for specifying distributed systems, designing and implementing dynamically reconstructing system software, a dialog- oriented user interface generation mechanism, real-time system design tools based on a real-time object model, and other topics. No subject index. Annotation copyrighted by Book News, Inc., Portland, OR

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Have We Overcome
2
Formalization and Verification of Safety Properties
16
ObjectOriented Metrics
30
Copyright

37 other sections not shown

Common terms and phrases

Bibliographic information