Introduction to Distributed-Software Engineering
- 1 October 1987
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in Computer
- Vol. 20 (10) , 23-31
- https://doi.org/10.1109/mc.1987.1663385
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- A petri net framework for automated static analysis of Ada tasking behaviorJournal of Systems and Software, 1988
- Constrained expressions: Adding analysis capabilities to design methods for concurrent software systemsIEEE Transactions on Software Engineering, 1986
- SREM at the Age of Eight; The Distributed Computing Design SystemComputer, 1985
- A Graph Matching Approach to Optimal Task Assignment in Distributed Computing Systems Using a Minimax CriterionIEEE Transactions on Computers, 1985
- A general-purpose algorithm for analyzing concurrent programsCommunications of the ACM, 1983
- An Operational Approach to Requirements Specification for Embedded SystemsIEEE Transactions on Software Engineering, 1982
- Multiprocessor Scheduling with the Aid of Network Flow AlgorithmsIEEE Transactions on Software Engineering, 1977