Back to Search Start Over

Developing formal specifications from informal requirements

Authors :
Johnson, W. Lewis
Benner, Kevin M.
Harris, David R.
Source :
IEEE Expert. August, 1993, Vol. v8 Issue n4, p82, 9 p.
Publication Year :
1993

Subjects

Subjects :
Research and Development
Software Design
Specifications
Automation
Program Development Techniques
New Technique
Requirements Analysis
Knowledge-Based System
Computer-aided software engineering
Formal languages
Computer programming -- Innovations
Knowledge-based systems -- Design and construction
Computer-aided software engineering -- Research
Formal languages -- Innovations

Details

ISSN :
08859000
Volume :
v8
Issue :
n4
Database :
Gale General OneFile
Journal :
IEEE Expert
Publication Type :
Academic Journal
Accession number :
edsgcl.14390452

Tools

Authors Abstract Subjects Details