Bugs, Moles and Skeletons: Symbolic Reasoning for Software Development

2010 ◽  
pp. 400-411 ◽  
Author(s):  
Leonardo de Moura ◽  
Nikolaj Bjørner
Keyword(s):  
Software Development ◽  
Symbolic Reasoning

Using work-centered specifications to integrate cognitive requirements into software development

2006 ◽  
Author(s):  
Jeffrey Wampler ◽  
Emilie Roth ◽  
Randall Whitaker ◽  
Kendall Conrad ◽  
Mona Stilson ◽  
...  
Keyword(s):  
Software Development

Calibrating estimation tools for software development

1990 ◽  
Vol 5 (4) ◽  
pp. 215 ◽  
Author(s):  
D.R. Jeffery ◽  
G. Low
Keyword(s):  
Software Development

Software development: two approaches to animation of Z specifications using prolog

1992 ◽  
Vol 7 (4) ◽  
pp. 264 ◽  
Author(s):  
Margaret M. West ◽  
Barry M. Eaglestone
Keyword(s):  
Software Development
Sign in / Sign up

Export Citation Format

Share Document