UNITY AND PROGRAM COMPOSITION NOTATION
Unity - Formal Model And Methodology
PCN - Practical Programming System (Includes Use Of C/fortran Subroutines)
Unity Program Structure
Declarations
Associations
Initializations
Assignments
Guards
Multiple Assignments
Composition Operators
[ ] - Execute In Sequence
| | - Execute In Parallel
Previous slide
Next slide
Back to first slide
View graphic version