Search for dissertations about: "software requirements and specification"

Showing result 1 - 5 of 35 swedish dissertations containing the words software requirements and specification.

  1. 1. Software Robustness: From Requirements to Verification

    Author : Ali Shahrokni; [2013]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; robustness; quality requirements; requirements patterns; robustness testing; requirements specification; non-functional requirements; requirements refinement;

    Abstract : 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. READ MORE

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

    University dissertation from Karlskrona : Blekinge Institute of Technology

    Author : Tony Gorschek; Blekinge Tekniska Högskola.; [2004]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Process Assessment; Process Improvement; Requirements Engineering; Abstraction; Requirements; SPI; RE;

    Abstract : 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. READ MORE

  3. 3. Architectural Compliance in Component-Based Systems : Foundations, Specification, and Checking of Architectural Rules

    University dissertation from Munich, Germany : Dr. Hut Verlag

    Author : Sebastian Herold; [2011]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; software architecture; software system; design decisions; Datavetenskap; Computer Science;

    Abstract : The intended software architecture of a software system manifests the earliest and most fundamental design decisions. To ensure that the final software product is consistent with those design decisions and the requirements realized that way, the software architecture has to be refined correctly. READ MORE

  4. 4. Model-Based Requirements Engineering in the Automotive Industry: Challenges and Opportunities

    University dissertation from Gothenburg : Chalmers tekniska högskola

    Author : Grischa Liebel; [2016]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Software Engineering; Modelling; Requirements Engineering; Automotive; Empirical Research; MBE;

    Abstract : Context:The automotive industry is faced with rapid increases in size and complexity of their software engineering efforts, which makes successful Requirements Engineering essential. Model-Based Engineering has been suggested as a method to handle increasing complexity on a higher level of abstraction. READ MORE

  5. 5. Pattern-based Specification and Formal Analysis of Embedded Systems Requirements and Behavioral Models

    University dissertation from Mälardalen University Press

    Author : Predrag Filipovikj; Mälardalens högskola.; [2017]
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; pattern-based formal requirements specification; formal requirements consistency analysis; formal analysis of Simulink models; Computer Science; datavetenskap;

    Abstract : Since the first lines of code were introduced in the automotive domain, vehicles have transitioned from being predominantly mechanical systems to software intensive systems. With the ever-increasing computational power and memory of vehicular embedded systems, a set of new, more powerful and more complex software functions are installed into vehicles to realize core functionalities. READ MORE