Pages that link to "Item:Q1608926"
From MaRDI portal
The following pages link to A formal approach to object-oriented software engineering (Q1608926):
Displaying 22 items.
- The rewriting logic semantics project: a progress report (Q393080) (← links)
- Model-based specification (Q1607085) (← links)
- Virginity: A contribution to the specification of object-oriented software (Q1608296) (← links)
- Rewriting logic: Roadmap and bibliography (Q1615001) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Semantics, calculi, and analysis for object-oriented specifications (Q2390933) (← links)
- Reasoning on UML class diagrams (Q2457652) (← links)
- Integrating a formal method into a software engineering process with UML and Java (Q2481209) (← links)
- Integrating object-oriented model with object-oriented metamodel into a single formalism (Q2737496) (← links)
- Synthesis of logic programs from object-oriented formal specifications (Q2909148) (← links)
- Model-Checking Helena Ensembles with Spin (Q2945715) (← links)
- Algebraic Reinforcement Learning (Q2945728) (← links)
- The Rewriting Logic Semantics Project: A Progress Report (Q3088267) (← links)
- ETOILE-specifications: An Object-oriented Algebraic Formalism with Refinement (Q4820463) (← links)
- An algebraic approach to formalization of object-orientation<sup>*</sup> (Q4876361) (← links)
- Object organisation in software environments for formal methods (Q5044744) (← links)
- A Homage to Martin Wirsing (Q5256328) (← links)
- Ode to the PST (Q5256333) (← links)
- Localized Operational Termination in General Logics (Q5256340) (← links)
- Towards an Institutional Framework for Heterogeneous Formal Development in UML (Q5256350) (← links)
- (Q5493150) (← links)
- ZB 2005: Formal Specification and Development in Z and B (Q5703805) (← links)
