Linking formal methods in software development. A reflection on the development of rCOS

DOI10.1007/978-3-031-40436-8_3zbMATH Open1547.68127MaRDI QIDQ6535826

Zhi-Ming Liu

Publication date: 28 February 2024

zbMATH Keywords

institutionsUTPrCOSarchitecture modellinghuman-cyber-physical systems

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• 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
• rCOS: a refinement calculus of object systems
• Process simulation and refinement
• Refinement and verification in component-based model-driven design
• A rewriting logic approach to operational semantics
• Graph transformations for object-oriented refinement
• Hybrid I/O automata.
• A hybrid relational modelling language
• The origins of structural operational semantics
• Taming Dr. Frankenstein: contract-based design for cyber-physical systems
• The laws of Occam programming
• An Interface Model of Software Components
• Recursive functions of symbolic expressions and their computation by machine, Part I
• A Model of Component-Based Programming
• Harnessing rCOS for Tool Support —The CoCoME Experience
• Design and Verification of Fault-Tolerant Components
• Communicating sequential processes
• The B-Book
• Institutions: abstract model theory for specification and programming
• Continuous Lattices and Domains
• A Generic Process Algebra
• Theoretical Aspects of Computing – ICTAC 2005
• Separation of Concerns and Consistent Integration in Requirements Modelling
• An axiomatic basis for computer programming
• Human-cyber-physical automata and their synthesis

This page was built for publication: Linking formal methods in software development. A reflection on the development of rCOS