Normal forms and syntactic completeness proofs for functional independencies

By Wijesekera D.   Ganesh M.   Srivastava J.   Nerode A.  

Theoretical Computer Science, Vol. 266, Iss. 1, 2001-09 ,pp. : 365-405

Elsevier

Access to resources Recommend Favorite

Modular proofs for completeness of hierarchical term rewriting systems

By Rao M.R.K.K.  

Theoretical Computer Science, Vol. 151, Iss. 2, 1995-11 ,pp. : 487-512

Elsevier

Access to resources Recommend Favorite

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

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

By Sinha A.P.   Popken D.  

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

Elsevier

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