An Application-Oriented Efficient Encapsulation System for Trusted Software Development

2016 ◽  
pp. 153-168
Author(s):  
Zheng Tao ◽  
Jun Hu ◽  
Jing Zhan ◽  
Mo Li ◽  
Chunzi Chen
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