30 search results - page 2 / 6 » asm 2010 |
114
Voted
ASM
2010
ASM
15 years 2 months ago
2010
ASM
101
Voted
ASM
2010
ASM
16 years 1 months ago
2010
ASM
225
Voted
ASM
2010
ASM
16 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...
129
Voted
ASM
2010
ASM
16 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...
127
click to vote
ASM
2010
ASM
15 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 ...