The Key System: Integrating Object-Oriented Design and Formal Methods-Reference-Cited by-同舟云学术

The Key System: Integrating Object-Oriented Design and Formal Methods

Published:2002 Issue: Volume: Page:327-330
ISSN:0302-9743
Container-title:Fundamental Approaches to Software Engineering
language:
Short-container-title:

Author:

Ahrendt Wolfgang,Baar Thomas,Beckert Bernhard,Giese Martin,Habermalz Elmar,Hähnle Reiner,Menzel Wolfram,Mostowski Wojciech,Schmitt Peter H.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-45923-5_23

Reference7 articles.

1. Lect Notes Comput Sci;W. Ahrendt,2000

2. T. Baar. Experiences with the UML/OCL-approach to precise software modeling: A report from practice. In Proc. Net. ObjectDays, Erfurt, Germany, 2000. http://i12www.ira.uka.de/~key/doc/2000/baar00.pdf.gz .

3. Lect Notes Comput Sci;B. Beckert,2001

4. B. Beckert, U. Keller, and P. H. Schmitt. Translating the object constraint language into first-order predicate logic. Submitted to FASE 2002, available from http://i12www.ira.uka.de/~projekt/publicat.htm .

5. D. L. Dill and J. Rushby. Acceptance of formal methods: Lessons from hardware design. IEEE Computer, 29(4):23–24, Apr. 1996.

Cited by 11 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Towards designing of SPF based secure web application using UML 2.0;International Journal of System Assurance Engineering and Management;2015-01-28

2. SawjaCard: A Static Analysis Tool for Certifying Java Card Applications;Static Analysis;2014

3. Foundations for MDA Case Tools;Encyclopedia of Information Science and Technology, Second Edition;2009

4. An Algebraic Specification of Generic OCL Queries Within the Eclipse Modeling Framework;Model Driven Architecture – Foundations and Applications;2006

5. The KeY tool;Software & Systems Modeling;2005-02