Always and Eventually in Object Requirements - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 1998

Always and Eventually in Object Requirements

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.
Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : inria-00098617 , version 1

Citer

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

Partager

Gmail Facebook X LinkedIn More