ERIC Number: EJ1063376
Record Type: Journal
Publication Date: 2005
Pages: 6
Abstractor: As Provided
ISBN: N/A
ISSN: EISSN-1557-5284
EISSN: N/A
Available Date: N/A
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.
Descriptors: Computer Software, Computer System Design, Integrated Curriculum, Design Requirements, Design, Teaching Methods, Error Correction, Evaluation Methods, Models, Educational Practices, Educational Strategies, Pretesting, Quality Control, College Programs
Institute for STEM Education and Research. P.O. Box 4001, Auburn, AL 36831. Tel: 334-844-3360; Web site: http://www.jstem.org
Publication Type: Journal Articles; Reports - Descriptive
Education Level: Higher Education; Postsecondary Education
Audience: N/A
Language: English
Sponsor: N/A
Authoring Institution: N/A
Grant or Contract Numbers: N/A
Author Affiliations: N/A