Modelling Systems
From MaRDI portal
Recommendations
Cited in
(20)- Models and tools for managing development processes.
- Domain science and engineering from computer science to the sciences of informatics. I: Engineering
- Domain modeling-based software engineering. A formal approach
- Software tools for modeling terminal systems
- ASM-based formal design of an adaptivity component for a cloud system
- Formal models for software development. Model checking, verification, analysis and simulation
- Modeling software with finite state machines. A practical approach.
- scientific article; zbMATH DE number 5144777 (Why is no real title available?)
- Software and viable systems development with “j‐Maps” models and learning conversations
- Modeling in Event B. System and software engineering.
- Practical Formal Software Engineering
- scientific article; zbMATH DE number 108413 (Why is no real title available?)
- scientific article; zbMATH DE number 714071 (Why is no real title available?)
- scientific article; zbMATH DE number 1954371 (Why is no real title available?)
- Modellbildung in der Informatik
- Domain science and engineering from computer science to the sciences of informatics. II: Science
- scientific article; zbMATH DE number 2107183 (Why is no real title available?)
- An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems
- An Institution for Imperative RSL Specifications
- Mechanizing Mathematical Reasoning
This page was built for publication: Modelling Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5322613)
