Communicating sequential processes
Communicating sequential processes
RT-ASLAN: A specification language for real-time systems
IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Theoretical Computer Science
Strategies for real-time system specification
Strategies for real-time system specification
Communications of the ACM
Applications of temporal logic to the specification of real time systems (extended abstract)
Proceedings of a Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Communication and concurrency
Temporal logic for real time systems
Temporal logic for real time systems
TRIO: A logic language for executable specifications of real-time systems
Journal of Systems and Software - On the role of language in programming
Specifying real-time properties with metric temporal logic
Real-Time Systems
Multilevel specification of real time systems
Communications of the ACM - Special issue on software engineering
A temporal calculus of communicating systems
CONCUR '90 Proceedings on Theories of concurrency : unification and extension: unification and extension
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
The Z notation: a reference manual
The Z notation: a reference manual
Formal methods for the specification and design of real-time safety critical systems
Journal of Systems and Software
Specification and proof in real-time CSP
Specification and proof in real-time CSP
Tradeoffs between reasoning and modeling
Research directions in concurrent object-oriented programming
Real-time object-oriented modeling
Real-time object-oriented modeling
Modechart: A Specification Language for Real-Time Systems
IEEE Transactions on Software Engineering
Linear logic: its syntax and semantics
Proceedings of the workshop on Advances in linear logic
Why interaction is more powerful than algorithms
Communications of the ACM
Specification of realtime systems using ASTRAL
IEEE Transactions on Software Engineering
Interactive foundations of computing
Theoretical Computer Science - Special issue: theoretical aspects of coordination languages
Extending Statecharts with Temporal Logic
IEEE Transactions on Software Engineering
The Unified Modeling Language user guide
The Unified Modeling Language user guide
Temporal logics for real-time system specification
ACM Computing Surveys (CSUR)
Real-Time UML: Developing Efficient Objects for Embedded Systems
Real-Time UML: Developing Efficient Objects for Embedded Systems
Real-Time Systems Design and Analysis: An Engineer's Handbook
Real-Time Systems Design and Analysis: An Engineer's Handbook
Structured Systems Development
Structured Systems Development
Elementary Computability, Formal Languages and Automata
Elementary Computability, Formal Languages and Automata
Symbolic Logic and Mechanical Theorem Proving
Symbolic Logic and Mechanical Theorem Proving
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
Behavioural Abstraction in TCCS
ICALP '92 Proceedings of the 19th International Colloquium on Automata, Languages and Programming
Interaction as a Framework for Modeling
Selected Papers from the Symposium on Conceptual Modeling, Current Issues and Future Directions
Logics and Models of Real Time: A Survey
Proceedings of the Real-Time: Theory in Practice, REX Workshop
Timed Process Algebras with Urgent Interactions and a Unique Powerful Binary Operator
Proceedings of the Real-Time: Theory in Practice, REX Workshop
Proving real-time properties of programs with temporal logic
SOSP '81 Proceedings of the eighth ACM symposium on Operating systems principles
Structured Analysis and System Specification
Structured Analysis and System Specification
Achieving closed-loop control simulation of human-artefact interaction: a comparative review
Modelling and Simulation in Engineering
| Hi-index | 0.00 |
In recent years, many notations and methods in real-time software engineering have been proposed. However, thorough experimentation to evaluate these notations and methods has not been carried out. This paper focuses on real-time software engineering specification languages: Unified Modeling Language (UML), Real-Time Object-Oriented Modeling Language (ROOM), Modecharts, statecharts, Mealy and Moore machines, finite state machines, classical logic, Z, ASTRAL, temporal logic, FNLOG, linear logic, Timed Communicating Sequential Processes (TCSP), Temporal Calculus of Communicating Systems (TCCS), ρ1, and Multilevel Specification. The basis for evaluating these software engineering specification languages is by using the Turing machines and Interaction machines. We classify them based on their computational capabilities.