Linking formal methods in software development. A reflection on the development of rCOS
From MaRDI portal
Publication:6535826
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
Cites work
- scientific article; zbMATH DE number 4110131 (Why is no real title available?)
- scientific article; zbMATH DE number 42752 (Why is no real title available?)
- scientific article; zbMATH DE number 42431 (Why is no real title available?)
- scientific article; zbMATH DE number 46957 (Why is no real title available?)
- scientific article; zbMATH DE number 605806 (Why is no real title available?)
- scientific article; zbMATH DE number 1949632 (Why is no real title available?)
- scientific article; zbMATH DE number 1955918 (Why is no real title available?)
- scientific article; zbMATH DE number 1759984 (Why is no real title available?)
- scientific article; zbMATH DE number 1929900 (Why is no real title available?)
- scientific article; zbMATH DE number 3302923 (Why is no real title available?)
- scientific article; zbMATH DE number 3423547 (Why is no real title available?)
- A Generic Process Algebra
- A Model of Component-Based Programming
- A hybrid relational modelling language
- A rewriting logic approach to operational semantics
- An axiomatic basis for computer programming
- An interface model of software components
- Communicating sequential processes
- Continuous Lattices and Domains
- Design and Verification of Fault-Tolerant Components
- Graph transformations for object-oriented refinement
- Harnessing rCOS for Tool Support —The CoCoME Experience
- Human-cyber-physical automata and their synthesis
- Hybrid I/O automata.
- Institutions: abstract model theory for specification and programming
- Modeling in Event B. System and software engineering.
- Overview of formal methods
- Process simulation and refinement
- Recursive functions of symbolic expressions and their computation by machine, Part I
- Refinement and verification in component-based model-driven design
- Separation of Concerns and Consistent Integration in Requirements Modelling
- Taming Dr. Frankenstein: contract-based design for cyber-physical systems
- The B-Book
- The laws of Occam programming
- The origins of structural operational semantics
- Theoretical Aspects of Computing – ICTAC 2005
- rCOS: a refinement calculus of object systems
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)
