Formal specification of software using H-graph semantics

2005 ◽  
pp. 314-332 ◽  
Author(s):  
Terrence W. Pratt
Keyword(s):  
Formal Specification

Formal Specification and Design

1992 ◽  
Author(s):  
L. M. G. Feijs ◽  
H. B. M. Jonkers
Keyword(s):  
Formal Specification

Editorial: The formal specification of interactive systems

1996 ◽  
Vol 11 (6) ◽  
pp. 322 ◽  
Author(s):  
M.D. Harrison
Keyword(s):  
Formal Specification ◽  
Interactive Systems

Application of Formal Specification to Software Maintenance.

1990 ◽  
Author(s):  
Neel Madhav ◽  
Sriram Sankar
Keyword(s):  
Formal Specification ◽  
Software Maintenance

An environment for Ada software development based on formal specification

1987 ◽  
Vol VII (3) ◽  
pp. 94-106 ◽  
Author(s):  
D C Luckham ◽  
R Neff ◽  
D S Rosenblum
Keyword(s):  
Software Development ◽  
Formal Specification
Sign in / Sign up

Export Citation Format

Share Document