Search for dissertations about: "formal specification"

Showing result 11 - 15 of 100 swedish dissertations containing the words formal specification.

  2. 11. Formal Approaches to Service-oriented Design : From Behavioral Modeling to Service Analysis

    Author : Aida Čaušević; Paul Pettersson; Jonathan P. Bowen; Mälardalens högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; service-oriented software engineering; formal modeling; service-oriented systems; resources; analysis; behavior; correctness check; Computer science; Datavetenskap; Computer Science; datavetenskap;

    Abstract : Service-oriented systems (SOS) have recently emerged as context-independent component-based systems. In contrast to components, services can be created, invoked, composed and destroyed at run-time. Services are assumed to be platform independent and available for use within heterogeneous applications. READ MORE

  4. 12. Interpretive Functions of Adjectives in English : A Cognitive Approach

    Author : Helena Frännhag; Carita Paradis; Kristin Davidse; Engelska; []
    Keywords : HUMANIORA; HUMANITIES; HUMANIORA; HUMANITIES; adjective; meaning; meaning creation; interpretation; formal interpretive function; semantic interpretive function; kind identification; element identification; identity provision; stipulation; specification; Languages and linguistics; Språkvetenskap; Lingvistik; Linguistics; Engelsk språkvetenskap; English; specification; stipulation; adjective; noun; meaning creation; cognitive semantics; interpretation; formal interpretive function; semantic interpretive function; kind identification; identity provision; element identification;

    Abstract : This thesis presents a theoretical discussion of meaning creation in general, and interpretive functions of English adjectives in particular. The discussion rests on a dynamic view of meaning and interpretation, according to which there are no fixed linguistics meanings – not even for single lexemes. READ MORE

  5. 13. A Formal Approach for Designing Distributed Self-Adaptive Systems

    Author : Didac Gil de la Iglesia; Danny Weyns; Marcelo Milrad; Jesper Andersson; Luciano Baresi; Linnéuniversitetet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Self-Adaptive systems; Formal Methods; MAPE-K; Robustness; Openness; Mobile Learning; Computer Science; Datavetenskap; Media Technology; Medieteknik;

    Abstract : Engineering contemporary distributed software applications is a challenging task due to the dynamic operating conditions in which these systems have to function. Examples are dynamic availability of resources, errors that are difficult to predict, and changing user requirements. READ MORE

  6. 14. Formal Verification of Tree Ensembles in Safety-Critical Applications

    Author : John Törnblom; Simin Nadjm-Tehrani; Ingemar Söderquist; Joao Marques-Silva; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Formal verification; Machine learning; Tree ensembles;

    Abstract : In the presence of data and computational resources, machine learning can be used to synthesize software automatically. For example, machines are now capable of learning complicated pattern recognition tasks and sophisticated decision policies, two key capabilities in autonomous cyber-physical systems. READ MORE

  7. 15. Automated Approaches for Formal Verification of Embedded Systems Artifacts

    Author : Predrag Filipovikj; Cristina Seceleanu; Jim Woodcock; Mälardalens högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; embedded systems; Simulink; systems specifications; model-checking; formal verification; Computer Science; datavetenskap;

    Abstract : Modern embedded software is so large and complex that creating the necessary artifacts, including system requirements specifications and design-time models, as well as assuring their correctness have become difficult to manage. One challenge stems from the high number and intricacy of system requirements that combine functional and possibly timing or other types of constraints, which make them hard to analyze. READ MORE