Searching for "Deriving Modular Designs from Formal Specifications." – sorted by Relevance.
3 documents found, showing 1 through 3.
-
Deriving Modular Designs from Formal Specifications: The Analysis Phase
- … Carrington and David Duke and Ian Hayes and Jim Welsh Deriving Modular Designs from Formal Specifications…
- Add To MetaCart
-
Deriving Modular Designs from. . .
- … Carrington and David Duke and Ian Hayes and Jim Welsh Deriving Modular Designs from Formal Specifications…
- Add To MetaCart
-
A Unified Framework for Expressing Software Subsystem Classification Techniques
- … coincidence that a recently proposed technique for deriving modular designs from formal specification [8…
- Cited by 31 (0 self) – Add To MetaCart
Showing 1 through 3.
