Justification of formal methods for system specification
Software Engineering Journal (1989)
- ISSN: 02686961
- DOI: 10.1049/sm.1982.0035
Available from link.aip.org
or
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
Sign up today - FREE
Mendeley saves you time finding and organizing research. Learn more
- All your research in one place
- Add and import papers easily
- Access it anywhere, anytime
Start using Mendeley in seconds!
Readership Statistics
3 Readers on Mendeley
by Discipline
by Academic Status
33% Ph.D. Student
33% Researcher (at an Academic Institution)
33% Assistant Professor
by Country
33% Australia
33% Denmark
33% Ghana