Hardware-Assisted Verification and Software Development

2016 ◽  
pp. 461-489
Author(s):  
Frank Schirrmeister ◽  
Mike Bershteyn ◽  
Ray Turner
Keyword(s):  
Software Development

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