Handling non-canonical software requirements based on Annotated Predicate Calculus

Author： Mu Kedian Jin Zhi Lu Ruqian Peng Yan

ISSN： 0219-1377

Source： Knowledge and Information Systems, Vol.11, Iss.1, 2007-01, pp. : 85-104

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

Related content

A Blame-Based Approach to Generating Proposals for Handling Inconsistency in Software Requirements

International Journal of Knowledge and Systems Science (IJKSS), Vol. 3, Iss. 1, 2012-01 ,pp. : 1-17

IGI Global_journal

Access to resources Recommend Favorite

Software quality, non-functional software requirements and IT-business alignment

By Haigh Maria

Software Quality Journal, Vol. 18, Iss. 3, 2010-09 ,pp. : 361-385

Springer Publishing Company

Access to resources Recommend Favorite

Using simulation‐based experiments for software requirements engineering

By Lerch F.

Annals of Software Engineering, Vol. 3, Iss. 1, 1997-01 ,pp. : 345-366

Springer Publishing Company

Access to resources Recommend Favorite

Requirements-document-based prototyping of CARA software

By Guan Z. Berzins V. Zhang L. Floodeen D. Coskun V. Puett J. Brown M.

International Journal on Software Tools for Technology Transfer, Vol. 5, Iss. 4, 2004-05 ,pp. : 370-390

Springer Publishing Company

Access to resources Recommend Favorite

A Knowledge-Based Software Engineering Environment for Reusable Software Requirements and Architectures

By Gomaa H. Kerschberg L. Sugumaran V. Bosch C. Tavakoli I. O'Hara L.

Automated Software Engineering, Vol. 3, Iss. 3-4, 1996-08 ,pp. : 285-307

Springer Publishing Company

Access to resources Recommend Favorite