This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Exploring the Software Development Trilogy
November/December 1998 (vol. 15 no. 6)
pp. 75-81
Software development is concerned with more than just generation of code; the program must have the desired properties, and these must be demonstrated via suitable tests and correctness arguments. One way of viewing these aspects is to group them into programs, properties, and data. When represented as vertices in a triangle, the edges represent processes to produce one element from another. The research reported in this article aims at practical methods for automatic test generation by restricting the use of both predicate logic and programming constructs. It promises to eventually result in practical domain- specific programming languages, with a significant boost in both quality and productivity.
Citation:
Daniel Le Métayer, Valérie-Anne Nicolas, Olivier Ridoux, "Exploring the Software Development Trilogy," IEEE Software, vol. 15, no. 6, pp. 75-81, Nov.-Dec. 1998, doi:10.1109/52.730849
Usage of this product signifies your acceptance of the Terms of Use.