Statecharts: A visual formalism for complex systems
Science of Computer Programming
Handbook of theoretical computer science (vol. B)
The Z notation: a reference manual
The Z notation: a reference manual
The ESTEREL synchronous programming language: design, semantics, implementation
Science of Computer Programming
The algorithmic analysis of hybrid systems
Theoretical Computer Science - Special issue on hybrid systems
Proceedings of the first ACM SIGPLAN international conference on Functional programming
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
Software engineering with B
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
Function point analysis: measurement practices for successful software projects
Function point analysis: measurement practices for successful software projects
Software engineering (6th ed.)
Software engineering (6th ed.)
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
Theory of Modeling and Simulation
Theory of Modeling and Simulation
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Abstract State Machines: A Method for High-Level System Design and Analysis
Abstract State Machines: A Method for High-Level System Design and Analysis
Verification of Reactive Systems: Formal Methods and Algorithms
Verification of Reactive Systems: Formal Methods and Algorithms
Enterprise Integration: The Essential Guide to Integration Solutions
Enterprise Integration: The Essential Guide to Integration Solutions
SysML and UML 2 support for activity modeling
Systems Engineering
System and software architecture reconciliation
Systems Engineering
Embedded System Design
The embedded systems design challenge
FM'06 Proceedings of the 14th international conference on Formal Methods
Modelling of Complex Systems: Systems as Dataflow Machines
Fundamenta Informaticae - Machines, Computations and Universality, Part II
Modelling of Complex Systems: Systems as Dataflow Machines
Fundamenta Informaticae - Machines, Computations and Universality, Part II
| Hi-index | 0.00 |
This paper is devoted to the presentation of the key concepts on which a mathematical theory of complex (industrial) systems can be based. We especially show how this formal framework can capture the realness of modern information technologies. We also present some new modelling problems that are naturally emerging in the specific context of complex software systems.