Sökning: "Wojciech Mostowski"

Hittade 3 avhandlingar innehållade orden Wojciech Mostowski.

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

   Författare :Wojciech Mostowski; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; object-oriented design; Java Card; formal verification; formal specification; dynamic logic;

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

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

   Författare :Wojciech Mostowski; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; formal methods; Java; formal specification; object-oriented development; formal verification; Dynamic Logic; UML; OCL; Java Card;

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

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

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

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