ISOLA 2007 | Sciweavers

45

ISOLA
2007
Springer

105views Formal Methods» more ISOLA 2007»

Using Analogy to Promote Conceptual Modeling Reuse

14 years 5 months ago

Abstract. This paper argues in favor of a database conceptual schema and Semantic Web ontology design discipline that explores analogy mappings to reuse the structure and integrity...

Karin Koogan Breitman, Simone Diniz Junqueira Barb...

claim paper

Read More »

48

click to vote

ISOLA
2007
Springer

159views Formal Methods» more ISOLA 2007»

Proved Development of the Real-Time Properties of the IEEE 1394 Root Contention Protocol with the Event B Method

14 years 5 months ago

Download hal.inria.fr

We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...

Joris Rehm, Dominique Cansell

claim paper

Read More »

31

click to vote

ISOLA
2007
Springer

120views Formal Methods» more ISOLA 2007»

Seven at one stroke: LTL model checking for High-level Specifications in B, Z, CSP, and more

14 years 5 months ago

Download www.stups.uni-duesseldorf.de

Michael Leuschel, Daniel Plagge

claim paper

Read More »

33

click to vote

ISOLA
2007
Springer

83views Formal Methods» more ISOLA 2007»

Development of Transportation Systems

14 years 5 months ago

Download www.techprepohio.org

Dines Bjørner

claim paper

Read More »

38

click to vote

ISOLA
2007
Springer

83views Formal Methods» more ISOLA 2007»

Using Invariant Detection Mechanism in Black Box Inference

14 years 5 months ago

Download membres-liglab.imag.fr

The testing and formal veriﬁcation of black box software components is a challenging domain. The problem is even harder when speciﬁcations of these components are not available...

Muzammil Shahbaz, Roland Groz

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers