A framework for automated and certified refinement steps

ISSN： 1614-5046

Source： Innovations in Systems and Software Engineering, Vol.9, Iss.1, 2013-03, pp. : 3-16

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

The Automated Refinement of a Requirements Domain Theory

By McCluskey T.L.

Automated Software Engineering, Vol. 8, Iss. 2, 2001-04 ,pp. : 195-218

Springer Publishing Company

Access to resources Recommend Favorite

A framework for a theory of automated learning

By Hausen-Tropper E.

Theoretical Computer Science, Vol. 163, Iss. 1, 1996-08 ,pp. : 161-176

Elsevier

Access to resources Recommend Favorite

Automated verification and refinement for physical-layer protocols

By Brown Geoffrey

Formal Aspects of Computing, Vol. 23, Iss. 3, 2011-05 ,pp. : 243-266

Springer Publishing Company

Access to resources Recommend Favorite

An automated framework for managing security vulnerabilities

By Al-Ayed A. Furnell S.M. Zhao D. Dowland P.S.

Information Management & Computer Security, Vol. 13, Iss. 2, 2005-04 ,pp. : 156-166

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

Automated Refinement of First-Order Horn-Clause Domain Theories

By Richards B.L.

Machine Learning, Vol. 19, Iss. 2, 1995-05 ,pp. : 95-131

Springer Publishing Company

Access to resources Recommend Favorite