Modelling of Complex Software Systems: A Reasoned Overview

DOI10.1007/11888116_1MaRDI QIDQ3613056zbMATH OpenOpenAlexFDO

Authors 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

modellingcomplex systeminformation 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)

Recommendations

• scientific article; zbMATH DE number 1203401
• From “Formal Methods” to System Modeling
• Soft modeling for a certain class of intelligent and complex systems
• On some recent advances in complex software networks: modeling, analysis, evolution and applications
• scientific article; zbMATH DE number 1088216

Cites work

• scientific article; zbMATH DE number 42724 (Why is no real title available?)
• scientific article; zbMATH DE number 42431 (Why is no real title available?)
• scientific article; zbMATH DE number 45433 (Why is no real title available?)
• scientific article; zbMATH DE number 108375 (Why is no real title available?)
• scientific article; zbMATH DE number 193633 (Why is no real title available?)
• scientific article; zbMATH DE number 627763 (Why is no real title available?)
• scientific article; zbMATH DE number 1142322 (Why is no real title available?)
• scientific article; zbMATH DE number 1507210 (Why is no real title available?)
• scientific article; zbMATH DE number 776267 (Why is no real title available?)
• Abstract State Machines
• Channel identification for high speed digital communications
• Fonctionnelles causales non linéaires et indéterminées non commutatives
• Introduction to Hamiltonian dynamical systems and the \(N\)-body problem
• Modelling of Complex Systems: Systems as Dataflow Machines
• Petri nets with individual tokens
• Statecharts: a visual formalism for complex systems
• Synchronous Kahn networks
• The B-Book
• The Esterel synchronous programming language: Design, semantics, implementation
• The algorithmic analysis of hybrid systems
• Verification of reactive systems. Formal methods and algorithms.

Cited in

(14)

• The representation method of a complex software system dynamic project
• Soft modeling for a certain class of intelligent and complex systems
• Software and viable systems development with “j‐Maps” models and learning conversations
• From “Formal Methods” to System Modeling
• scientific article; zbMATH DE number 1954371 (Why is no real title available?)
• A formal abstract framework for modelling and testing complex software systems
• Modeling of complex systems. II: A minimalist and unified semantics for heterogeneous integrated systems
• On Mathematical Laws of Software
• A review on complex system engineering
• scientific article; zbMATH DE number 3995526 (Why is no real title available?)
• A THEORY OF SYSTEM COMPLEXITY
• On some recent advances in complex software networks: modeling, analysis, evolution and applications
• A discipline of mathematical systems modelling
• Bourbaki's structure theory in the problem of complex systems simulation models synthesis and model-oriented programming

Describes a project that uses

Uses Software

• Esterel
• Z
• SysML
• LUSTRE
• Simulink

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3613056)