Formal change impact analyses for emulated control software

ISSN： 1433-2779

Source： International Journal on Software Tools for Technology Transfer, Vol.8, Iss.4-5, 2006-08, pp. : 321-335

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

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

Software Change Impact Analysis: An Approach to Compute and Prioritize Impacted Functions in Software Systems

International Journal of Systems and Service-Oriented Engineering (IJSSOE), Vol. 5, Iss. 2, 2015-04 ,pp. : 44-55

IGI Global_journal

Access to resources Recommend Favorite

Formal software development in the Verification Support Environment (VSE)

By Hutter Dieter Langenstein Bruno Rock Georg Siekmann Jörg H. Stephan Werner Vogt Roland

Journal of Experimental & Theoretical Artificial Intelligence, Vol. 12, Iss. 4, 2000-10 ,pp. : 383-406

Taylor & Francis Ltd

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

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