Enhancing the Pre- and Postcondition Technique for More Expressive Specifications
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Interface Compatibility Checking for Software Modules
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Adding formal specifications to a proven V&V process for system-critical flight software
WIFT '95 Proceedings of the 1st Workshop on Industrial-Strength Formal Specification Techniques
A Formal Method to Software Integration in Reuse
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
A historical perspective on runtime assertion checking in software development
ACM SIGSOFT Software Engineering Notes
PPDP '09 Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming
Balancing insight and effort: the industrial uptake of formal methods
Formal methods and hybrid real-time systems
Contracts for first-class classes
Proceedings of the 6th symposium on Dynamic languages
Improving software testability with assertion insertion
ITC'94 Proceedings of the 1994 international conference on Test
Behavioral interface specification languages
ACM Computing Surveys (CSUR)
SP 800-142. Practical Combinatorial Testing
SP 800-142. Practical Combinatorial Testing
Chaperones and impersonators: run-time support for reasonable interposition
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
ICFP 2002: Contracts for higher-order functions
ACM SIGPLAN Notices - Supplemental issue
Contracts for First-Class Classes
ACM Transactions on Programming Languages and Systems (TOPLAS)
| Hi-index | 0.00 |
The Anna approach to specification language design strengthens the existing explanatory constructs in Ada and adds new ones where there is an obvious need.