KBS
2006
2006
Facilitating formal specification acquisition by using recursive functions on context-free languages
13 years 11 months ago
Although formal specification techniques are very useful in software development, the acquisition of formal specification is a difficult task. This paper presents the formal softw...
WIFT
1998
IEEE
14 years 3 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...