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

AI-powered service management for IT and enterprise teams

Enterprise-grade ITSM, for every business

Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.

Try it Free

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