Proceedings 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems. ECBS 2003
Download PDF

Abstract

Development of complex software systems demands techniques to reduce the complexity of descriptions of such systems, both by using different views and different levels of detail. Such abstractions, however, introduce possible sources of inconsistency. In a model-based approach, this problem can be tackled methodically using variant and invariant conceptual as well as semantical consistency conditions. Supplying these techniques in a CASE-based approach ensures the quality of the development process while maintaining its efficiency.
Like what you’re reading?
Already a member?Sign In
Member Price
$11
Non-Member Price
$21
Add to CartSign In
Get this article FREE with a new membership!

Related Articles