A Toolset for Support of Teaching Formal Software Development

2014 ◽  
pp. 278-283 ◽  
Author(s):  
Štefan Korečko ◽  
Ján Sorád ◽  
Zuzana Dudláková ◽  
Branislav Sobota
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