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
IEEE Transactions on Software Engineering
Designing large real-time systems with Ada
Communications of the ACM
Strategies for real-time system specification
Strategies for real-time system specification
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
Structuring criteria for real time system design
ICSE '89 Proceedings of the 11th international conference on Software engineering
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
Structured Development for Real-Time Systems
Structured Development for Real-Time Systems
The modular structure of complex systems
ICSE '84 Proceedings of the 7th international conference on Software engineering
System development (Prentice-Hall International series in computer science)
System development (Prentice-Hall International series in computer science)
Structured analysis and object-oriented design are compatible
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
SA-2-Ada: a methodology for deriving Ada designs from structured analysis specifications
TRI-Ada '91 Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations
BATCES solution #1: an object-oriented design from functional requirements analysis
ACM SIGAda Ada Letters
WADAS '92 Proceedings of the ninth Washington Ada symposium on Ada: Empowering software users and developers
Developer-assisted automation for Ada design generation
WADAS '92 Proceedings of the ninth Washington Ada symposium on Ada: Empowering software users and developers
Aspects and components in real-time system development: Towards reconfigurable and reusable software
Journal of Embedded Computing - Real-Time and Embedded Computing Systems
| Hi-index | 0.01 |