Sökning: "rational requirements"

Visar resultat 11 - 15 av 43 avhandlingar innehållade orden rational requirements.

  1. 11. New Directions in Symbolic Model Checking

    Författare :Julien d'Orso; Parosh Abulla; Yassine Lakhnech; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Informatics; computer and systems science; Informatik; data- och systemvetenskap; Informatics; computer and systems science; Informatik; data- och systemvetenskap;

    Sammanfattning : In today's computer engineering, requirements for generally high reliability have pushed the notion of testing to its limits. Many disciplines are moving, or have already moved, to more formal methods to ensure correctness. This is done by comparing the behavior of the system as it is implemented against a set of requirements. LÄS MER

  3. 12. Development of Manufacturing Systems - A Methodology Based on Systems Engineering and Design Theory

    Författare :Peter Almström; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; manufacturing systems development; enterprise integration; design theory; systems engineering; axiomatic design;

    Sammanfattning : Increased global competition impose strain on all activities in manufacturing companies. For manufacturing systems development there is a need for systematic methods to provide shorter development time and higher quality of the resulting system. LÄS MER

  4. 13. Automated layup and forming of prepreg laminates

    Författare :Andreas Björnsson; Kerstin Johansen; Mats Björkman; Marie Jonsson; Lars Pejryd; Linköpings universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Sammanfattning : Composite materials like carbon fiber-reinforced polymers (CFRPs) present highly appealing material properties, as they can combine high strength with low weight. In aerospace applications, these properties help to realize lightweight designs that can reduce fuel consumption. LÄS MER

  5. 14. An approach to software product line use case modeling

    Författare :Magnus Eriksson; Umeå universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Software engineering; Programvaruteknik;

    Sammanfattning : Organizations developing software intensive defense systems are today faced with a number challenges related to characteristics of both the market place and the system domain:1. Systems grow ever more complex, consisting of tightly integrated mechanical, electrical/electronic and software components.2. LÄS MER

  7. 15. Computational Modeling of the AT2 Receptor and AT2 Receptor Ligands : Investigating Ligand Binding, Structure–Activity Relationships, and Receptor-Bound Models

    Författare :Christian Sköld; Anders Karlén; Anders Hallberg; Torbjörn Lundstedt; Tommy Liljefors; Uppsala universitet; []
    Nyckelord :Pharmaceutical chemistry; Angiotensin II; AT1; AT2; SAR; bioactive conformation; turn mimetic; peptidomimetic; DISCO; homology model; 3D-QSAR; CoMFA; Farmaceutisk kemi;

    Sammanfattning : Rational conversion of biologically active peptides to nonpeptide compounds with retained activity is an appealing approach in drug development. One important objective of the work presented in this thesis was to use computational modeling to aid in such a conversion of the peptide angiotensin II (Ang II, Asp-Arg-Val-Tyr-Ile-His-Pro-Phe). LÄS MER