SwePub
Sök i LIBRIS databas

  Utökad sökning

onr:"swepub:oai:research.chalmers.se:3d09d4e7-c03e-44e8-915b-4e547cede7f5"
 

Sökning: onr:"swepub:oai:research.chalmers.se:3d09d4e7-c03e-44e8-915b-4e547cede7f5" > Rigorous Developmen...

Rigorous Development of Java Card Applications

Mostowski, Wojciech, 1976 (författare)
Chalmers tekniska högskola,Chalmers University of Technology
 (creator_code:org_t)
2002
2002
Engelska.
  • Konferensbidrag (övrigt vetenskapligt/konstnärligt)
Abstract Ämnesord
Stäng  
  • 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 reallife 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.

Ämnesord

NATURVETENSKAP  -- Data- och informationsvetenskap (hsv//swe)
NATURAL SCIENCES  -- Computer and Information Sciences (hsv//eng)

Nyckelord

formal specification
Java
UML
Java Card
object-oriented design
OCL

Publikations- och innehållstyp

kon (ämneskategori)
vet (ämneskategori)

Till lärosätets databas

Hitta mer i SwePub

Av författaren/redakt...
Mostowski, Wojci ...
Om ämnet
NATURVETENSKAP
NATURVETENSKAP
och Data och informa ...
Av lärosätet
Chalmers tekniska högskola

Sök utanför SwePub

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy