scientific article; zbMATH DE number 1390331
From MaRDI portal
Publication:4934620
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Recommendations
- Foundations of rule-based design of modular systems
- A general framework for modular implementations of modular system specifications
- Modularity and relevant logic
- Types for Proofs and Programs
- scientific article; zbMATH DE number 408807
- A logical basis for constructive systems
- Compositional synthesis of modular systems
- scientific article; zbMATH DE number 1956478
- On the correctness of modular systems
- scientific article; zbMATH DE number 550776
Cited in
(13)- Foundations of rule-based design of modular systems
- The development of modular-based design in considering technology complexity
- A methodology for the modular structure planning of product-service systems
- Modeling layered distributed communication systems
- Specifying services with UML and UML-RT: foundations, challenges and limitations
- Robustness in Interaction Systems
- Modularity and Causality in Physical System Modelling
- scientific article; zbMATH DE number 88952 (Why is no real title available?)
- An index system for modular fixture design: applied to case-based reasoning
- scientific article; zbMATH DE number 1487497 (Why is no real title available?)
- A theory of system interaction: components, interfaces, and services
- A Logic Approach for LTL System Modification
- Applications and Theory of Petri Nets 2004
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4934620)
