448 search results - page 26 / 90 » A Meta-Method for Formal Method Integration |
139
Voted
ISOLA
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Interoperability is a key and challenging requirement in today’s and future systems, which are often characterized by an extreme level of heterogeneity. To build an int...
133
Voted
IFM
2010
Springer
15 years 16 days ago
2010
Springer
Abstract. Event-B provides us with a powerful framework for correctby-construction system development. However, while developing dependable systems we should not only guarantee the...
121
Voted
FORTE
2009
15 years 12 days ago
2009
Abstract. In this paper, we present an approach to define the semantics for object-oriented modeling languages. One important property of this semantics is to support underspecifie...
112
Voted
FORMATS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. In this paper we report a new SAT solver for difference logic, a propositional logic enriched with timing constraints. The main novelty of our solver is a tighter integra...
113
Voted
EJC
2008
15 years 4 months ago
2008
This paper presents a novel model of co-reference knowledge, which is based on the distinction of (i) a model of a common reality, (ii) a model of an agent's opinion about rea...