VDM over PSP

paper index | HOME

Title: VDM over PSP: A Pilot Course for VDM Beginners to Confirm its Suitability for Their Development.
Author(s): Hisayuki Suzumori, Haruhiko Kaiya, and Kenji Kaijiri.
Source: Proceedings of 27th COMPSAC2003 , pp. 327-334, Dallas, Texas, Nov. 2003. IEEE.

8 pages, (110 K bytes, gziped postscript) or (87 K bytes, PDF)
Presentation Slides (210 K bytes, 30 pages, PDF)

Although formal methods seem to be useful, these is no clear way for beginners to know whether the methods are suit for them and for their problem domain, before using the methods in practice. We propose a method to confirm the suitability of a formal method. The method is realized as a pilot course based on the PSP. A course mentioned in this paper is designed for a typical formal method, VDM. Our course also helps beginners of VDM to learn VDM gradually and naturally. During the course, they can confirm its suitability as follows; First, they practice several exercises for software development, while techniques of VDM are introduced gradually. Second, process data and product data of software development are recorded in each exercise. %and several metrics are derived from these data. %they can confirm its suitability by using these data and several metrics. Third, by evaluating these data by several metrics, they can confirm the suitability of VDM for their work.

BibTeX Entry:
@Inproceedings(,
    Title="{VDM over PSP: A Pilot Course for VDM Beginners
        to Confirm its Suitability for Their Development}",
    Author="Hisayuki Suzumori and Haruhiko Kaiya and Kenji Kaijiri",
    Booktitle="Proceedings of COMPSAC2003",
    Year="2003",
    Editor="",
    Pages="327-334",
    Organization="IEEE",
    Publisher="",
    Address="Dallas, Texas",
    Month="Nov.",
    Isdn="0-7695-2020-0"
)