KBS
2006
2006
Facilitating formal specification acquisition by using recursive functions on context-free languages
14 years 21 days 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 5 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...