Search Results

Automatic detection of contradictions in requirements specifications

• Authors : Gärtner, Alexander

Subjects: Informatik

• Source: Gärtner, Alexander: Automatic detection of contradictions in requirements specifications, Berlin: Technische Universität Berlin 2024.

Record details

Data Platform for Smart Otaniemi Ecosystem:Requirements, Specifications, and Usage

• Authors : Vesanen, Teemu; Piira, Kalevi; Lavikka, Rita

Subjects: Smart Otaniemi; data platform; ecosystem

• Source: Vesanen , T , Piira , K , Lavikka , R , Piippo , J , Biström , H & Kannari , L 2021 , Data Platform for Smart Otaniemi Ecosystem : Requirements,

Record details

Requirements Specifications within the Usability Engineering Lifecycle

• Authors : Mayhew, Deborah

• Source: Human Factors and Ergonomics ; Human-Computer Interaction ; page 23-32 ; ISSN 2154-6096 ; ISBN 9781420088908 9781420088892

Record details

REQUIREMENTS SPECIFICATIONS WITHIN THE USABILITY ENGINEERING LIFECYCLE

• Source: The Human-Computer Interaction Handbook ; page 943-952 ; ISBN 9780429163975

Record details

Requirements Specifications within the Usability Engineering Lifecycle

• Authors : Mayhew, Deborah

• Source: Human Factors and Ergonomics ; The Human-Computer Interaction Handbook ; page 917-926 ; ISSN 2154-6096 ; ISBN 9780805858709 9781410615862

Record details

An Authoring Tool for Informal and Formal Requirements Specifications

• Authors : Hähnle, Reiner; Johannisson, Kristofer; Ranta, Aarne

• Source: Fundamental Approaches to Software Engineering ; Lecture Notes in Computer Science ; page 233-248 ; ISSN 0302-9743 ; ISBN 9783540433538 9783540459231

Record details

A Semiotic Approach to Quality in Requirements Specifications

• Authors : Krogstie, John

• Source: IFIP Advances in Information and Communication Technology ; Organizational Semiotics ; page 231-249 ; ISSN 1868-4238 1868-422X ; ISBN 9781475761115 9780387356112

Record details

A Semi-Formal Method to Verify Correctness of Functional Requirements Specifications of Complex Systems

• Authors : Kececi, Nihal; Halang, Wolfgang A.; Abran, Alain

• Source: Design and Analysis of Distributed Embedded Systems ; IFIP Advances in Information and Communication Technology ; page 61-69 ; ISSN 1868-4238 1868-422X ; ISBN 9781475749373 9780387355993

Record details

Automated support for the development of formal object-oriented requirements specifications

• Authors : Jackson, Robert B.; Embley, David W.; Woodfield, Scott N.

• Source: Notes on Numerical Fluid Mechanics and Multidisciplinary Design ; Active Flow and Combustion Control 2018 ; page 135-148 ; ISSN 1612-2909 1860-0824 ; ISBN 9783319981765 9783319981772

Record details

Linguistic Analysis of Requirements of a Space Project and Their Conformity with the Recommendations Proposed by a Controlled Natural Language

• Authors : Condamines, Anne; Warnier, Maxime;

Subjects: requirements • specifications • technical writing • corpus linguistics • controlled natural language; [SHS.LANGUE]Humanities and Social Sciences/Linguistics

• Source: Controlled Natural Language ; https://hal.science/hal-01275113 ; Davis, B.; Kalijurand, K.; Kuhn, T. Controlled Natural Language, 8625, Springer, 2014, Lectures Notes in Computer Science,

Record details