Developing formal specifications from informal requirements

Authors
W.Lewis Johnson Kevin M.Benner David R.Harris
Citation
W.lewis Johnson et al., Developing formal specifications from informal requirements, IEEE expert IEEE expert intelligent systems and their applications , 8(4), 1993, pp. 82-90
Journal title
IEEE expert IEEE expert intelligent systems and their applications → ACNP
ISSN journal
08859000
Volume
8
Issue
4
Year of publication
1993
Pages
82 - 90
Database
ACNP
SICI code