Towards quality requirements via animated formal specifications

By Siddiqi Jawed   Morrey Ian   Roast Chris   Ozcan Mehmet  

Annals of Software Engineering, Vol. 3, Iss. 1, 1997-01 ,pp. : 131-155

Springer Publishing Company

Access to resources Recommend Favorite

Program Synthesis from Formal Requirements Specifications Using APTS

By Leonard E.I.  

LISP and Symbolic Computation, Vol. 16, Iss. 1-2, 2003-03 ,pp. : 63-92

Springer Publishing Company

Access to resources Recommend Favorite

Understanding and exploring formal specifications

By Siddiqi J.   Morrey I.   Hibberd R.   Buckberry G.  

Annals of Software Engineering, Vol. 6, Iss. 1-4, 1998-01 ,pp. : 411-432

Springer Publishing Company

Access to resources Recommend Favorite

A Methodology for Constructing User-Oriented Requirements Specifications for Large-Scale Systems Using Electronic Hypermedia

By Overmyer Scott P.  

Requirements Engineering, Vol. 4, Iss. 1, 1999-05 ,pp. : 1-18

Springer Publishing Company

Access to resources Recommend Favorite

Executing Formal Specifications with Concurrent Constraint Programming

By Wahls T.  

Automated Software Engineering, Vol. 7, Iss. 4, 2000-12 ,pp. : 315-343

Springer Publishing Company

Access to resources Recommend Favorite