Parallel programming in ansi standard ADA
Parallel programming in ansi standard ADA
System design with Ada
Software development of real-time systems
Communications of the ACM
The transformation schema: An extension of the data flow diagram to represent control and timing
IEEE Transactions on Software Engineering
Designing large real-time systems with Ada
Communications of the ACM
ACM Computing Surveys (CSUR)
A software design method for real-time systems
Communications of the ACM
Communicating sequential processes
Communications of the ACM
Guarded commands, nondeterminacy and formal derivation of programs
Communications of the ACM
An Algebra for Data Flow Diagram Process Decomposition
IEEE Transactions on Software Engineering
Structured Analysis and System Specification
Structured Analysis and System Specification
SWSL: A Synthetic Workload Specification Language for Real-Time Systems
IEEE Transactions on Software Engineering
Hi-index | 0.00 |
The possibilities of enhancing synthesized graphic design approaches so one can design progressively step by step: the initial state diagram, the dataflow analysis, then the task decomposition, the precise real-time control flow description, and finally the design of the dedicated operating system are discussed. The enhancements added are: the diagrams are simple but allow a precise definition of the synchronization between tasks; the diagrams are based on a well-known theory facilitating the analysis of their correctness; the procedure for passing from one step to another is simple and clear; and all the design and its enhancements can be computerized. The resulting CAD/CAM system is called CASDA.