Search Sciweavers | Sciweavers

714 search results - page 3 / 143

» The Formal Specification Language mCRL2

145

click to vote

JAVACARD
2000

139views Programming Languages» more JAVACARD 2000»

Formal Specification and Verification of JavaCard's Application Identifier Class

15 years 9 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 »

132

click to vote

EDOC
2005
IEEE

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

Dealing with contract violations: formalism and domain specific language

15 years 11 months ago

Download espace.uq.edu.au

Guido Governatori, Zoran Milosevic

claim paper

Read More »

128

Voted

HICSS
2003
IEEE

107views Biometrics» more HICSS 2003»

Embedding Domain Specific Languages in the Attribute Grammar Formalism

15 years 11 months ago

Download www.hicss.hawaii.edu

João Saraiva, Sérgio Schneider

claim paper

Read More »

200

click to vote

EMSOFT
2006
Springer

260views Software Engineering» more EMSOFT 2006»

Towards a formal foundation for domain specific modeling languages

15 years 9 months ago

Download research.microsoft.com

Ethan K. Jackson, Janos Sztipanovits

claim paper

Read More »

116

click to vote

SAC
2002
ACM

111views Applied Computing» more SAC 2002»

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

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers