WIFT
1998
IEEE
13 years 8 months ago
1998
IEEE
In this paper I examine what industry really needs from formal specification techniques. I first describe the background to our use of formal techniques. I then look at the role o...
WIFT
1998
IEEE
13 years 8 months ago
1998
IEEE
The Unified Modeling Language (UML) is likely to become an important industry standard language for modelling object-oriented systems. However, its use as a precise analysis tool ...