The JSP-Tutor: a computerized aid for teaching Jackson structured programming
ACM SIGSMALL/PC Notes
Object-oriented development in an industrial environment
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
An Integrated Life-Cycle Model for Software Maintenance
IEEE Transactions on Software Engineering
Software process modeling: a behavioral approach
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
Foundations for the Arcadia environment architecture
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
The Case for Electric Design of Real-Time Software
IEEE Transactions on Software Engineering
Human factors: its place in system development methods
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Entity-life modeling and structured analysis in real-time software design—a comparison
Communications of the ACM
The object-oriented systems life cycle
Communications of the ACM
Implementing JSD designs in Ada: a tutorial
ACM SIGSOFT Software Engineering Notes
The form of reusable Ada components for concurrent use
ACM SIGAda Ada Letters
An Executable Language for Modeling Simple Behavior
IEEE Transactions on Software Engineering
BITS: a smartcard protected operating system
Communications of the ACM
A taxonomy of software development methods
Communications of the ACM
PRESTIGE: a CASE workbench for the JSD implementor
ICSE '91 Proceedings of the 13th international conference on Software engineering
IEEE Annals of the History of Computing
Effective coordination in the software process - historical perspectives and future directions
Software Quality Control
Rapidly Prototyping Real-Time Systems
IEEE Software
IEEE Transactions on Knowledge and Data Engineering
Towards a real-time object-oriented modeling approach
CASCON '95 Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research
Automated Software Engineering
An object-oriented development method for Customer Knowledge Management Information Systems
Knowledge-Based Systems
A conceptual model for negotiating in service-oriented environments
Information Processing Letters
Inspired software design early jackson methods to thread architectures
ACM SIGSOFT Software Engineering Notes
A survey of system design methodologies
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
JSD = Δ CSP ⊕ TLZ: a case study
Methods'96 Proceedings of the 1996 international conference on Methods Integration
Hi-index | 0.08 |