A constructive approach to the design of distributed systems
- 1 January 1990
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 580-587
- https://doi.org/10.1109/icdcs.1990.89266
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- Graphical support for configuration programmingPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- A model for change managementPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Programming at the processor-memory-switch levelPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Constructing distributed systems in ConicIEEE Transactions on Software Engineering, 1989
- Software evolution through rapid prototypingComputer, 1989
- Object-oriented developmentIEEE Transactions on Software Engineering, 1986
- Dynamic Configuration for Distributed SystemsIEEE Transactions on Software Engineering, 1985
- A Transformation System for Developing Recursive ProgramsJournal of the ACM, 1977
- On the criteria to be used in decomposing systems into modulesCommunications of the ACM, 1972
- An axiomatic basis for computer programmingCommunications of the ACM, 1969