Une expérimentation de développement formel à objets

Pascal André (1) , Franck Barbier (2) , Jean-Claude Royer (1)

1 LINA - Laboratoire d'Informatique de Nantes Atlantique
2 LIUPPA - Laboratoire Informatique de l'Université de Pau et des Pays de l'Adour

no abstract

Domains: Software Engineering [cs.SE]

Pascal André, Franck Barbier, Jean-Claude Royer. Une expérimentation de développement formel à objets. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 1995, 14 (8), pp.973-1005. ⟨hal-00444074⟩