A formal approach to object-oriented software engineering

DOI10.1016/S0304-3975(01)00367-XzbMath1001.68024OpenAlexW4212780887MaRDI QIDQ1608926

Martin Wirsing, Alexander Knapp

Publication date: 13 August 2002

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0304-3975(01)00367-x

zbMATH Keywords

reflectionprocess algebrarewriting logicMaudeintegrated formal software engineeringOOSE

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Grammars and rewriting systems (68Q42)

Related Items (11)

Rewriting logic: Roadmap and bibliography ⋮ Model-Checking Helena Ensembles with Spin ⋮ Algebraic Reinforcement Learning ⋮ The rewriting logic semantics project: a progress report ⋮ Twenty years of rewriting logic ⋮ Reasoning on UML class diagrams ⋮ The Rewriting Logic Semantics Project: A Progress Report ⋮ A Homage to Martin Wirsing ⋮ Ode to the PST ⋮ Localized Operational Termination in General Logics ⋮ Towards an Institutional Framework for Heterogeneous Formal Development in UML

Uses Software

• Maude

Cites Work

• Algebra of communicating processes with abstraction
• A Semantic Comparison of Fusion and Syntropy
• Process Algebra
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A formal approach to object-oriented software engineering