Education in formal methods for software engineering
Information and Software Technology
Science and Substance: A Challenge to Software Engineers
IEEE Software
IEEE Software
Introducing formal specification methods in industrial practice
ICSE '97 Proceedings of the 19th international conference on Software engineering
Comparing Verification Systems: Interactive Consistency in ACL2
IEEE Transactions on Software Engineering
NSPW '96 Proceedings of the 1996 workshop on New security paradigms
Enhanced operational semantics: a tool for describing and analyzing concurrent systems
ACM Computing Surveys (CSUR)
Experience teaching Z with tool and web support
ACM SIGSOFT Software Engineering Notes
Mapping software: Are we nearing standardization?
Annals of Software Engineering
Techniques for Embedding Executable Specifications in Software Component Interfaces
ICCBSS '03 Proceedings of the Second International Conference on COTS-Based Software Systems
Visualization of Formal Specifications
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
API documentation with executable examples
Journal of Systems and Software
Automatic verification for a class of distributed systems
Distributed Computing
Verifying mutual exclusion and liveness properties with split preconditions
Journal of Computer Science and Technology
How the design of JML accommodates both runtime assertion checking and formal verification
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
A contextual interpretation of undefinedness for runtime assertion checking
Proceedings of the sixth international symposium on Automated analysis-driven debugging
Constraint animation using an object-oriented declarative language
ACM-SE 38 Proceedings of the 38th annual on Southeast regional conference
Preliminary design of JML: a behavioral interface specification language for java
ACM SIGSOFT Software Engineering Notes
Roadmap for enhanced languages and methods to aid verification
Proceedings of the 5th international conference on Generative programming and component engineering
A relational database model for representation of formal specifications
Proceedings of the 44th annual Southeast regional conference
EASE'07 Proceedings of the 11th international conference on Evaluation and Assessment in Software Engineering
Using graphical icons to build Z specifications
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
Variability in quality attributes of service-based software systems: A systematic literature review
Information and Software Technology
| Hi-index | 0.01 |
The phrase "not much mathematics required" can imply a variety of skill levels. When this phrase is applied to computer scientists, software engineers, and clients in the area of formal specification, the word "much" can be widely misinterpreted with disastrous consequences. A small experiment in reading specifications revealed that students already trained in discrete mathematics and the specification notation performed very poorly; much worse than could reasonably be expected if formal methods proponents are to be believed.