The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.03 - March (2002 vol.28)
pp: 308-320
ABSTRACT
<p>The development of an elevator scheduling system by undergraduate students is presented. The development was performed by 20 teams of undergraduate students, divided into two groups. One group produced specifications by employing a formal method that involves only first-order logic. The other group used no formal analysis. The solutions of the groups are compared using the metrics of code correctness, conciseness, and complexity. Particular attention is paid to a subset of the formal methods group which provided a full verification of their implementation. Their results are compared to other published formal solutions. The formal methods group's solutions are found to be far more correct than the nonformal solutions.</p>
INDEX TERMS
formal methods, software specifications, software engineering curriculum
CITATION
A.E. Kelley Sobel, M.R. Clarkson, "Formal Methods Application: An Empirical Tale of Software Development", IEEE Transactions on Software Engineering, vol.28, no. 3, pp. 308-320, March 2002, doi:10.1109/32.991322
6 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool