Search Sciweavers | Sciweavers

714 search results - page 3 / 143

» The Formal Specification Language mCRL2

click to vote

JAVACARD
2000

139views Programming Languages» more JAVACARD 2000»

Formal Specification and Verification of JavaCard's Application Identifier Class

13 years 10 months ago

Download www.cs.ru.nl

Abstract This note discusses a verification in PVS of the AID (Application Identifier) class from JavaCard's API. The properties that are verified are formulated in the interf...

Joachim van den Berg, Bart Jacobs, Erik Poll

claim paper

Read More »

click to vote

EDOC
2005
IEEE

77views Distributed And Parallel Com...» more EDOC 2005»

Dealing with contract violations: formalism and domain specific language

13 years 12 months ago

Download espace.uq.edu.au

Guido Governatori, Zoran Milosevic

claim paper

Read More »

click to vote

HICSS
2003
IEEE

107views Biometrics» more HICSS 2003»

Embedding Domain Specific Languages in the Attribute Grammar Formalism

13 years 11 months ago

Download www.hicss.hawaii.edu

João Saraiva, Sérgio Schneider

claim paper

Read More »

click to vote

EMSOFT
2006
Springer

260views Software Engineering» more EMSOFT 2006»

Towards a formal foundation for domain specific modeling languages

13 years 10 months ago

Download research.microsoft.com

Ethan K. Jackson, Janos Sztipanovits

claim paper

Read More »

click to vote

SAC
2002
ACM

111views Applied Computing» more SAC 2002»

Automated conversion from requirements documentation to an object-oriented formal specification language

13 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers