STRATEGIES FOR INCORPORATING FORMAL SPECIFICATIONS IN SOFTWARE-DEVELOPMENT

Authors
FRASER MD KUMAR K VAISHNAVI VK
Citation
Md. Fraser et al., STRATEGIES FOR INCORPORATING FORMAL SPECIFICATIONS IN SOFTWARE-DEVELOPMENT, Communications of the ACM, 37(10), 1994, pp. 74-85
Citations number
25
Categorie Soggetti
Computer Sciences","Computer Science Hardware & Architecture
Journal title
Communications of the ACM → ACNP
ISSN journal
00010782
Volume
37
Issue
10
Year of publication
1994
Pages
74 - 85
Database
ISI
SICI code
0001-0782(1994)37:10<74:SFIFSI>2.0.ZU;2-E