Related content

Experience report: evolution of a web‐integrated software development and verification environment

By  

SOFTWARE:PRACTICE AND EXPERIENCE, Vol. 45, Iss. 6, 2015-06 ,pp. : 857-872

John Wiley & Sons Inc

Access to resources Recommend Favorite

Formally specifying CARA in Java

By Stark Eugene W.  

International Journal on Software Tools for Technology Transfer, Vol. 5, Iss. 4, 2004-05 ,pp. : 331-350

Springer Publishing Company

Access to resources Recommend Favorite

KeYGenU: combining verification-based and capture and replay techniques for regression unit testing

By Beckert Bernhard  

International Journal of Systems Assurance Engineering and Management, Vol. 2, Iss. 2, 2011-06 ,pp. : 97-113

Springer Publishing Company

Access to resources Recommend Favorite

Formal methods software engineering for the CARA system

By Martin John C.  

International Journal on Software Tools for Technology Transfer, Vol. 5, Iss. 4, 2004-05 ,pp. : 301-307

Springer Publishing Company

Access to resources Recommend Favorite

Requirements-document-based prototyping of CARA software

By   Guan Z.   Berzins V.   Zhang L.   Floodeen D.   Coskun V.   Puett J.   Brown M.  

International Journal on Software Tools for Technology Transfer, Vol. 5, Iss. 4, 2004-05 ,pp. : 370-390

Springer Publishing Company

Access to resources Recommend Favorite