TY  - JOUR
T1  - Engineering distributed software a structural discipline.
JF  - Software engineering notes.
A1  - Kramer, Jeff
LA  - English
UL  - https://tuklas.up.edu.ph/Record/UP-99796217608835039
AB  - The role of structure in specifying, designing, analysing, constructing and evolving software has been the central theme of our research in Distributed Software Engineering. This structural discipline dictates formalisms and techniques that are compositional, components that are context independent and systems that can be constructed and evolved incrementally. This extended abstract overviews our development of a structural approach to engineering distributed software and gives indications of our future work which moves from explicit to implicit structural specification. With the benefit of hindsight we attempt to give a "rational history" to our research.
KW  - Software.
KW  - Software engineering.
KW  - Design tools and techniques.
KW  - Software architectures.
KW  - Software / Program Verification.
KW  - Design.
KW  - Verification.
KW  - Configuration programming.
KW  - Distributed software engineering.
KW  - Dynamic configuration.
KW  - Evolution.
KW  - Software architecture.
KW  - Software components.
KW  - Structure.
ER  -