|
505
|
Assigning meanings to programs
– R W Floyd
- 1967
|
|
1221
|
An axiomatic basis for computer programming
– C. A. R. Hoare
- 1969
|
|
3
|
A Generalized Approach to Equational Unification
– Katherine Anne Yelick
- 1985
|
|
5
|
Specifications can make programs run faster
– M T Vandevoorde
- 1993
|
|
9
|
Proving That Computer Programs Terminate Cleanly
– Richard L Sites
- 1974
|
|
55
|
A Two-Tiered Approach to Specifying Programs
– J M Wing
- 1983
|
|
5
|
The Proof of a Distributed System in GYPSY
– Donald I. Good
- 1982
|
|
15
|
AMan-Machine Theorem-Proving System
– P Bruell
- 1975
|
|
14
|
Report on the language Gypsy, version 2.0
– R M Cohen D I Good, L W Hunter C G Hoch, andD F Hare
- 1978
|
|
57
|
A Program Verifier
– J C King
- 1970
|
|
87
|
Software Development: A Rigorous Approach
– C B Jones
- 1980
|
|
273
|
Extended static checking
– David L. Detlefs, K. Rustan M. Leino, Greg Nelson, James B. Saxe
- 1998
|
|
1
|
Extended static checking. Private communication on work
– G Nelson, D Detlefs
- 1994
|
|
19
|
Exploiting Specifications to Improve Program Performance
– Mark T. Vandevoorde
- 1994
|
|
5
|
Towards survivable COTS-based systems
– N R Mead, H F Lipson
- 2001
|
|
4
|
Dealing with Nonfunctional Requirements
– C Ebert
- 1997
|
|
3
|
Five Reasons for Scenario-Based Design
– J M Carrol
- 1999
|
|
3
|
An Activity Framework for COTS-Based Systems (CMU/SEI-2000-TR-010, ADA383836
– Tricia Oberndorf, Lisa Brownsword
- 2000
|
|
1
|
Coding for a Believable Specification to Implementation Mapping,” 140-149
– W D Young
- 1987
|
