Pinnacles of software engineering: 25 years of formal methods

Author： Bjørner D.  

Publisher： Springer Publishing Company

ISSN： 1022-7091

Source： Annals of Software Engineering, Vol.10, Iss.1-4, 2000-01, pp. : 11-66

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Software engineering and formal methods

By Aichernig Bernhard  

Software and Systems Modeling (SoSyM), Vol. 7, Iss. 3, 2008-07 ,pp. : 255-256

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

Using formal methods for teaching software engineering: a tool-based approach

By Ciancarini P.   Mascolo C.  

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

Springer Publishing Company

Access to resources Recommend Favorite

SoSyM Special Section on Software Engineering and Formal Methods

By Cuellar Jorge   Liu Zhiming  

Software and Systems Modeling (SoSyM), Vol. 6, Iss. 1, 2007-03 ,pp. : 37-38

Springer Publishing Company

Access to resources Recommend Favorite

A Formal Approach to Object-Oriented Software Engineering

By Wirsing M.   Knapp A.  

Electronic Notes in Theoretical Computer Science, Vol. 4, Iss. 1, 2004-01 ,pp. : 1-39

Elsevier

Access to resources Recommend Favorite