Integrating a formal method into a software engineering process with UML and Java
From MaRDI portal
Publication:2481209
DOI10.1007/s00165-007-0042-7zbMath1141.68024OpenAlexW1976111119MaRDI QIDQ2481209
Heike Wehrheim, Ernst-Ruediger Olderog, Holger Rasch, Michael Moeller
Publication date: 9 April 2008
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00165-007-0042-7
Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (4)
Dynamic consistency in process algebra: from paradigm to ACP ⋮ Dynamic Consistency in Process Algebra: From Paradigm to ACP ⋮ Model transformations across views ⋮ Automatic Verification of Combined Specifications: An Overview
Uses Software
Cites Work
- Concurrency and refinement in the unified modeling language
- A refinement strategy for Circus
- Relational concurrent refinement
- Specification-oriented semantics for communicating processes
- Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker
- A discrete-time UML semantics for concurrency and communication in safety-critical applications
- How the design of JML accommodates both runtime assertion checking and formal verification
- Specification and (property) inheritance in CSP-OZ
- An overview of the runtime verification tool Java PathExplorer
- A Theory of Communicating Sequential Processes
- Formal Methods for Open Object-Based Distributed Systems
- Data abstraction techniques in the validation of CSP-OZ specifications
- LSCs: Breathing life into message sequence charts
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Integrating a formal method into a software engineering process with UML and Java
