Essential systems analysis
Programming in Ada (2nd ed.)
Software development of real-time systems
Communications of the ACM
Concurrent programming in Ada
IEEE Transactions on Software Engineering
Designing large real-time systems with Ada
Communications of the ACM
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Modern structured analysis
An entity-life modeling approach to the design of concurrent software
Communications of the ACM
Real time languages: design and development
Real time languages: design and development
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
Introduction to ADA
System development (Prentice-Hall International series in computer science)
System development (Prentice-Hall International series in computer science)
Proceedings of the conference on TRI-Ada '96: disciplined software development with Ada
Toward a real-time Ada design methodology
TRI-Ada '90 Proceedings of the conference on TRI-ADA '90
Concurrent design patterns for resource sharing
Proceedings of the conference on TRI-Ada '97
Refactoring design models for inductive verification
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
IEEE Transactions on Software Engineering
A Design Pattern for State Machines and Concurrent Activities
Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
Software engineering techniques and tools for high performance parallel systems
PAS '95 Proceedings of the First Aizu International Symposium on Parallel Algorithms/Architecture Synthesis
Inspired software design early jackson methods to thread architectures
ACM SIGSOFT Software Engineering Notes
Hi-index | 48.22 |
While structure analysis is sometimes used as a first step towards a real-time software design with concurrent tasks, a more appropriate task structure can often be based directly on concurrent patterns in the problem environment.