The Approach: Integrating Object Oriented Design and Formal Verification-Reference-Cited by-同舟云学术

The Approach: Integrating Object Oriented Design and Formal Verification

Published:2000 Issue: Volume: Page:21-36
ISSN:0302-9743
Container-title:Logics in Artificial Intelligence
language:
Short-container-title:

Author:

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

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-40006-0_3

Reference31 articles.

1. J.-R. Abrial. The B Book — Assigning Programs to Meanings. Cambridge University Press, Aug. 1996.

2. K. R. Apt. Ten years of Hoare logic: A survey — part I. ACM Transactions on Programming Languages and Systems, 1981.

3. T. Baar. Experiences with the UML/OCL-approach to precise software modeling: A report from practice. Submitted, see http://i12www.ira.uka.de/~key, 2000 .

4. T. Baar, R. Hähnle, T. Sattler, and P. H. Schmitt. Entwurfsmustergesteuerte Erzeugung von OCL-Constraints. In G. Snelting, editor, Softwaretechnik-Trends, Informatik Aktuell. Springer, 2000.

5. B. Beckert. A dynamic logic for Java Card. In Proc. 2nd ECOOP Workshop on Formal Techniques for Java Programs, Cannes, France, 2000. See http://i12www.ira.uka.de/~key/doc/2000/beckert00.pdf.gz.

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

1. Symbolic Execution: Foundations, Techniques, Applications, and Future Perspectives;The Logic of Software. A Tasting Menu of Formal Methods;2022

2. Extending Liquid Types to Arrays;ACM Transactions on Computational Logic;2020-04-30

3. Empirically evaluating OCL and Java for specifying constraints on UML models;Software & Systems Modeling;2014-11-21

4. Verification of UML Models;UML 2 Semantics and Applications;2009-10-19

5. Constraint-driven development;Information and Software Technology;2008-04