A Formally Grounded Software Specification Method - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Journal of Logic and Algebraic Programming Année : 2006

A Formally Grounded Software Specification Method

Christine Choppy
  • Fonction : Auteur
  • PersonId : 840583
Laboratoire d'Informatique de Paris-Nord
Gianna Reggio
  • Fonction : Auteur
  • PersonId : 840584
Laboratoire d'Informatique de Paris-Nord

Domaines

Autre [cs.OH] Génie logiciel [cs.SE]

Christine Choppy  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00153735

Soumis le : lundi 11 juin 2007-16:36:33

Dernière modification le : vendredi 24 mars 2023-14:52:49

Fichier non déposé

Dates et versions

hal-00153735 , version 1 (11-06-2007)

Identifiants

  • HAL Id : hal-00153735 , version 1

Citer

Christine Choppy, Gianna Reggio. A Formally Grounded Software Specification Method. Journal of Logic and Algebraic Programming, 2006, 67 (1-2), pp.52-86. ⟨hal-00153735⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS13 CNRS LIPN GALILE SORBONNE-PARIS-NORD
88 Consultations
0 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More