Software engineering with Ada
Concurrent Programming Concepts
ACM Computing Surveys (CSUR)
On the criteria to be used in decomposing systems into modules
Communications of the ACM
Structured Systems Development
Structured Systems Development
Composite Structure Design
Structured Systems Analysis: Tools and Techniques
Structured Systems Analysis: Tools and Techniques
Principles of Program Design
Software development of real-time systems
Communications of the ACM
Designing large real-time systems with Ada
Communications of the ACM
Petri net-based object-oriented modelling of distributed systems
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Using a model railroad to teach digital process control
SIGCSE '88 Proceedings of the nineteenth SIGCSE technical symposium on Computer science education
User interface design from a real time perspective
Communications of the ACM
An entity-life modeling approach to the design of concurrent software
Communications of the ACM
Software CAD: A Revolutionary Approach
IEEE Transactions on Software Engineering
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
Implementing JSD designs in Ada: a tutorial
ACM SIGSOFT Software Engineering Notes
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
BATCES solution #1: an object-oriented design from functional requirements analysis
ACM SIGAda Ada Letters
SWSL: A Synthetic Workload Specification Language for Real-Time Systems
IEEE Transactions on Software Engineering
Toward a real-time Ada design methodology
TRI-Ada '90 Proceedings of the conference on TRI-ADA '90
Design and Programming Tools for Time Critical Applications
Real-Time Systems
ICSE '85 Proceedings of the 8th international conference on Software engineering
EEES: the “Manhattan Project” for systems engineering
WADAS '85 Proceedings of the second annual Washington Ada symposium on Ada: Ada in the mainstream: applications and education
A software design method for Ada based real time systems
WADAS '89 Proceedings of the sixth Washington Ada symposium on Ada
Issues in implementing a real time embedded Data Base Management System in Ada
WADAS '86 Proceedings of the third annual Washington Ada symposium on Ada: Ada use in focus : practical lessons in perspective
Knowledge-Based Automation of a Design Method for Concurrent Systems
IEEE Transactions on Software Engineering
An Experience in Testing an Object-Oriented Satellite Control System
Software Quality Control
Systems Design: CASDA: Synthesized Graphic Design of Real-Time Systems
IEEE Computer Graphics and Applications
An Algebra for Data Flow Diagram Process Decomposition
IEEE Transactions on Software Engineering
The RC2000: a software success story
ACM SIGSOFT Software Engineering Notes
Uniform object modeling methodology and reuse of real-time system using UML
Proceedings of the 5th ACM international conference on Embedded software
Aspects and components in real-time system development: Towards reconfigurable and reusable software
Journal of Embedded Computing - Real-Time and Embedded Computing Systems
Toward Automatic Synthesis of Schedulable Real-Time Controllers
Integrated Computer-Aided Engineering
Object-oriented and functional software design for distributed real-time systems
Computer Communications
VULCAN: architecture-model-based software development workbench
Proceedings of the WICSA/ECSA 2012 Companion Volume
VULCAN: architecture-model-based workbench for product line engineering
Proceedings of the 16th International Software Product Line Conference - Volume 2
| Hi-index | 48.30 |
DARTS—a design method for real-time systems—leads to a highly structured modular system with well-defined interfaces and reduced coupling between tasks.