AutoFocus 3 - A scientific tool prototype for model-based development of component-based, reactive, distributed systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6100 LNCS, Issue , 2010, Pages 317-322

  Hölzl, Florian ^a   Feilkas, Martin ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTO-FOCUS; COMPONENT BASED; COMPONENT-BASED MODELING; DISTRIBUTED SYSTEMS; MODEL BASED DEVELOPMENT; MODELING LANGUAGES; REACTIVE SYSTEM; SCIENTIFIC TOOL; VALIDATION AND VERIFICATION;

EMBEDDED SYSTEMS;

REAL TIME SYSTEMS;

EID: 78449259253     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-16277-0_13     Document Type: Conference Paper

References (5)

1. Broy, M., Stølen, K.: Specification and Development of Interactive Systems: Focus on Streams, Interfaces and Refinement. Springer, Heidelberg (2001)
2. Geisberger, E., Grünbauer, J., Schätz: Interdisciplinary requirements-analysis using the model-based rm tool autoraid. In: Automotive Requirements Engineering (AURE 2006) Workshop at IEEE Intl. RE Conf. (2006)
3. Broy, M., Fox, J., Hölzl, F., Koss, D., Kuhrmann, M., Meisinger, M., Penzenstadler, B., Rittmann, S., Schätz, B., Spichkova, M., Wild, D.: Service-oriented modeling of cocome with focus and autofocus. In: The Common Component Modeling Example: Comparing Software Component Models, pp. 177-206. Springer, Heidelberg (2008)
4. Feilkas, M., Fleischmann, A., Hölzl, F., Pfaller, C., Rittmann, S., Scheidemann, K., Spichkova, M., Trachtenherz, D.: A top-down methodology for the development of automotive software. Technical Report TUM-I0902 Technical Report, Technische Universität München (2009)
5. Botaschanjan, J., Broy, M., Gruler, A., Harhurin, A., Knapp, S., Kof, L., Paul, W., Spichkova, M.: On the correctness of upper layers of automotive systems. Formal Aspects of Computing 20(6), 637-662 (2006)