On Deriving Distributed Programs from Formal Specifications of Functional Requirements and Architectural Constraints.
Gruia-Catalin RomanC. Donald WilcoxJerome Y. PlunPublished in: ICDCS (1992)
Keyphrases
- functional requirements
- formal specification
- software architecture
- distributed systems
- quality attributes
- software design
- object oriented design
- software systems
- specification languages
- development process
- concurrent systems
- reverse engineering
- model checking
- high level
- software development
- software requirements
- software components
- lightweight
- knowledge acquisition
- information systems