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

ISSN： 1022-7091

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

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

Understanding the complexity of refactoring in software systems: a tool-based approach

By Advani Deepak

International Journal of General Systems, Vol. 35, Iss. 3, 2006-06 ,pp. : 329-346

Taylor & Francis Ltd

Access to resources Recommend Favorite

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

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

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