HealthCard: JavaCard + JML specs download

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.

Features

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 >

License

Sun Public License

Follow HealthCard: JavaCard + JML specs

HealthCard: JavaCard + JML specs Web Site

Other Useful Business Software

Our Free Plans just got better! | Auth0

With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.

Try free now

Rate This Project

User Reviews

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

Additional Project Details

Intended Audience

Science/Research

Programming Language

Java

Related Categories

Java Software Development Software

Registered

2009-11-21

Similar Business Software

CaptainCasa Enterprise Client

Rapid development and cost-effective maintenance of web applications with server-side Java. The developer uses only this most widely used development language; no html, css or javascript knowledge is required for frontend programming. Unique clear separation of UI design and logical...

See Software
Apache NetBeans

Apache NetBeans is a versatile, open-source Integrated Development Environment (IDE) used for developing applications across a wide range of programming languages, including Java, JavaScript, PHP, HTML5, and C/C++. Known for its modular architecture, NetBeans provides robust tools and features...

See Software
Omnis Studio

Omnis Studio is a cross platform application development environment. Omnis Studio allows application developers and programmers to write application code and business logic once, and deploy their applications on virtually any platform or device, including desktop PCs on Windows and macOS, as...

See Software