System design with Ada
A distributed alternative to finite-state-machine specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communicating sequential processes
Communicating sequential processes
Systems programming with JSP: example—a VDU controller
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
Programming in Occam
Designing large real-time systems with Ada
Communications of the ACM
Joyce—a programming language for distributed systems
Software—Practice & Experience
Strategies for real-time system specification
Strategies for real-time system specification
A software design method for real-time systems
Communications of the ACM
JSP - a Practical Method of Program Design
JSP - a Practical Method of Program Design
Structured Design: Fundamentals of a Discipline of Computer Program and Systems Design
Structured Design: Fundamentals of a Discipline of Computer Program and Systems Design
Principles of Program Design
System development (Prentice-Hall International series in computer science)
System development (Prentice-Hall International series in computer science)
Structuring criteria for real time system design
ICSE '89 Proceedings of the 11th international conference on Software engineering
Entity-life modeling and structured analysis in real-time software design—a comparison
Communications of the ACM
An ada object-based analysis and design approach
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
Metric-driven reengineering for static concurrency analysis
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
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
Elements underlying the specification of requirements
Annals of Software Engineering
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
A formal specification scheme for network diagrams that facilitates automated design
Journal of Visual Languages and Computing
Avoiding unwanted conversational implicatures in text and graphics
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
| Hi-index | 48.23 |
Using the idea of Entity-Life Modeling for task decomposition, the design of a prototypical elevator control system is explored and compared to an earlier JSD solution.