Software engineering and formal methods

ISSN： 1619-1366

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

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

Related content

Pinnacles of software engineering: 25 years of formal methods

By Bjørner D.

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

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