Formal innovation criteria

Author： Shelton Kenneth A.   Arciszewski Tomasz  

Publisher： Inderscience Publishers

ISSN： 0952-8091

Source： International Journal of Computer Applications in Technology, Vol.30, Iss.1-2, 2007-11, pp. : 21-32

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

A formal nethod (a networked formal method)

By Breuer Peter  

Innovations in Systems and Software Engineering, Vol. 6, Iss. 4, 2010-12 ,pp. : 255-268

Springer Publishing Company

Access to resources Recommend Favorite

The meaning of “formal”: from weak to strong formal methods

By Wolper Pierre  

International Journal on Software Tools for Technology Transfer, Vol. 1, Iss. 1-2, 1997-12 ,pp. : 6-8

Springer Publishing Company

Access to resources Recommend Favorite

Formal and semi-formal verification of a web voting system

By CristiaMaximilianoCIFASIS and UNR   Rosario   Argentina   FrydmanClaudiaLSIS-CIFASIS   Marseille   France  

International Journal of Web Information Systems, Vol. 11, Iss. 2, 2015-06 ,pp. : 183-204

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

WHAT IS “FORMAL” ANALYSIS?

By LEAF MURRAY  

Cybernetics and Systems, Vol. 35, Iss. 2-3, 2004-03 ,pp. : 129-145

Taylor & Francis Ltd

Access to resources Recommend Favorite

Maintaining knowledge with a formal model

By Debenham John  

Applied Intelligence, Vol. 24, Iss. 3, 2006-06 ,pp. : 205-218

Springer Publishing Company

Access to resources Recommend Favorite