Loading...
Please wait, while we are loading the content...
Similar Documents
A software engineering curriculum incorporating an operational formal method.
| Content Provider | CiteSeerX |
|---|---|
| Author | Sobel, Ann Kelley |
| Abstract | This project, which is funded by the NSF Educational Innovation Program (CDA-9522257), integrates an operational formal method into the undergraduate software engineering curriculum of the Systems Analysis Department of Miami University. A formal method consists of a mathematical model and methodology to aid in the creation of the specification, design, and verification of a software system. The justification for the introduction of a formal method not only stems from government and industry regulations/standards, but also from the national perception that the discipline of software engineering education lacks sufficient emphasis on mathematics and engineering science. Goals and Objectives Multiple articles have appeared in major ACM and IEEE computer science journals questioning why, after thirty years of creation and application in academics, industry has been slow to adopt formal methods [1]. There are many different answers to this question but one probable answer stems from the ... |
| File Format | |
| Access Restriction | Open |
| Subject Keyword | Operational Formal Method Formal Method Software Engineering Curriculum Incorporating Engineering Science System Analysis Department Multiple Article Miami University Many Different Answer Sufficient Emphasis Major Acm Mathematical Model Undergraduate Software Engineering Curriculum National Perception Software System Software Engineering Education Thirty Year Industry Regulation Standard Probable Answer Nsf Educational Innovation Program Ieee Computer Science Journal |
| Content Type | Text |
