NotesFAQContact Us
Search Tips
Peer reviewed Peer reviewed
Direct linkDirect link
ERIC Number: EJ1063376
Record Type: Journal
Publication Date: 2005
Pages: 6
Abstractor: As Provided
Reference Count: 14
ISSN: EISSN-1557-5284
Integrating Model-Based Verification into Software Design Education
Yilmaz, Levent; Wang, Shuo
Journal of STEM Education: Innovations and Research, v6 n3-4 p29-34 Jul-Dec 2005
Proper design analysis is indispensable to assure quality and reduce emergent costs due to faulty software. Teaching proper design verification skills early during pedagogical development is crucial, as such analysis is the only tractable way of resolving software problems early when they are easy to fix. The premise of the presented strategy is based on the observation that fundamental component of any engineering curriculum is the use of formal and sound techniques that facilitate analysis of artifacts produced by students. Yet, fundamental roadblocks exist in bringing the state of the art in design analysis to the classroom due to the steep learning curve and quagmire of theoretical details involved in formal methods. This paper suggests a strategy and tool support that promotes the attainment of design evaluation skills. We also discuss how selective and pragmatic application of formal methods can be used in software design education.
Institute for STEM Education and Research. P.O. Box 4001, Auburn, AL 36831. Tel: 334-844-3360; Web site:
Publication Type: Journal Articles; Reports - Descriptive
Education Level: Higher Education; Postsecondary Education
Audience: N/A
Language: English
Sponsor: N/A
Authoring Institution: N/A