scientific article; zbMATH DE number 1759367

MaRDI QIDQ4536314zbMATH OpenFDO

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

Publication date 25 November 2002

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 2087530
• KeY: A Formal Method for Object-Oriented Systems
• Modular specification and verification of object-oriented programs
• A formal approach to object-oriented software engineering
• scientific article; zbMATH DE number 1860624

Cited in

(20)

• KeY
• A survey of emerging threats in cybersecurity
• Precise quantitative information flow analysis -- a symbolic approach
• Integrating a formal method into a software engineering process with UML and Java
• Observable behavior of dynamic systems: component reasoning for concurrent objects
• Ensuring the correctness of lightweight tactics for JavaCard dynamic logic
• scientific article; zbMATH DE number 2088943 (Why is no real title available?)
• Key-ABS: a deductive verification tool for the concurrent modelling language ABS
• Towards ``mouldable code via nested code graph transformation
• Verification of object-oriented programs: a transformational approach
• Observable behavior of distributed systems: component reasoning for concurrent objects
• scientific article; zbMATH DE number 2155176 (Why is no real title available?)
• scientific article; zbMATH DE number 2087530 (Why is no real title available?)
• A proof system for adaptable class hierarchies
• scientific article; zbMATH DE number 1860624 (Why is no real title available?)
• Towards a combination of CafeOBJ and PAT
• Multimodal Separation Logic for Reasoning About Operational Semantics
• KeY: A Formal Method for Object-Oriented Systems
• Lazy behavioral subtyping
• Integration of a security type system into a program logic

Describes a project that uses

Uses Software

• Isabelle

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4536314)