Sökning: "software specification"

Visar resultat 1 - 5 av 117 avhandlingar innehållade orden software specification.

1. 1. Service Robotics Software Engineering

   Författare :Sergio Garcia; Göteborgs universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Autonomous and Self- Adaptive Systems; Service Robots; Robotics Software Engineering; Software Architecture; Empirical Research; Model-Driven Engineering; Domain-Specific Languages; Variability;

   Sammanfattning : Context. Robots are increasingly becoming involved in our lives and currently, teams of service robots cooperate to support humans by performing useful, repetitive, or dangerous tasks. LÄS MER

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

   Författare :Sebastian Herold; Clausthal University of Technology; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; software architecture; software system; design decisions; Datavetenskap; Computer Science;

   Sammanfattning : 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. LÄS MER

4. 3. Towards Automated Software Testing : Techniques, Classifications and Frameworks

   Författare :Richard Torkar; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; automated software testing; black box; white box; comparisons; classifications;

   Sammanfattning : Software is today used in more and different ways than ever before. From refrigerators and cars to space shuttles and smart cards. As such, most software, usually need to adhere to a specification, i.e. LÄS MER

5. 4. On Industrial Automation Software Components

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

   Sammanfattning : 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. LÄS MER

7. 5. Biomimetic Software Engineering Techniques for Dependability

   Författare :Robert Feldt; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; automated testing; genetic programming; dependability; software engineering; biomimetic algorithms; design exploration; software development workbench; software visualization; software testing; evolutionary computation;

   Sammanfattning : The powerful information processing capabilities of computers have made them an indispensable part of our modern societies. As we become more reliant on computers and want them to handle more critical and difficult tasks it becomes important that we can depend on the software that controls them. LÄS MER