Systems programming with JSP: example—a VDU controller
Communications of the ACM
IEEE Transactions 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
Entity-life modeling and structured analysis in real-time software design—a comparison
Communications of the ACM
JSP and JSD: the Jackson approach to software development (2nd ed)
JSP and JSD: the Jackson approach to software development (2nd ed)
Software testing techniques (2nd ed.)
Software testing techniques (2nd ed.)
On the development of reactive systems
Logics and models of concurrent systems
Software engineering: a holistic view
Software engineering: a holistic view
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
The mythical man-month (anniversary ed.)
The mythical man-month (anniversary ed.)
Software requirements & specifications: a lexicon of practice, principles and prejudices
Software requirements & specifications: a lexicon of practice, principles and prejudices
Programming in Ada95
Flow diagrams, turing machines and languages with only two formation rules
Communications of the ACM
JSP - a Practical Method of Program Design
JSP - a Practical Method of Program Design
The Real-Time Specification for Java
The Real-Time Specification for Java
The Practical Use of Ada 95's Concurrency Features
IEEE Concurrency
The Real-Time Specification for Java
Computer
IEEE Software
Software engineering programs at the Wang Institute of Graduate Studies
ACM '83 Proceedings of the 1983 annual conference on Computers : Extending the human resource
Designerly Thinking: What Software Methodology can learn from Design Theory
SMT '00 Proceedings of the International Conference on software Methods and Tools (SMT'00)
Computer
Principles of Program Design
System development (Prentice-Hall International series in computer science)
System development (Prentice-Hall International series in computer science)
Designing state-based systems with entity-life modeling
Journal of Systems and Software
Hi-index | 0.00 |
This is a somewhat personal account of a journey starting with assembly coding based on Jackson Structured Programming (JSP) and ending with the design of thread architectures for reactive software systems using entity-life modeling (ELM). As the level of abstraction rises, the basic concepts remain the same: The software takes its shape from structures in the problem domain. JSP bases control structures on regular expressions describing data streams. Jackson System Development (JSD) introduces long-running processes patterned on the life histories of entities in the problem domain. Unfortunately, implementing long-running processes in sequential programs leads to awkward solutions. ELM lets us im-plement the processes as threads. This is a natural fit, which re-moves the awkwardness.