Linking formal methods in software development. A reflection on the development of rCOS
From MaRDI portal
Publication:6535826
DOI10.1007/978-3-031-40436-8_3zbMATH Open1547.68127MaRDI QIDQ6535826FDOQ6535826
Authors: Zhiming Liu 
Publication date: 28 February 2024
Recommendations
- Refinement and verification in component-based model-driven design
- RCOS: a formal model-driven engineering method for component-based software
- Formal methods and software development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985. Volume 2: Colloquium on Software Engineering (CSE)
- Formal Methods for Components and Objects
- scientific article; zbMATH DE number 1615985
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Abstract data types; algebraic specification (68Q65)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Institutions: abstract model theory for specification and programming
- Continuous Lattices and Domains
- Title not available (Why is that?)
- Title not available (Why is that?)
- Taming Dr. Frankenstein: contract-based design for cyber-physical systems
- An axiomatic basis for computer programming
- Modeling in Event B. System and software engineering.
- Communicating sequential processes
- The B-Book
- Recursive functions of symbolic expressions and their computation by machine, Part I
- Title not available (Why is that?)
- A Model of Component-Based Programming
- Title not available (Why is that?)
- rCOS: a refinement calculus of object systems
- The origins of structural operational semantics
- A rewriting logic approach to operational semantics
- Hybrid I/O automata.
- Title not available (Why is that?)
- The laws of Occam programming
- Process simulation and refinement
- Title not available (Why is that?)
- Design and Verification of Fault-Tolerant Components
- Theoretical Aspects of Computing – ICTAC 2005
- Refinement and verification in component-based model-driven design
- Harnessing rCOS for Tool Support —The CoCoME Experience
- Separation of Concerns and Consistent Integration in Requirements Modelling
- Graph transformations for object-oriented refinement
- A hybrid relational modelling language
- An interface model of software components
- A Generic Process Algebra
- Overview of formal methods
- Title not available (Why is that?)
- 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
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6535826)
