Prototype of a Java Card application for smart cards and its client application. It was developed with the support of JML (Java Modeling Language) used to formally specify the requirements for developing the HealthCard application in Java Card.


  • JML speciffications of a Medical application for smart cards (Patient info, allergies, appointments, diagnostics, medication, vaccines)
  • Running version containing a card side in Java Card and a client side in Java
  • Testable version for verifying and validating JML specifications againts the Java Card code
  • Includes a Installation and Usage Manual for running the prototype and testing the JML specifications

Project Samples

Project Activity

See All Activity >

Follow HealthCard: JavaCard + JML specs

HealthCard: JavaCard + JML specs Web Site

Other Useful Business Software

The Sight of Sound The Sight of Sound Icon
The Sight of Sound Icon

­ Improve VoIP Visibility from SIP to RTP

Cloudbased voice solutions are common in enterprise networks and frustrating for operations teams to manage. Simplify VoIP monitoring by having a proactive analysis of on-prem, hybrid and UCaaS voice services. Try the ThousandEyes VoIP monitoring solution today, free.

Rate This Project

Login To Rate This Project

User Reviews

Be the first to post a review of HealthCard: JavaCard + JML specs!

Additional Project Details

Intended Audience


Programming Language