Sciweavers

FIW
1998
104views Communications» more  FIW 1998»
14 years 1 months ago
Validating Architectural Feature Descriptions using LOTOS
The phases of the ANISE project (Architectural Notions In Service Engineering) are briefly explained with reference to the work reported here. An outline strategy is given for tra...
Kenneth J. Turner