Completeness and Consistency Checking of System Requirements: An Expert Agent Approach

Publisher： Elsevier

ISSN： 0957-4174

Source： Expert Systems with Applications, Vol.11, Iss.3, 1996-01, pp. : 263-276

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

Checking Consistency and Completeness of On-Line Product Manuals

By Sinz Carsten Küchlin Wolfgang Feichtinger Dieter Görtler Georg

Journal of Automated Reasoning, Vol. 37, Iss. 1-2, 2006-08 ,pp. : 45-66

Springer Publishing Company

Access to resources Recommend Favorite

The Consistency of the Medical Expert System CADIAG-2: A Probabilistic Approach

Journal of Information Technology Research (JITR), Vol. 4, Iss. 1, 2011-01 ,pp. : 1-20

IGI Global_journal

Access to resources Recommend Favorite

An Approach to UML Consistency Checking Based on Compositional Semantics

International Journal of Embedded and Real-Time Communication Systems (IJERTCS), Vol. 8, Iss. 2, 2017-07 ,pp. : 1-23

IGI Global_journal

Access to resources Recommend Favorite

Erratum to ''On the interplay between consistency, completeness, and correctness in requirements evolution'' [Information and Software Technology 45 (2003) 993-1009]

By Zowghi D. Gervasi V.

Information and Software Technology, Vol. 46, Iss. 1, 2004-01 ,pp. : 75-75

Elsevier

Access to resources Recommend Favorite

Algebraic proofs of consistency and completeness

By Gardiner P.H.B.

Theoretical Computer Science, Vol. 150, Iss. 1, 1995-10 ,pp. : 161-191

Elsevier

Access to resources Recommend Favorite