Modelling of Complex Software Systems: A Reasoned Overview

DOI10.1007/11888116_1zbMath1225.68080OpenAlexW1574646606MaRDI QIDQ3613056

Daniel Krob

Publication date: 11 March 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11888116_1

zbMATH Keywords

modellinginformation systemcomplex systemsoftware systemintegrated system

Mathematics Subject Classification ID

Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Theory of software (68N99)

Related Items (1)

Modeling of complex systems. II: A minimalist and unified semantics for heterogeneous integrated systems

Uses Software

• Simulink
• LUSTRE
• SysML
• Z
• Esterel

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The algorithmic analysis of hybrid systems
• Petri nets with individual tokens
• Statecharts: a visual formalism for complex systems
• The Esterel synchronous programming language: Design, semantics, implementation
• Verification of reactive systems. Formal methods and algorithms.
• Synchronous Kahn networks
• Modelling of Complex Systems: Systems as Dataflow Machines
• Fonctionnelles causales non linéaires et indéterminées non commutatives
• Channel identification for high speed digital communications
• The B-Book
• Abstract State Machines
• Introduction to Hamiltonian dynamical systems and the \(N\)-body problem

This page was built for publication: Modelling of Complex Software Systems: A Reasoned Overview