10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS'03)
Consistency in Model-Based Development
Huntsville, Alabama
April 07-April 10
ISBN: 0-7695-1917-2
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.
Citation:
Bernhard Schätz, Peter Braun, Franz Huber, Alexander Wisspeintner, "Consistency in Model-Based Development," ecbs, pp.287, 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS'03), 2003