Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Marked Items 
Alerts
Order History
Saved Items
All
Favorites
    
Book Chapter Printable view
Formal Methods in Context: Security and Java Card

Formal Methods in Context: Security and Java Card

Book SeriesLecture Notes in Computer Science
PublisherSpringer Berlin / Heidelberg
ISSN0302-9743 (Print) 1611-3349 (Online)
VolumeVolume 2041/2001
BookJava on Smart Cards:Programming and Security
DOI10.1007/3-540-45165-X
Copyright2001
ISBN978-3-540-42167-2
DOI10.1007/3-540-45165-X_1
Pages1-5
Subject CollectionComputer Science
SpringerLink DateMonday, January 01, 2001
Add to marked items

Formal Methods in Context: Security and Java Card

D. Bolignano6, D. Le Métayer6 and C. Loiseaux6 Contact Information

(6)  Trusted Logic, USA
Abstract
The benefits of formal methods for software engineering have been described at length in many research papers. They include among others:
•  Better understanding and improved communication through unambiguous descriptions.
•  Early bug detection thanks to the formalisation of specifications.
•  Possibility of formal verifications of properties of software components and systems.
•  Systematic testing from formal specifications.

Contact Information C. Loiseaux
Email: www.trusted@logic.fr
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.
more options
Find


Export this chapter
Export this chapter as RIS | Text
 
Frequently asked questions | General information on journals and books | Send us your feedback | Impressum | Contact
© Springer. Part of Springer Science+Business Media
Privacy, Disclaimer, Terms and Conditions, © Copyright Information
Remote Address: 38.107.191.107 • Server: mpweb05
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)