Consistency in model-based development

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

Volumn , Issue , 2003, Pages 287-296

  Schatz B ^a   Braun, P ^a   Huber, F ^a   Wisspeintner, A ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

Computer aided software engineering; Conferences; Connectors; Data engineering; Embedded system; Home computing; Prototypes; Software systems; Systems engineering and theory; Unified modeling language

Indexed keywords

COMPUTER SOFTWARE; CONNECTORS (STRUCTURAL); EMBEDDED SYSTEMS; MODELING LANGUAGES; SOFTWARE ENGINEERING; SOFTWARE PROTOTYPING; UNIFIED MODELING LANGUAGE;

CONFERENCES; DATA ENGINEERING; HOME COMPUTING; PROTOTYPES; SOFTWARE SYSTEMS; SYSTEMS ENGINEERING AND THEORIES;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 79251643832     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ECBS.2003.1194810     Document Type: Conference Paper

References (18)

1. S. Ambler. Process Patterns - Building Large-Scale Systems Using Object Technology. Cambridge University Press/SIGS Books, 1998.
2. P. Braun, H. Lötzbeyer, B. Schätz, and O. Slotosch. Consistent Integration of Formal Methods. In Proc. 6th Intl. Conf on Tools for the Analysis of Correct Systems (TACAS), LNCS 2280, 2000.
3. J.-C. Derniame, B. A. Kaba, and D. Wastell, editors. Software Process: Principles, Methodology and Technology. Springer, 1999. LNCS 1500.
4. M. Fowler. Refactoring - Improving the design of existing code. Addison Wesley, 1999.
5. M. Fowler and K. Scott. UML Distilled. Addison-Wesley, 1997.
6. A. Gerber, M. Lawley, K. Raymond, and J. Steel. Transformation: The Missing Link of MDA. In A. Corradini, H. Ehrig, H.-J. Kreowski, and G. Rozenberg, editors, Graph Transformation, LNCS 2505, pages 90-105. Springer, 2002.
7. C. L. Heitmeyer. Software Cost Reduction. In J. J. Marciniak, editor, Encyclopedia of Software Engineering. 2002.
8. F. Huber and B. Schätz. Integrated Development of Embedded Systems with AutoFocus. Technical Report TUMI-- 0701, Fakultät für Informatik, TU München, 2001.
9. F. Huber, B. Schätz, and G. Einert. Consistent Graphical Specification of Distributed Systems. In Industrial Applications and Strengthened Foundations of Formal Methods (FME'97), LNCS 1313, pages 122-141. Springer Verlag, 1997.
10. P. Kruchten. The Rational Unified Process - An Introduction. Addison Wesley, 2000.
11. S. J. Mellor, K. Scott, A. Uhl, and D. Weise. Model-driven architecture. In J.-M. Bruel and Z. Bellahsne, editors, Advances in Object-Oriented Information Systems, LNCS 2426, pages 290-297. Springer, 2002.
12. Object Management Group, Inc. Meta Object Facility (MOF) Specification, 2000. http://www.omg.org/.
13. OMG. Object Constraint Language Specification. Technical Report 1.1, ad/97-08-08, Object Management Group (OMG), http://www.omg.org, 1997.
14. B. Schätz. The ODL operation definition language and the AutoFocus/Quest application framework AQuA. Technical Report TUM-I0111, TU München, 2001.
15. B. Schätz. Towards service-based systems engineering: Formalizing and μ-checking service descriptions. Technical Report TUM-I0602, TU München, 2002.
16. B. Schätz and F. Huber. Integrating formal description techniques. In J. M. Wing, J. Woodcock, and J. Davies, editors, FM'99 - LNCS 1709, pages 1206-1225. Springer Verlag, 1999.
17. M. Scherer. A Formalization of OCL with Isabelle/HOL. Master's thesis, Technische Universität München, 2000.
18. B. Selic and J. Rumbaugh. Using UML for modeling complex real-time systems. http://www.objectime.com/otl/technical, April 1998.