10 search results - page 1 / 2 » The ASM Method for System Design and Analysis. A Tutorial In... |
FROCOS
2005
Springer
13 years 11 months ago
2005
Springer
JUCS
2002
13 years 5 months ago
2002
: The research belonging to the Abstract State Machines approach to system design and analysis is surveyed and documented in an annotated ASM bibliography. The survey covers the pe...
Publication
Multi-stage programming (MSP) is a paradigm for developing generic software that does not pay a runtime penalty for this generality. This is achieved through concise, carefully-des...
ASM
2010
ASM
14 years 2 months ago
2010
ASM
The Java programming language has been widely described as secure by design. Nevertheless, a number of serious security vulnerabilities have been discovered in Java, particularly i...
AC
2003
Springer
13 years 9 months ago
2003
Springer
Abstract. Over the last decade there has been a shift from "data-aware" information systems to "process-aware" information systems. To support business processe...