Systematic software development using VDM
Systematic software development using VDM
Current trends in concurrency. Overviews and tutorials
Introduction to the ISO specification language LOTOS
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Distributed cooperation with action systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Parallel program design: a foundation
Parallel program design: a foundation
Action system approach to the specification and design of distributed systems
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Multiparty Interactions for Interprocess Communication and Synchronization
IEEE Transactions on Software Engineering
Static Analysis of Real-Time Distributed Systems
IEEE Transactions on Software Engineering
Object-oriented specification of reactive systems
ICSE '90 Proceedings of the 12th international conference on Software engineering
Interacting processes: a language for coordinated distributed programming
JCIT Proceedings of the fifth Jerusalem conference on Information technology
Stepwise design of real-time systems
SIGSOFT '91 Proceedings of the conference on Software for citical systems
Toward a discipline of real-time programming
Communications of the ACM
Towards programming with knowledge expressions
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
How to cook a temporal proof system for your pet language
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Structured Development for Real-Time Systems
Structured Development for Real-Time Systems
Serializability in Distributed Systems with Handshaking
ICALP '88 Proceedings of the 15th International Colloquium on Automata, Languages and Programming
A Temporal-Logic Based Compositional Proof System for Real-Time Message Passing
PARLE '89 Proceedings of the Parallel Architectures and Languages Europe, Volume II: Parallel Languages
Decentralization of process nets with centralized control
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
Real-time specification and modeling with joint actions
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Rationale for the design of the Ada programming language
ACM SIGPLAN Notices - Rationale for the deisgn of the Ada programming language
Operational specification with joint actions: serializable databases
Distributed Computing - Special issue: Specification of concurrent systems
A Real-Time Discrete Event System Specification Formalismfor Seamless Real-Time Software Development
Discrete Event Dynamic Systems
Action Systems with Continuous Behaviour
Hybrid Systems V
Action systems in incremental and aspect-oriented modeling
Distributed Computing - Papers in celebration of the 20th anniversary of PODC
| Hi-index | 0.00 |
The joint action approach to modeling of reactive systems is presented and augmented with real time. This leads to a stepwise design method where temporal logic of actions can be used for formal reasoning, superposition is the key mechanism for transformations, the advantages of closed-system modularity are utilized, logical properties are addressed before real-time properties, and real-time properties are enforced without any specific assumptions on scheduling. As a result, real-time modeling is made possible already at early stages of specification, and increased insensitivity is achieved with respect to properties imposed by implementation environments.