DocumentCode
1624397
Title
Instruction in Problem Structuring and Analysis Through Problem Frames
Author
Wallace, Charles ; Wang, Xinli ; Bluth, Virginia
Author_Institution
Michigan Technol. Univ., Houghton, MI
fYear
2006
Firstpage
185
Lastpage
186
Abstract
We have used the problem frames approach to teach software requirements analysis in an undergraduate software engineering setting for several years. Its lightweight formalism is rigorous without being intimidating, and its clarity and precision foster critical inquiry and careful reasoning among students. To guide newcomers to problem frames, and to aid experienced students in tackling larger problems, we have created a Java-based editor tool called PFEdit to construct and manipulate problem frame documents. This course module includes introductory presentation material, a documented version of PFEdit, and an annotated problem frame document that demonstrates the major concepts of problem frames and the capabilities of PFEdit
Keywords
computer science education; formal specification; formal verification; teaching; Java-based editor tool; PFEdit; problem analysis; problem frame documents; problem structuring; software requirements analysis; teaching; undergraduate software engineering; Computer architecture; Concrete; Displays; Documentation; Environmental factors; Java; Large-scale systems; Patient monitoring; Software engineering; Vocabulary;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering Education and Training, 2006. Proceedings. 19th Conference on
Conference_Location
Turtle Bay, HI
ISSN
1093-0175
Print_ISBN
0-7695-2557-1
Type
conf
DOI
10.1109/CSEET.2006.22
Filename
1617345
Link To Document