CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

Rigorous Development of Java Card Applications

Wojciech Mostowski (Institutionen för datavetenskap)
Workshop on Rigorous Object Oriented Methods (ROOM) 2002, London, U.K. (2002)
[Konferensbidrag, övrigt]

We present an approach to rigorous, tool supported design and development of Java Card applications. We employ the Unified Modelling Language (UML) and formal methods for object oriented software development in our approach. Our goal is to make Java Card applications robust "by design", to make the development process independent of the Java Card platform used and to enable applications to be verified by the KeY system. First we analyse the current situation of Java Card application development, then we present a real life Java Card case study and describe the problems we found that should be addressed by rigorous development. Finally we propose some solutions to selected problems by using UML specifications, software design patterns, formal specifications and a modern CASE tool support.

Nyckelord: Java, Java Card, object-oriented design, formal specification, UML, OCL

Denna post skapades 2006-08-25. Senast ändrad 2013-08-12.
CPL Pubid: 1842


Institutioner (Chalmers)

Institutionen för datavetenskap (2002-2004)


Information Technology

Chalmers infrastruktur

Relaterade publikationer

Denna publikation ingår i:

Towards Development of Safe and Secure Java Card Applets