DEVELOPING FORMAL SPECIFICATIONS FROM INFORMAL REQUIREMENTS

Authors
JOHNSON WL BENNER KM HARRIS DR
Citation
Wl. Johnson et al., DEVELOPING FORMAL SPECIFICATIONS FROM INFORMAL REQUIREMENTS, IEEE expert, 8(4), 1993, pp. 82-90
Citations number
19
Categorie Soggetti
Controlo Theory & Cybernetics","Computer Sciences, Special Topics","Computer Applications & Cybernetics
Journal title
IEEE expert → ACNP
ISSN journal
08859000
Volume
8
Issue
4
Year of publication
1993
Pages
82 - 90
Database
ISI
SICI code
0885-9000(1993)8:4<82:DFSFIR>2.0.ZU;2-J