case tool autofocus | Sciweavers

I3E
2001

196views Business» more I3E 2001»

Security Modelling for Electronic Commerce: The Common Electronic Purse Specifications

14 years 25 days ago

: Designing security-critical systems correctly is very difficult. We present work on software engineering of security critical systems, supported by the CASE tool AUTOFOCUS. Secur...

Jan Jürjens, Guido Wimmel

claim paper

Read More »

click to vote

APSEC
1999
IEEE

71views Software Engineering» more APSEC 1999»

The Quest for Correct Systems: Model Checking of Diagrams and Datatypes

14 years 3 months ago

Download www4.informatik.tu-muenchen.de

For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...

Jan Philipps, Oscar Slotosch

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers