Sökning: "software requirements and specification"

Visar resultat 6 - 10 av 40 avhandlingar innehållade orden software requirements and specification.

  1. 6. 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

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

    Författare :Predrag Filipovikj; Cristina Seceleanu; Guillermo Rodriguez-Navas; Stefania Gnesi; Mälardalens högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; pattern-based formal requirements specification; formal requirements consistency analysis; formal analysis of Simulink models; Computer Science; datavetenskap;

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

  4. 8. A usability perspective on requirements engineering : from methodology to product development

    Författare :Pär Carlshamre; Kristian Sandahl; Jonas Löwgren; Sture Hägglund; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Industrial software development; system development; usability; usability-oriented method; requirements; usability-oriented approach; product development; Computer science; Datavetenskap;

    Sammanfattning : Usability is one of the most important aspects of software. A multitude of methods and techniques intended to support the development of usable systems has been provided, but the impact on industrial software development has been limited. LÄS MER

  5. 9. On Formal Specification and Verification of Function Block Applications in Industrial Control Logic Development

    Författare :Oscar Ljungkrantz; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; safety logic; function block; IEC 61131; software requirements and specification; formal verification; reusable automation component RAC ; temporal logic; manufacturing automation software; programmable logic controller PLC ; model checking;

    Sammanfattning : Developing a control system for an automated manufacturing system is a challenging task. In addition to controlling and coordinating the machines and robots used in the production, the safety of the operators must be assured. LÄS MER

  7. 10. Towards application of service oriented architecture in wireless sensor networks

    Författare :Rumen Kyusakov; Zach Shelby; Luleå tekniska universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Industriell elektronik; Industrial Electronics;

    Sammanfattning : Wireless sensor networks (WSN) are a foreseeable source of innovation in many fields and the number of WSN deployments is expected to grow rapidly in the near future. One of the key challenges in designing, implementing, deploying and maintaining complex systems that use WSNs is provisioning and integration of sensor data with existing communication infrastructures. LÄS MER