DocumentCode
1070178
Title
Justification of formal methods for system specification
Author
Cohen, B.
Volume
4
Issue
1
fYear
1989
fDate
1/1/1989 12:00:00 AM
Firstpage
26
Lastpage
35
Abstract
Developments in mathematics and computer science offer a sound, if unfamiliar, basis for the development of computer-controlled systems. The professional systems engineer should become as competent in these fields as in traditional mathematics and physics. The author emphasises their application in the early phases of product development (requirements analysis and functional specification)-a prerequisite for their successful use in design and implementation
Keywords
formal specification; professional aspects; systems analysis; computer science; computer-controlled systems; formal methods; functional specification; implementation; mathematics; product development; professional systems engineer; requirements analysis; system specification;
fLanguage
English
Journal_Title
Software Engineering Journal
Publisher
iet
ISSN
0268-6961
Type
jour
Filename
28087
Link To Document