Sökning: "requirements specification"

Visar resultat 1 - 5 av 109 avhandlingar innehållade orden requirements specification.

  1. 1. Software Robustness: From Requirements to Verification

    Författare :Ali Shahrokni; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; robustness; quality requirements; requirements patterns; robustness testing; requirements specification; non-functional requirements; requirements refinement;

    Sammanfattning : The importance of software quality increases as software products become more intertwined with our everyday lives. A critical software quality attribute is robustness, i.e. that the software shows stable behavior in stressful conditions and when receiving faulty inputs. LÄS MER

  3. 2. Software Process Assessment & Improvement in Industrial Requirements Engineering

    Författare :Tony Gorschek; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Process Assessment; Process Improvement; Requirements Engineering; Abstraction; Requirements; SPI; RE;

    Sammanfattning : Requirements Engineering (RE) is a crucial part of any product management and product development activity, and as such deficiencies in the RE process may have severe consequences. There are reports from industry that point towards inadequate requirements being one of the leading sources for project failure. LÄS MER

  4. 3. Specifying Safety-Critical Heterogeneous Systems Using Contracts Theory

    Författare :Jonas Westman; Mattias Nyberg; Mats Heimdahl; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Contracts; Heterogeneous Systems; Safety; Architecture; Requirements; Specification; Elements; Compositional; IEC 61508; ISO 26262; Kontrakt; Heterogena System; Säkerhet; Arkitektur; Kravhantering; Specifiering; Element; Kompositionell; IEC 61508; ISO 26262; Machine Design; Maskinkonstruktion;

    Sammanfattning : Requirements engineering (RE) is a well-established practice that is also emphasized in safety standards such as IEC 61508 and ISO 26262. Safety standards advocate a particularly stringent RE where requirements must be structured in an hierarchical manner in accordance with the system architecture; at each level, requirements must be allocated to heterogeneous (SW, HW, mechanical, electrical, etc. LÄS MER

  5. 4. A usability perspective on requirements engineering : from methodology to product development

    Författare :Pär Carlshamre; Kristian Sandahl; Jonas Löwgren; Sture Hägglund; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Industrial software development; system development; usability; usability-oriented method; requirements; usability-oriented approach; product development; Computer science; Datavetenskap;

    Sammanfattning : Usability is one of the most important aspects of software. A multitude of methods and techniques intended to support the development of usable systems has been provided, but the impact on industrial software development has been limited. LÄS MER

  7. 5. Ontology-based Analysis and Scalable Model Checking of Embedded Systems Models

    Författare :Nesredin Mahmud; Cristina Seceleanu; Oscar Ljungkrantz; Guillermo Rodriguez-Navas; Riccardo Scandariato; Mälardalens högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; requirements specification; embedded systems; ontology; formal methods; simulink; sat; domain specific language; requirements boilerplates; Computer Science; datavetenskap;

    Sammanfattning : Currently, there is lack of effective and scalable methods to specify and ana-lyze requirements specifications, and verify the behavioral models of embed-ded systems. Most embedded systems requirements are expressed in naturallanguage which is flexible and intuitive but frequently ambiguous, vague andincomprehensive. LÄS MER