Predicate calculus and program semantics
Predicate calculus and program semantics
Programming in the 1990s: an introduction to the calculation of programs
Programming in the 1990s: an introduction to the calculation of programs
Object-oriented analysis and design with applications (2nd ed.)
Object-oriented analysis and design with applications (2nd ed.)
Microsoft Visual C++ MFC library reference, part 1: volume 1 of four
Microsoft Visual C++ MFC library reference, part 1: volume 1 of four
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
Empirical results of a software engineering curriculum incorporating formal methods
Proceedings of the thirty-first SIGCSE technical symposium on Computer science education
The C++ Programming Language, Third Edition
The C++ Programming Language, Third Edition
A Discipline of Programming
Ten Commandments of Formal Methods
Computer
An Invitation to Formal Methods
Computer
IEEE Software
Emphasizing formal analysis in a software engineering curriculum
IEEE Transactions on Education
Empirical results of a software engineering curriculum incorporating formal methods
Proceedings of the thirty-first SIGCSE technical symposium on Computer science education
IEEE Software
Evidence-Based Software Engineering
Proceedings of the 26th International Conference on Software Engineering
Evidence-Based Software Engineering for Practitioners
IEEE Software
An Experimental Investigation of Formality in UML-Based Development
IEEE Transactions on Software Engineering
Software—Practice & Experience
Formal design and implementation of constraints in software components
Advances in Engineering Software
Balancing insight and effort: the industrial uptake of formal methods
Formal methods and hybrid real-time systems
Formal specification of wireless and pervasive healthcare applications
ACM Transactions on Embedded Computing Systems (TECS)
Formal Specification and Verification of Ubiquitous and Pervasive Systems
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Criteria of progress for information systems design theories
Information Systems and e-Business Management
Introduction to special section on formal methods in pervasive computing
ACM Transactions on Autonomous and Adaptive Systems (TAAS) - Special section on formal methods in pervasive computing, pervasive adaptation, and self-adaptive systems: Models and algorithms
Knowledge-enabled decision making for robotic system utilizing ambient service components
Journal of Ambient Intelligence and Smart Environments - Ambient and Smart Component Technologies for Human Centric Computing
| Hi-index | 0.01 |
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.