Consistent integration of formal methods

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

Volumn 1785 LNCS, Issue , 2000, Pages 48-62

  Braun, Peter ^a   Lötzbeyer, Heiko ^a   Schätz, Bernhard ^a   Slotosch, Oscar ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMMING INTERFACES (API); SEMANTICS;

BANKING SYSTEMS; COMMON SEMANTIC MODELS; CONSISTENT INTEGRATIONS; DEVELOPMENT PROCESS; FORMAL CONCEPTS; HARD AND SOFT CONSTRAINTS; INTEGRATED APPROACH; TECHNICAL INTEGRATION;

FORMAL METHODS;

EID: 84862441590     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46419-0_5     Document Type: Conference Paper

References (23)

1. J.-R. Abrial. The B-Book: Assigning Programs to Meanings Cambridge University Press, 1996.
2. Nikolaj Bjorner, Anca Browne, Eddie Chang, Michael Colon, Arjun Kapur, Zohar Manna, Henny B. Sipma, and Tomas E. Uribe. STeP: The Stanford Temporal Prover (Educational Release) User's Manual. STAN-CS-TR 95-1562, Computer Science Department Stanford University, 1995.
3. Roland Bechtel. Einbettungdes μ-Kalkül Model Checkers μ-cke in Auto Focus. Master's thesis, Institut für Informatik, Technische Universität München, 1999.
4. Armin Biere. Effiziente Modellprüfung des μ-Kalküls mit binaren Entschei-dungdiagrammen PhD thesis, Universität Karlsruhe, 1997.
5. G. Booch, I. Jacobson, and J. Rumbaugh. UML Summary. Rational Software Cooperation, January 1997. Version 1.0.
6. M. Grochtmann, J. Wegner, and K. Grimm. Test Case Design Using Classification Trees and the Classification-Tree Editor. In Proceedings of 8th International Quality Week, San Francisco, pages Paper 4-A-4, May 30-June 2 1995.
7. D. Harel. Statemate: A workingenvironment for the development of complex reactive systems. IEEE Transactions on Software Engineering, 16(4):403-414, 1990. (Pubitemid 20712683)
8. F. Huber, S. Molterer, B. Schätz, O. Slotosch, and A. Vilbig. Traffic Lights-An AutoFocus Case Study. In 1998 International Conference on Application of Concurrency to System Design, pages 282-294. IEEE Computer Society, 1998.
9. i-Logix. Rhapsody Reference Version 1.0, 1997.
10. Frank Marschall. Konzeption und Realisierungeiner generischen Schnittstelle für metamodell-basierte Werkzeuge. Master's thesis, Institut für Informatik, Technische Universität München, 1998.
11. K.L. McMillan. The SMV system, Symbolic Model Checkingan approach. Technical Report CMU-CS-92-131, Carnegie Mellon University, 1992.
12. MetaModel. http://www.MetaModel.com/, 1999.
13. Olaf Müller. A Verification Environment for I/O-Automata Based on Formalized Meta-Theory. PhD thesis, Institut für Informatik, Techn. Univ. München, 1998.
14. J. Philipps and O. Slotosch. The Quest for Correct Systems: Model Check-ingof Diagramms and Datatypes. In Asia Pacific Software Engineering Conference 1999, pages 449-458, 1999.
15. Rational. Rational Rose 98 Product Overview. http://www.rational.com/ products/rose/, 1998.
16. G. Rock, W. Stephan, and A. Wolpers. Tool Support for the Compositional Development of Distributed Systems. In Proc. Formale Beschreibungstechniken für verteilte Systeme, GI/ITG-Fachgespräch. GMD-Studien Nr. 315, ISBN: 3-88457-514-2, 1997.
17. Bran Selic, Garth Gullekson, and Paul Ward. Real-Time Object-Oriented Modeling. John Wiley and Sons, 1994.
18. Bernhard Schätz and Franz Huber. Integrating Formal Description Techniques. In Jeanette Wing, Jim Woodcock, and Jim Davies, editors, FM'99 - Formal Methods, pages 1206-1225. Springer, 1999.
19. O. Slotosch. Quest: Overview over the Project. In D. Hutter, W. Stephan, P Traverso, and M. Ullmann, editors, Applied Formal Methods - FM-Trends 98, pages 346-350. Springer LNCS 1641, 1998.
20. Telelogic AB. Telelogic AB: SDT 3.1 Reference Manual, 1996.
21. G. Wimmel. UsingSATO for the Generation of Input Values for Test Sequences. Master's thesis, Technische Universität München, 2000.
22. Jos Warmer and Anneke Kleppe. The Object Constraint Language. Addison-Wesley, 1998.
23. H. Zhang. SATO: An efficient propositional prover. In William McCune, editor, Proceedings of the 14th International Conference on Automated deduction, Volume 1249 of LNAI, pages 272-275, Berlin, July 13-17 1997. Springer. 50 (Pubitemid 127089531)