45 search results - page 8 / 9 » asm 2008 |
ICDE
2008
IEEE
15 years 3 months ago
2008
IEEE
— As each of us perceives and conceptualizes the same world differently, imposing a single global schema for all users can seriously interfere with individual work and lead to er...
HASKELL
2008
ACM
14 years 10 months ago
2008
ACM
Monads as an organizing principle for programming and semantics are notoriously difficult to grasp, yet they are a central and powerraction in Haskell. This paper introduces a do...
FAC
2008
14 years 9 months ago
2008
The Mondex case study about the specification and refinement of an electronic purse as defined in the Oxford Technical Monograph PRG-126 has recently been proposed as a challenge f...
FORTE
2008
14 years 10 months ago
2008
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
ENTCS
2008
14 years 9 months ago
2008
Inspired by the properties of the refinement development of the Mondex Electronic Purse, we view an atomic action as a family of transitions with a common before-state, and differ...