Advanced search

Showing result 1 - 5 of 40 swedish dissertations matching the above criteria.

  1. 1. Software Robustness: From Requirements to Verification

    Author : Ali Shahrokni; Chalmers tekniska högskola; []
    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

    Author : Tony Gorschek; []
    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

    Author : Sebastian Herold; Clausthal University of Technology; []
    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

    Author : Grischa Liebel; Chalmers tekniska högskola; []
    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. On Industrial Automation Software Components

    Author : Oscar Ljungkrantz; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; IEC 61131; Programmable Logic Controller PLC ; IEC 61499; formal verification; Manufacturing automation software; software reusability; Reusable Automation Component RAC ; software specification;

    Abstract : This thesis deals with Programmable Logic Controller (PLC) programs in the manufacturing industry, that is to say programs that coordinate robots and machines. The last years there has been increased competition and shorter life-cycles of many mass-produced products. READ MORE