Verification of Software Requirements on Program Systems Represented by Attribute Transition Systems

Author： Baranov S. N.   Volkov V. A.   Godlevskii A. B.   Kapitonova Yu. V.   Letichevsky A. A.  

Publisher： Springer Publishing Company

ISSN： 1060-0396

Source： Cybernetics and Systems Analysis, Vol.39, Iss.6, 2003-11, pp. : 783-789

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

Software provides a look into piping systems

By  

World Pumps, Vol. 1997, Iss. 371, 1997-08 ,pp. : 12-13

Elsevier

Access to resources Recommend Favorite

Fuzzy systems based on component software

By Sendelj R.   Devedzic V.  

Fuzzy Sets and Systems, Vol. 141, Iss. 3, 2004-02 ,pp. : 487-504

Elsevier

Access to resources Recommend Favorite

Modeling and experimental verification of the kinetics of reacting polymer systems

By Van Assche G.   Swier S.   Van Mele B.  

Thermochimica Acta, Vol. 388, Iss. 1, 2002-06 ,pp. : 327-341

Elsevier

Access to resources Recommend Favorite

Evaluation of verification tools for knowledge-based systems

By Preece A.D.   Talbot S.   Vignollet L.  

International Journal of Human-Computer Studies, Vol. 47, Iss. 5, 1997-11 ,pp. : 629-658

Academic Press

Access to resources Recommend Favorite

On the validation and verification of production systems: a graph reduction approach

By Murrell S.   Plant R.  

International Journal of Human-Computer Studies, Vol. 44, Iss. 2, 1996-02 ,pp. : 127-144

Academic Press

Access to resources Recommend Favorite