loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
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
Bernhard Schätz, Technische Universität München
Peter Braun, Technische Universität München
Franz Huber, Technische Universität München
Alexander Wisspeintner, Technische Universität München
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
Usage of this product signifies your acceptance of the Terms of Use.