Systematic software development using VDM
Systematic software development using VDM
Introduction to the ISO specification language LOTOS
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Communications of the ACM
Software engineering with abstractions
Software engineering with abstractions
Foundations of computer science
Foundations of computer science
A toolbox for the verification of LOTOS programs
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
An undergraduate course in formal methods: “description is our business”
SIGCSE '98 Proceedings of the twenty-ninth SIGCSE technical symposium on Computer science education
The object constraint language: precise modeling with UML
The object constraint language: precise modeling with UML
Exercises for teaching logic in a formal methods course: formalizing ERDs
SIGCSE '99 The proceedings of the thirtieth SIGCSE technical symposium on Computer science education
Z: An Introduction to Formal Methods
Z: An Introduction to Formal Methods
Communication and Concurrency
IEEE Software
VDM '91 Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume I: Conference Contributions - Volume I
High-Quality Software Through Semiformal Specification and Verification
CSEET '99 Proceedings of the 12th Conference on Software Engineering Education and Training
Hi-index | 0.00 |
Formal methods courses have been taught at UQAM, since the winter of 1996 in our graduate program, and since the winter of 1997 in our undergraduate program. In the graduate program, the course number was initially INF7160 (computer science) and later became MGL7160 (software engineering). Until recently, the undergraduate course number was MAT3143, a Mathematics course. From these various affiliations, one can be lead to the following question regarding formal methods: are they part of mathematics, computer science, or software engineering? We try to shed some light on this question in the current paper.First, we present some definitions characterizing these various disciplines. We also examine our students background to see in which discipline they really belong. Next, we briefly explain what are formal methods and how they fit within the software development life cycle. We then outline the formal methods courses that we have been teaching at UQAM over the last few years and conclude with an informal assessment of these courses.