Search for dissertations about: "Wojciech Mostowski"

Found 3 swedish dissertations containing the words Wojciech Mostowski.

  1. 1. Formal Development of Safe and Secure Java Card Applets

    Author : Wojciech Mostowski; Chalmers University of Technology; []
    Keywords : object-oriented design; Java Card; formal verification; formal specification; dynamic logic;

    Abstract : This thesis is concerned with formal development of Java Card applets. Java Card is a technology that provides a means to program smart cards with (a subset of) the Java language. In recent years Java Card technology gained great interest in the formal verification community. There are two reasons for this. READ MORE

  2. 2. Towards Development of Safe and Secure Java Card Applets

    Author : Wojciech Mostowski; Chalmers University of Technology; []
    Keywords : formal methods; Java; formal specification; object-oriented development; formal verification; Dynamic Logic; UML; OCL; Java Card;

    Abstract : This thesis is concerned with different aspects of Java Card application development and use of formal methods in the Java Card world. Java Card is a technology that provides means to program smart (chip) cards with (a subset of) the Java language. READ MORE

  3. 3. Modeling and Model-Based Testing of Software Product Lines

    Author : Mahsa Varshosaz; Mohammad Reza Mousavi; Gerardo Schneider; Wojciech Mostowski; Jiri Srba; Högskolan i Halmstad; []
    Keywords : ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Abstract : Software product line (SPL) engineering has become common practice for mass production and customization of variability intensive systems. A software product line comprises a family of software systems which share a managed core set of artifacts and also have a set of well-defined variabilities. READ MORE