Always and Eventually in Object Requirements

Jean-Paul Gibson 1 Dominique Méry 1
1 MODEL - MODEL (Méthodes formelles et applications)
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Résumé : 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.
Document type :
Conference papers
Complete list of metadatas

https://hal.inria.fr/inria-00098617
Contributor : Publications Loria <>
Submitted on : Monday, September 25, 2006 - 5:04:01 PM
Last modification on : Thursday, September 19, 2019 - 5:00:04 PM

Identifiers

  • HAL Id : inria-00098617, version 1

Collections

Citation

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

Share

Metrics

Record views

83