Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
Formal Verification of Ada Programs
IEEE Transactions on Software Engineering
Towards a method of programming with assertions
ICSE '92 Proceedings of the 14th international conference on Software engineering
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
Effective Java programming language guide
Effective Java programming language guide
Extended static checking for Java
PLDI '02 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation
Java Language Specification, Second Edition: The Java Series
Java Language Specification, Second Edition: The Java Series
An Architecture for Interactive Program Provers
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
The LOOP Compiler for Java and JML
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Managing Software Requirements: A Use Case Approach
Managing Software Requirements: A Use Case Approach
High Integrity Software: The SPARK Approach to Safety and Security
High Integrity Software: The SPARK Approach to Safety and Security
Assertions: A Personal Perspective
IEEE Annals of the History of Computing
The Early Search for Tractable Ways of Reasoning about Programs
IEEE Annals of the History of Computing
An overview of JML tools and applications
International Journal on Software Tools for Technology Transfer (STTT) - Special section on formal methods for industrial critical systems
The spec# programming system: an overview
CASSIS'04 Proceedings of the 2004 international conference on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Early detection of JML specification errors using ESC/Java2
Proceedings of the 2006 conference on Specification and verification of component-based systems
A Practical Approach to Partiality --- A Proof Based Approach
ICFEM '08 Proceedings of the 10th International Conference on Formal Methods and Software Engineering
Are practitioners writing contracts?
Rigorous Development of Complex Fault-Tolerant Systems
Behavioral interface specification languages
ACM Computing Surveys (CSUR)
Past expression: encapsulating pre-states at post-conditions by means of AOP
Proceedings of the 12th annual international conference on Aspect-oriented software development
Hi-index | 0.00 |
Industrial use of program assertions for the purpose of Run-time Assertion Checking (RAC) is becoming commonplace. A likely next step in the use of assertions is Extended Static Checking (ESC), an area of active research that promises added benefits to industry. Unfortunately, RAC and ESC tools are not consistent in their interpretation of assertions containing undefined terms. In this paper, we report on the results of a survey in which we asked industrial developers what logical semantics they want program assertions to have, and whether consistency across tools is important. Survey results indicate that developers are in favor of a semantics for assertions that is compatible with their current use in RAC.