Výsledky vyhledávání - "ESC/Java"

Formal methods for smart cards: an experience report

Autoři: Breunesse, C.-B. Catano, N. Huisman, M. a další

Zdroj: Science of Computer Programming, 55, 1-3, pp. 53-80

Témata: Java Card, ESC/Java, Formal verification, JML, Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.), Theory of programming languages, Annotations, Smart cards, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Formal specification languages, Security of Systems, Software

Popis souboru: application/xml

Přístupová URL adresa: https://repository.ubn.ru.nl//bitstream/handle/2066/130374/130374.pdf
https://hdl.handle.net/2066/130374

ESC/Java2 Implementation Notes

Autoři: David R. Cok Joseph R. Kiniry Dermot Cochran a další

Přispěvatelé: David R. Cok Joseph R. Kiniry Dermot Cochran a další

Zdroj: http://secure.ucd.ie/products/opensource/ESCJava2/ESCTools/docs/Escjava2-ImplementationNotes.pdf.

Témata: 2003 CR Categories, D.2.1 [Software Engineering] Requirements/Specifications — languages, tools, theory, JML, ESC/Java, ESC/Java2, D.2.4 [Software Engineering] Software/Program Verification — assertion checkers, class invariants, formal methods, programming by contract, F.3.1 [Logics and Meanings of Programs] Specifying and Verifying

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.161.9760

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.161.9760
http://secure.ucd.ie/products/opensource/ESCJava2/ESCTools/docs/Escjava2-ImplementationNotes.pdf

Formal Methods for Smart Cards: An Experience Report

Autoři: C.-B. Breunesse N. Cataño M. Huisman a další

Přispěvatelé: C.-B. Breunesse N. Cataño M. Huisman a další

Zdroj: ftp://ftp-sop.inria.fr/everest/Marieke.Huisman/fm_smart.pdf

Témata: Key words, Formal specification languages, smart cards, Java Card, formal verification, JML, ESC/Java, annotations

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.11.2494

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.11.2494

Formal methods for smart cards: an experience report

Autoři: C. -b. Breunesse M. Huisman B. Jacobs a další

Přispěvatelé: C. -b. Breunesse M. Huisman B. Jacobs a další

Zdroj: http://www.cs.york.ac.uk/ftpdir/pub/catano/publications/fm_smart.pdf.

Témata: Key words, Formal specification languages, smart cards, Java Card, formal verification, JML, ESC/Java, annotations

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.513.1158; http://www.cs.york.ac.uk/ftpdir/pub/catano/publications/fm_smart.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.513.1158
http://www.cs.york.ac.uk/ftpdir/pub/catano/publications/fm_smart.pdf