IEEE Transactions on Software Engineering
Writing Larch interface language specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Larch shared language handbook
Science of Computer Programming
An overview of LP, the larch power
RTA-89 Proceedings of the 3rd international conference on Rewriting Techniques and Applications
Fundamentals of software engineering
Fundamentals of software engineering
Models of Software Development Environments
IEEE Transactions on Software Engineering
The Z notation: a reference manual
The Z notation: a reference manual
Communications of the ACM - Special issue on analysis and modeling in software development
Foundations for the study of software architecture
ACM SIGSOFT Software Engineering Notes
Specification-based test oracles for reactive systems
ICSE '92 Proceedings of the 14th international conference on Software engineering
Larch: languages and tools for formal specification
Larch: languages and tools for formal specification
Software engineering (4th ed.)
Software engineering (4th ed.)
LCLint: a tool for using specifications to check code
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
The way of Z: practical programming with formal methods
The way of Z: practical programming with formal methods
Applications of Formal Methods
Applications of Formal Methods
The Specification of Complex Systems
The Specification of Complex Systems
A Study of 12 Specifications of the Library Problem
IEEE Software
ZUM '97 Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation
Experiences with PiZA, an Animator for Z
ZUM '97 Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation
Experience with a Course on Architectures for Software Systems
Proceedings of the SEI Conference on Software Engineering Education
Formal Methods for Software Engineers: Tradeoffs in Curriculum Design
Proceedings of the SEI Conference on Software Engineering Education
Case Studies: The Potential Teaching Instruments for Software Engineering Education
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
| Hi-index | 0.00 |
In this paper we describe and review the course plan and syllabus we use in a course on formal methods in software engineering currently included in the degree in Informatics of the Faculty of Sciences at the University of Bologna. The course matches the theory of formal methods with their practice based on actual tool usage. In fact, the course is centered upon a project whose main goal is to let students learn some formal specification techniques, all supported by specific tools. The students use well‐known notations for both requirements specification and formal design. The formal methods we use are based on the Z notation for requirements specification and on the Larch family of languages for design specifications.