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(ECBS)*, Monterey, CA, 1997, pp. 479.

doi:10.1109/ECBS.1997.581939

CITATIONS

SEARCH