Engineering of Computer-Based Systems, IEEE International Conference on the (1997)
Mar. 24, 1997 to Mar. 28, 1997
P. Alexander , Dept. of Electron. Comput., Cincinnati Univ., OH, USA
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.
systems engineering; formalism; systems level design; system modelling; formal methods; systems engineering; software engineering
P. Alexander, "Insertion of formalism into systems level design," Engineering of Computer-Based Systems, IEEE International Conference on the(ECBS), Monterey, CA, 1997, pp. 479.