Outils personnels
FUNDP > Faculté d'informatique > Pôle sémantique, logique et calcul
 

Publications - Archives (12)

Types

Articles de périodique

1991
An experiment in formal software development : Using the B theorem prover on a VDM case study, in Communications of the ACM, volume 34, issue 5
Christine LAFONTAINE, Yves LEDRU, Pierre-Yves SCHOBBENS
1991
On the Meaning of ``but'', in Science of Computer Programming, volume 20, issue 1-2, pp. 73-111
Pierre-Yves SCHOBBENS
1990
Applying VDM to large developments, in ACM Sigsoft Software Engineering Notes (SEN), volume 15, issue 4, pp. 55-58
Yves LEDRU, Pierre-Yves SCHOBBENS
1988
LPG: a Generic, Logic and Functional Programming Language
Didier BERT, Olivier DECLERFAYT, Brigitte DEMEUSE, Pascal DRABIK, Rachid ECHAHED, Pierre-Yves SCHOBBENS, François WAUTIER

Actes de colloques

1991
Clean algebraic exceptions with implicit propagation, in Proceedings of the Second International Conference on Algebraic Methodology and Software Technology (AMAST)
Pierre-Yves SCHOBBENS
1990
Formalising methods: an experiment with VDM, in Proceedings of the 5th Australian Software Engineering Conference (ASWEC'90), pp. 45-50
Yves LEDRU, Pierre-Yves SCHOBBENS
1990
Two approaches towards the formalisation of VDM, in VDM'90: VDM and Z!, collection Lecture Notes in Computer Science, volume 428, pp. 370-398
Christine LAFONTAINE, Yves LEDRU, Pierre-Yves SCHOBBENS
1990
An experiment in formal software development, in Proceedings of the 12th International Conference on Software Engineering (ICSE), pp. 34-42
Christine LAFONTAINE, Yves LEDRU, Pierre-Yves SCHOBBENS
1988
Precise Standards through Formal Specifications: a Case Study: the Unix File System, in Proc. Autumn '88 EUUG Conference
Olivier DECLERFAYT, Brigitte DEMEUSE, Elie MILGROM, Pierre-Yves SCHOBBENS, Francois WAUTIER
1988
Une Notation pour la Spécification Algébrique de Systèmes Concurrents, in 4e Colloque de Génie Logiciel (CGL4), pp. 141-152
Manfred BROY, Pierre-Yves SCHOBBENS

Livres

1991
Conclog: a Methodological Approach to Concurrent Logic Programming
Jean-Marie JACQUET
1986
Selecting an ADA Environment
ADA-EUROPE ENV. WORKING GROUP, Pierre-Yves SCHOBBENS