The Community for Technology Leaders
Engineering of Computer-Based Systems, IEEE International Conference on the (1997)
Monterey, CA
Mar. 24, 1997 to Mar. 28, 1997
ISBN: 0-8186-7889-5
pp: 479
P. Alexander , Dept. of Electron. Comput., Cincinnati Univ., OH, USA
ABSTRACT
Society's increasing dependence on complex technology mandates high assurance of system correctness. Traditional engineering disciplines such as civil or mechanical engineering achieve such assurance through applications of mathematics to system modelling. Unfortunately, system and software engineering disciplines do not enjoy pervasive use of mathematics in design activities. Most efforts in design improvement involve only the design process. Formal methods is simply the application of sound mathematical modelling and analysis techniques. Formal methods in engineering of computer-based systems is the application of mathematics to modelling systems and should be a central goal of systems engineering research.
INDEX TERMS
systems engineering; formalism; systems level design; system modelling; formal methods; systems engineering; software engineering
CITATION
P. Alexander, "Insertion of formalism into systems level design", Engineering of Computer-Based Systems, IEEE International Conference on the, vol. 00, no. , pp. 479, 1997, doi:10.1109/ECBS.1997.581939
88 ms
(Ver 3.3 (11022016))