30 search results - page 2 / 6 » asm 2010 |
ASM
2010
ASM
13 years 2 months ago
2010
ASM
ASM
2010
ASM
14 years 1 months ago
2010
ASM
ASM
2010
ASM
14 years 1 months ago
2010
ASM
A natural encoding of synchronous message exchange with direct wait-control is proved to be equivalent in a distributed environment to a refinement which uses semaphores to implem...
ASM
2010
ASM
14 years 1 months ago
2010
ASM
Abstract. The aim of this paper is to gradually introduce formalism in the requirement engineering phase in order to facilitate its validation. We analyze and elicit our requiremen...
ASM
2010
ASM
13 years 11 months ago
2010
ASM
We extend the Alloy language with the standard imperative constructs; we show the mix of declarative and imperative constructs to be useful in modeling dynamic systems. We present ...