• 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