Always and Eventually in Object Requirements - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 1998

Always and Eventually in Object Requirements

Abstract

La spécification de services en utilisant un modèle formel basé sur les objets. On fait un traduction vers TLA pour preuver les propriétés logiques.
No file

Dates and versions

inria-00098617 , version 1 (25-09-2006)

Identifiers

  • HAL Id : inria-00098617 , version 1

Cite

Jean-Paul Gibson, Dominique Méry. Always and Eventually in Object Requirements. Rigorous Object Oriented Methods, 1998, none, 20 p. ⟨inria-00098617⟩
42 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More