Title :
Justification of formal methods for system specification
fDate :
1/1/1989 12:00:00 AM
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;
Journal_Title :
Software Engineering Journal
