Software development of real-time systems
Communications of the ACM
The transformation schema: An extension of the data flow diagram to represent control and timing
IEEE Transactions on Software Engineering
Strategies for real-time system specification
Strategies for real-time system specification
On synchronization in hard-real-time systems
Communications of the ACM
The practical guide to structured systems design: 2nd edition
The practical guide to structured systems design: 2nd edition
A Petri net framework for automated analysis of Ada tasking behavior
Journal of Systems and Software
Statemate: a working environment for the development of complex reactive systems
ICSE '88 Proceedings of the 10th international conference on Software engineering
An entity-life modeling approach to the design of concurrent software
Communications of the ACM
A software design method for distributed real-time applications
Journal of Systems and Software
A software design method for real-time systems
Communications of the ACM
On the criteria to be used in decomposing systems into modules
Communications of the ACM
Composite Structure Design
System development (Prentice-Hall International series in computer science)
System development (Prentice-Hall International series in computer science)
Entity-life modeling and structured analysis in real-time software design—a comparison
Communications of the ACM
Biblio of object-oriented system development
ACM SIGSOFT Software Engineering Notes
Simple yet complete heuristics for transforming data flow diagrams into Booch style diagrams
ACM SIGAda Ada Letters
Validating the ADARTS software design method for real-time systems
TRI-Ada '91 Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations
Toward a method of object-oriented concurrent programming
Communications of the ACM
A software design method for Ada based real time systems
WADAS '89 Proceedings of the sixth Washington Ada symposium on Ada
Concurrent simulation with entity life modeling: an airport simulator using Ada
WSC' 90 Proceedings of the 22nd conference on Winter simulation
Knowledge-Based Automation of a Design Method for Concurrent Systems
IEEE Transactions on Software Engineering
Software quark model: an elementary particle model for measuring software evolution
IWPSE '01 Proceedings of the 4th International Workshop on Principles of Software Evolution
Reactive and Real-Time Systems Course: How to Get the Most Out of it
Real-Time Systems
Seven (plus or minus two) challenges for requirements research
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
| Hi-index | 0.03 |