Search for dissertations about: "requirements specification"

Showing result 11 - 15 of 106 swedish dissertations containing the words requirements specification.

  2. 11. 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. 12. On the specification and verification of VLSI systems

    Author : Tony Larsson; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : System designers now have the opportunity to place on the order of 105-106 transistors on a single chip allowing larger and more complicated systems to be produced at reduced production costs. This opportunity increases the demand for appropriate design automation including tools for synthesis, analysis, and verification. READ MORE

  5. 13. Contributions to Specification, Implementation, and Execution of Secure Software

    Author : John Wilander; Mariam Kamkar; Benjamin Livshits; Linköpings universitet; []
    Keywords : ;

    Abstract : This thesis contributes to three research areas in software security, namely security requirements and intrusion prevention via static analysis and runtime detection.We have investigated current practice in security requirements by doing a field study of eleven requirement specifications on IT systems. READ MORE

  6. 14. Processes and Models for Capacity Requirements in Telecommunication Systems

    Author : Andreas Borg; Kristian Sandahl; Martin Glinz; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap;

    Abstract : Capacity is an essential quality factor in telecommunication systems. The ability to develop systems with the lowest cost per subscriber and transaction, that also meet the highest availability requirements and at the same time allow for scalability, is a true challenge for a telecommunication systems provider. READ MORE

  7. 15. 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