Integrating a formal specification course with a software projects course via an editing tool
Abstract
This paper reports on a two-course sequence for undergraduate students that provides them with an intensive course in formal specification methods and a traditional software design course. The specification course provides an appreciation for the use of rigorous specification methods within the software lifecycle. The manual nature of developing a formal specification provides the appropriate justification for the projects in the software design course in which the students create useful tools to aid the development of a formal specification. Within the project course, the students developed the first prototype of a graphical editor for building Z specifications. We discuss the building of the editing tool and its integration into the software engineering curriculum.
References
[1]
E.J. Adams, A project-intensive software design course, SIGCSE Bulletin, V. 25, N. 1, March 1993.
[2]
J.M. Clifton, An industry approach to the software engineering course, SIGCSE Bulletin, V. 23, N. 1, 1991.
[3]
E.D. Dijkstra, A Discipline of Programming, Prentice Hall, Englewood Cliffs, NJ, 1976.
[4]
A. Diller, Z: An Introduction to Formal Methods, J. Wiley & Sons, New York, 1991.
[5]
D. Gries, The Science of Programming, Pitman Publishing, London, England, 1987.
[6]
P.C. Jorgensen, Requirements Specification Overview, SEI-CM-1, Software Engineering Institute, Carnegie-Mellon University.
[7]
L. Lamport, LATEX User's Guide and Reference Manual, Addison-Wesley, Reading, MA, 1994.
[8]
M.R. Lowry and R.D. McCarmey, Automating Program Design, AAAI Press, Menlo Park, CA, 1991.
[9]
P.N. Robillard and D. LeBlanc, the simulated working environment in a project-based software engineering course, Computers & Education, V. 12, N. 4, pp. 471-477, 1988.
[10]
H. Saiedian, Towards more formalism in software engineering education, SIGCSE Bulletin, V. 25, N. 1, March 1993.
[11]
T.J. Scott, L.H. Tichenor, R.B. B island, Jr., and J.H. Cross, "Team dynamics in student programming projects," SIGCSE Bulletin, Vol. 26, No. 1, March 1994.
[12]
J.M. Spivey, The Z Notation: A Reference Manual, Prentice Hall, 1989.
[13]
J.M. Wing, A specifier's introduction to fomral methods, IEEE Computer, pp. 8-22, Sept. 1990.
[14]
J. Xiaoping, ZTC type checker, Depaul University.
Index Terms
- Integrating a formal specification course with a software projects course via an editing tool
Recommendations
Integrating a formal specification course with a software projects course via an editing tool
This paper reports on a two-course sequence for undergraduate students that provides them with an intensive course in formal specification methods and a traditional software design course. The specification course provides an appreciation for the use of ...
Design and Implementation of a Tool for Specifying Specification in SOFL
Revised Selected Papers of the Second International Workshop on Structured Object-Oriented Formal Language and Method - Volume 7787Structure Object-oriented Formal Language SOFL is not just a formal language for writing formal specification. It is also an approach and a methodology. SOFL provides a three-step approach for modelling a software system using formal specification. ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
March 1995
436 pages
ISBN:089791693X
DOI:10.1145/199688
- Chairman:
- Cary Laxer,
- Editors:
- Curt M. White,
- James E. Miller,
- Judy Gersting
Copyright © 1995 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 15 March 1995
Check for updates
Qualifiers
- Article
Conference
SIGCSE95
Sponsor:
SIGCSE95: 26th SIGCSE Technical Symposium on Computer Science Education
March 2 - 4, 1995
Tennessee, Nashville, USA
Acceptance Rates
Overall Acceptance Rate 1,787 of 5,146 submissions, 35%
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 301Total Downloads
- Downloads (Last 12 months)51
- Downloads (Last 6 weeks)8
Reflects downloads up to 03 Mar 2025
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in