Testing Software Requirements with Z and Statecharts Applied to an Embedded Control Systemt0t1

Author： Kim Hye Yeon   Sheldon Frederick T.  

Publisher： Springer Publishing Company

ISSN： 0963-9314

Source： Software Quality Journal, Vol.12, Iss.3, 2004-09, pp. : 231-264

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 requirements and acceptance testing

By Hsia Pei  

Annals of Software Engineering, Vol. 3, Iss. 1, 1997-01 ,pp. : 291-317

Springer Publishing Company

Access to resources Recommend Favorite

Extended Statecharts for and specification of manufacturing control software systems the modelling

By Suraj A.   Ramaswamy S.   Barber K. S.  

International Journal of Computer Integrated Manufacturing, Vol. 10, Iss. 1-4, 1997-01 ,pp. : 160-171

Taylor & Francis Ltd

Access to resources Recommend Favorite

A control model of the software requirements process

By White Anthony S.  

Kybernetes: The International Journal of Systems & Cybernetics, Vol. 42, Iss. 3, 2013-03 ,pp. : 423-447

Emerald Group Publishing Ltd

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

Testing Control Software using a Genetic Algorithm

By Hunt J.  

Engineering Applications of Artificial Intelligence, Vol. 8, Iss. 6, 1995-12 ,pp. : 671-680

Elsevier

Access to resources Recommend Favorite