Search Results

Automated Structural Analysis of SCR-style Software Requirements Specifications using PVS

• Authors : Taeho Kim; Sungdeok Cha; The Pennsylvania State University CiteSeerX Archives

Subjects: formal specication; formal verication; requirements analysis

• Source: http://se.kaist.ac.kr/LAB/MEMBER/CHA/PUB_LIST/ij/kimcha-structuralproperty.ps.

Record details

Design and development of a standards-based authoring framework for software requirements specifications

• Authors : Hussein, Kariem; Grechenig, Thomas

Subjects: Anforderungsanalyse; Dokumentationserstellung; Dokumentationswartung

Record details

A case study of requirements quality analysis

• Authors : Biscoglio, Isabella; Coco, Alessandro; Fabbrini, Fabrizio ...

Subjects: Quality; Requirements analysis; Natural language processing

Record details

User’s Manual as a Requirements Specification: Case Studies

• Authors : Daniel M. Berry; Khuzaima Daudjee; Jing Dong ...

Subjects: ambiguity; requirements analysis; requirements elicitation

• Source: http://se.math.uwaterloo.ca/~dberry/FTP_SITE/reprints.journals.conferences/users.man.pdf.

Record details

QuARS Express: A Tool for Evaluating Natural Language Requirements

• Authors : Bucchiarone, Antonio; Gnesi, Stefania; Lami, Giuseppe

Subjects: Software Engineering; Requirements Analysis; NLP - Natural language Processing

• Source: Technical report, 2011.

Record details

Addressing Readability in NL Requirements Analysis

• Authors : Trentanni, Gianluca

Subjects: Software Engineering; Requirements Analysis; Metrics

• Source: Technical report, 2011.

Record details

A Quality Evaluation Process for Collaborative Requirements: An Industrial Case Study

• Authors : Bucchiarone, Antonio; Gnesi, Stefania; Fantechi, Alessandro

Subjects: Requirements Analysis; Quality Model; Requirements Engineering

• Source: Technical report, 2006.

Record details

QuARS - a tool for analysing requirements

• Authors : Lami, Giuseppe

Subjects: Requirements analysis; info:eu-repo/classification/acm/D.2.1 Requirements/Specifications

• Source: Document n. /cnr.isti/2005-B5-14, 2005.

Record details

QuARS Express - User Manual (version 0.1)

• Authors : Trentanni, Gianluca

Subjects: User Manual; Help; Software Engineering

• Source: Internal note, 2011.

Record details

Automated review of natural language requirements documents: generating useful warnings with user-extensible glossaries driving a simple state machine

• Authors : Prateek Jain; Kunal Verma; Alex Kass ...

Subjects: Categories and Subject Descriptors D.2.1 [Software Engineering; Requirements/Specifications – tools. General Terms Design; Standardization Keywords Requirements Engineering

• Source: http://knoesis.wright.edu/library/publications/isec2009_submission_59.pdf.

Record details