Formal specification scheme for database applications using requirements particle networks

Author： Vatanawood Wiwat Rivepiboon Wanchai

ISSN： 0264-4401

Source： Engineering Computations: Int J for Computer-Aided Engineering, Vol.19, Iss.8, 2002-12, pp. : 932-952

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 specification approach for holonic control systems: the ADACOR case

By Leitao Paulo Colombo Armando W. Restivo Francisco

International Journal of Manufacturing Technology and Management, Vol. 8, Iss. 1-2, 2006-01 ,pp. : 37-57

Inderscience Publishers

Access to resources Recommend Favorite

Using Bayesian networks to build data mining applications for a semiconductor cleaning process

By Chen Ruey-Shun Chang Chan-Chine

International Journal of Materials and Product Technology, Vol. 30, Iss. 4, 2007-07 ,pp. : 386-407

Inderscience Publishers

Access to resources Recommend Favorite

Formalisation of product requirements: from natural language descriptions to formal specifications

By Chen Zhen Yu Yao Shengji Lin Jian Qiang Zeng Yong Eberlein Armin

International Journal of Manufacturing Research, Vol. 2, Iss. 3, 2007-08 ,pp. : 362-387

Inderscience Publishers

Access to resources Recommend Favorite

Manufacturing process modelling using process specification language

By Qiao Lihong Kao Shuting Zhang Yizhu

The International Journal of Advanced Manufacturing Technology, Vol. 55, Iss. 5-8, 2011-07 ,pp. : 549-563

Springer Publishing Company

Access to resources Recommend Favorite

Task level specification and formal verification of robotics control systems: state of the art and case study

By Kapellos K. Simon D. Jourdant M. Espiau B.

International Journal of Systems Science, Vol. 30, Iss. 11, 1999-11 ,pp. : 1227-1245

Taylor & Francis Ltd

Access to resources Recommend Favorite