Cited By
View all- Alam H(2021)Specification of Operating Rules for Water Reservoir to Manage Flood Using Z-NotationVAWKUM Transactions on Computer Sciences10.21015/vtcs.v9i1.10019:1(34-46)Online publication date: 5-Dec-2021
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
SIGCSE '95: Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science educationThis 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. ...
Formal Specification of User Interfaces: A Comparison and Evaluation of Four Axiomatic Approaches
Annals of discrete mathematics, 24Few examples of formal specification of the semantics of user interfaces exist in the literature. This paper presents a comparison of four axiomatic approaches which we have applied to the specification of a commercial user interface-the line editor for ...
Comments
Information & Contributors
Information
Published In
March 1995436 pagesISBN:089791693XDOI: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]
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 15 March 1995
Published in SIGCSE Volume 27, Issue 1
Check for updates
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 278Total Downloads
- Downloads (Last 12 months)35
- Downloads (Last 6 weeks)7
Reflects downloads up to 01 Nov 2024
Other Metrics
Citations
Cited By
View all- Alam H(2021)Specification of Operating Rules for Water Reservoir to Manage Flood Using Z-NotationVAWKUM Transactions on Computer Sciences10.21015/vtcs.v9i1.10019:1(34-46)Online publication date: 5-Dec-2021
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in