AutoFocus - A prototype tool for the development of embedded systems;AutoFocus - Ein werkzeugprototyp zur entwicklung eingebetteter systeme

Informatik - Forschung und Entwicklung

Volumn 14, Issue 3, 1999, Pages 121-134

  Broy, Manfred ^a   Huber, Franz ^a   Schätz, Bernhard ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

Development of distributed and embedded systems; Formal methods and techniques; Prototyping; Software engineering tools

Indexed keywords

EID: 20444432539     PISSN: 01783564     EISSN: None     Source Type: Journal    
DOI: 10.1007/s004500050132     Document Type: Article

References (25)

1. Abrial, J.-R.: The B-Book: Assigning Programs to Meanings. Cambridge: Cambridge University Press 1996
2. Bechtel, R.: Einbettung des μ-Kalkül Model Checkers μ-cke in AUTO-FOCUS. Diplomarbeit, Institut für Informatik, Technische Universität München 1999
3. Biere, A.: Effiziente Modellprüfung des μ-Kalküls mit binären Entscheidungdiagrammen. Dissertation, Universität Karlsruhe 1997
4. Bjørner, N., Browne, A., Chang, E., Colon, M., Kapur, A., Manna, Z., Sipma, H. B., Uribe, T. E.: STeP: The Stanford Temporal Prover (Educational Release) User's Manual. STAN-CS-TR 95-1562, Computer Science Department Stanford University 1995
5. Booch, G., Jacobson, I., Rumbaugh, J.: UML Summary. Cupertino, CA: Rational Software Corporation 1997
6. Broy, M., Dederichs, F., Dendorfer, C, Fuchs, M., Gritzner, T., Weber, R.: The Design of Distributed Systems - An Introduction to FOCUS. SFB-Bericht Nr. 342/2-2/92 A, TUM-I 9202-2, Technische Universität München 1993
7. 20 States and Beyond. Information and Computation, 98(2): 142-170 (1992)
8. Formula Software: FormulaGraphics Multimedia System. Siehe auch http://www.formulagraphics.com. 1998
9. Grosu, R., Klein, C, Rumpe, B., Broy, M.: State Transition Diagrams. Technischer Bericht TUM-I9630, Technische Univerität München 1996
10. Harel, D.: STATEMATE: A Working Environment for the Development of Complex Reactive Systems. IEEE Transactions on Software Engineering, 16(4):403-414 (1990)
11. Huber, F., Molterer, S., Schätz, B., Slotosch, O., Vilbig, A.: Traffic Lights - An AutoFocus Case Study. In: 1998 International Conference on Application of Concurrency to System Design, S. 282-294. Los Alamitos, CA: IEEE Computer Society 1998
12. Huber, F., Schätz, B.: Rapid Prototyping with AutoFocus. In: Wo-lisz, A., Schieferdecker, I., Rennoch, A. (Hrsg.), Formale Beschreibungstechniken für verteilte Systeme, GI/ITG Fachgespräch 1997, S. 343-352. St. Augustin: GMD Verlag 1997
13. Huber, F., Schätz, B., Einert, G.: Consistent Graphical Specification of Distributed Systems. In: Fitzgerald, J., Jones, C. B., Lucas, P. (Hrsg.), FME '97, LNCS 1313, S. 122-141. Berlin: Springer 1997
14. i-Logix: Rhapsody Reference Version 1.0. Andover, MA: i-Logix 1997
15. ITU-TS: Recommendation Z.120 : Message Sequence Chart (MSC). Genf: ITU 1996
16. Jones, M. P.: An Introduction to Gofer. Yale University, New Haven 1993
17. Kamsties, E., von Knethen, A., Philipps, J., Schätz, B.: Eine vergleichende Fallstudie mit CASE-Werkzeugen für formale und semiformale Beschreibungstechniken. In: Schätz, B., Spies, K. (Hrsg.), Formale Beschreibungstechniken FBT'99, GI/ITG Fachgespräch. München: Utz Verlag 1999
18. Lesny, C: Sprachbeschreibung und Parserimplementierung der funktionalen Sprache "Frisco F". Diplomarbeit, Institut für Informatik, Technische Universität München 1997
19. Lötzbeyer, A.: Task Description of a Fault-Tolerant Production Cell. Available via http://www.fzi.de/divisions/prost/projects/korsys/korsys.html. 1996
20. Rational Software Corporation: Rational Rose 98 Product Overview. Siehe auch http://www.rational.com/products/rose. 1998
21. Schätz, B., Hußmann, H, Broy, M.: Graphical Development of Consistent System Specifications. In: Gaudel, M.-C, Woodcock, J. (Hrsg.), FME'96: Industrial Benefit and Advances In Formal Methods. Berlin: Springer 1996
22. Selic, B., Gullekson, G., Ward, P.: Real-Time Object-Oriented Modeling. New York, NY: John Wiley & Sons, Inc. 1994
23. Telelogic AB: SDT 3.1 Reference Manual. Malmö: Telelogic 1996
24. Wall, L., Schwartz, R. L.: Programming Perl. Sebastopol, CA: O'Reilly & Associates, Inc. 1992
25. Wilke Technology GmbH: BASIC Tiger. Siehe auch http://www.wilke.de/ btiger.htm. 1999