An approach to software system modelling and analysis
- 31 December 1979
- journal article
- Published by Elsevier in Computer Languages
- Vol. 4 (1) , 49-66
- https://doi.org/10.1016/0096-0551(79)90009-2
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- An approach to software system behavior descriptionComputer Languages, 1979
- Behavior Modeling During Software DesignIEEE Transactions on Software Engineering, 1978
- An introduction to the DREAM software design systemACM SIGSOFT Software Engineering Notes, 1977
- Computation sequence setsJournal of Computer and System Sciences, 1976
- Interference between communicating parallel processesCommunications of the ACM, 1972
- Synchronization of communicating processesCommunications of the ACM, 1972
- A formalism for translator interactionsCommunications of the ACM, 1970
- The nucleus of a multiprogramming systemCommunications of the ACM, 1970
- On multiprogramming, machine coding, and computer organizationCommunications of the ACM, 1969
- Derivatives of Regular ExpressionsJournal of the ACM, 1964