742 search results - page 68 / 149 » Formal Grammar for Java |
ISCC
2007
IEEE
2007
IEEE
An Experiment in Interoperable Cryptographic Protocol Implementation Using Automatic Code Generation
14 years 2 months ago
Spi2Java is a tool that enables semi-automatic generation of cryptographic protocol implementations, starting from verified formal models. This paper shows how the last version o...
APN
2004
Springer
14 years 1 months ago
2004
Springer
Renew is a computer tool that supports the development and execution of object-oriented Petri nets, which include net instances, synchronous channels, and seamless Java integration...
FIDJI
2003
Springer
14 years 1 months ago
2003
Springer
The popular slogan ”write once, run anywhere” effectively renders the expressive capabilities of the Java programming framework for developing, deploying, and reusing target-i...
ACSC
2000
IEEE
13 years 11 months ago
2000
IEEE
A methodology is proposed for the formal development of software systems from a user's requirements specification in natural language into a complete implementation, proceedi...
FMCO
2006
Springer
13 years 11 months ago
2006
Springer
Links is a programming language for web applications that generates code for all three tiers of a web application from a single source, compiling into JavaScript to run on the clie...