A formal nethod (a networked formal method)

Author： Breuer Peter  

Publisher： Springer Publishing Company

ISSN： 1614-5046

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

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

ATOM: An object-based formal method for real-time systems

By Zedan H.   Cau A.   Chen Z.   Yang H.  

Annals of Software Engineering, Vol. 7, Iss. 1-4, 1999-01 ,pp. : 235-256

Springer Publishing Company

Access to resources Recommend Favorite

Engineering formal requirements: An analysis and testing method for Z documents

By Ciancarini P.  

Annals of Software Engineering, Vol. 3, Iss. 1, 1997-01 ,pp. : 189-219

Springer Publishing Company

Access to resources Recommend Favorite

Investigating a new formal model for autonomous virtual organisation using RAISE method

By Nami Mohammad Reza   Hashemi Seyed Naser  

International Journal of Networking and Virtual Organisations, Vol. 7, Iss. 6, 2010-09 ,pp. : 505-513

Inderscience Publishers

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