Sökning: "Wojciech Mostowski"
Hittade 3 avhandlingar innehållade orden Wojciech Mostowski.
1. Formal Development of Safe and Secure Java Card Applets
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
2. Towards Development of Safe and Secure Java Card Applets
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
3. Modeling and Model-Based Testing of Software Product Lines
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