Automatic Verification of Static Policies on Software Process Models

Author： Reis R.Q.  

Publisher： Springer Publishing Company

ISSN： 1022-7091

Source： Annals of Software Engineering, Vol.14, Iss.1-4, 2002-12, pp. : 197-234

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

Synergistic verification and validation of systems and software engineering models

By Jarraya Yosr  

International Journal of General Systems, Vol. 38, Iss. 7, 2009-10 ,pp. : 719-746

Taylor & Francis Ltd

Access to resources Recommend Favorite

Compositional software verification based on game semantics and process algebra

By Dimovski Aleksandar   Lazić Ranko  

International Journal on Software Tools for Technology Transfer, Vol. 9, Iss. 1, 2007-02 ,pp. : 37-51

Springer Publishing Company

Access to resources Recommend Favorite

Models and hardware-software solutions for automatic control of intelligent hall

By Yusupov R.   Ronzhin A.   Prishchepa M.   Ronzhin Al.  

Automation and Remote Control, Vol. 72, Iss. 7, 2011-07 ,pp. : 1389-1397

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite

Deductive verification of cryptographic software

By Almeida José  

Innovations in Systems and Software Engineering, Vol. 6, Iss. 3, 2010-09 ,pp. : 203-218

Springer Publishing Company

Access to resources Recommend Favorite

An assurance process for the exchange of operations research software models used for military simulation

By Hossain A  

Journal of Simulation, Vol. 7, Iss. 1, 2013-02 ,pp. : 38-49

Palgrave Macmillan Ltd

Access to resources Recommend Favorite