Spécifications algébriques observationnelles modulaires: Une sémantique fondée sur une relation de satisfaction observationnelle = Modular Observational Algebraic Specifications: A Semantics Based on an Observational Satisfaction RelationKnapik, Teodor; Bidoit, Michel; Bernot, Gilles et al.1993, 150 p.Thesis

The existence of refinement mappingsABADI, M; LAMPORT, L.Theoretical computer science. 1991, Vol 82, Num 2, pp 253-284, issn 0304-3975, 32 p.Article

Inverted decision tables and their application: automating the translation of specifications to programsLEVY, L. S; STUMP, H. T.AT&T Bell Laboratories technical journal. 1985, Vol 64, Num 2, pp 533-558, 2Article

Algebraic relations and presentationsKAMIMURA, T; TANG, A.Theoretical computer science. 1983, Vol 27, Num 1-2, pp 39-60, issn 0304-3975Article

Logic programming and rapid prototypingKOMOROWSKI, H. J; MALUSZYNSKI, J; GAUDEL, M. C et al.Science of computer programming. 1987, Vol 9, Num 2, pp 179-205, issn 0167-6423Article

Some fundamental algebraic tools for the semantics of computation. I: Comma categories, colimits, signatures and theoriesGOGUEN, J. A; BURSTALL, R. M.Theoretical computer science. 1984, Vol 31, Num 1-2, pp 175-209, issn 0304-3975Article

Termination is not modular for confluent variable-preserving term rewriting systemsOHLEBUSCH, E.Information processing letters. 1995, Vol 53, Num 4, pp 223-228, issn 0020-0190Article

Control predicates are better than dummy variables for reasoning about program controlLAMPORT, L.ACM transactions on programming languages and systems. 1988, Vol 10, Num 2, pp 267-281, issn 0164-0925Article

Program synthesis through problem splitting : a method for subproblem caracterizationBRENA, P; CAFERRA, R; BRONHOEFFER, B et al.Rapport de recherche - Informatique et mathématiques appliquées de Grenoble, ISSN: 0750-7380 ; 471. 1984, 12 p.Report

Deriving specifications from requirements through problem reductionRAPANOTTI, L; HALL, J. G; LI, Z et al.IEE Proceedings - Software (Print). 2006, Vol 153, Num 5, pp 183-198, issn 1462-5970, 16 p.Article

Non-deterministic expressions and predicate transformersMORRIS, J. M.Information processing letters. 1997, Vol 61, Num 5, pp 241-246, issn 0020-0190Article

Propositions and specifications of programs in Martin-Löf's type theoryNORDSTROM, B; SMITH, J.BIT (Nordisk Tidskrift for Informationsbehandling). 1984, Vol 24, Num 3, pp 288-301, issn 0006-3835Article

Logiques du temps arborescent pour la spécification et la preuve de programmes = Branching time logics for program specification and proofGRAF, Susanne.1984, Pagination mult. [133 p.]Thesis

A bridge between constructive logic and computer programmingNEPEJVODA, N. N.Theoretical computer science. 1991, Vol 90, Num 1, pp 253-270, issn 0304-3975Article

On guarded recursionBADOUEL, E; DARONDEAU, P.Theoretical computer science. 1991, Vol 82, Num 2, pp 403-408, issn 0304-3975, 6 p.Article

The programming system PRIZMINTS, G; TYUGU, E.Journal of symbolic computation. 1988, Vol 5, Num 3, pp 359-375, issn 0747-7171Article

Program design languages: how much detail should they include?BOEHM-DAVIS, D. A; SHEPPARD, S. B; BAILEY, J. W et al.International journal of man-machine studies. 1987, Vol 27, Num 4, pp 337-347, issn 0020-7373Article

The lattice of data refinementVON WRIGHT, J.Acta informatica. 1994, Vol 31, Num 2, pp 105-135, issn 0001-5903Article

A generalized iterative construct and its semanticsANSON, E.ACM transactions on programming languages and systems. 1987, Vol 9, Num 4, pp 567-581, issn 0164-0925Article

Mathematical notation in formal specification : too difficult for the masses ?FINNEY, K.IEEE transactions on software engineering. 1996, Vol 22, Num 2, pp 158-159, issn 0098-5589Article

A language of specified programsTARLECKI, A; BLIKLE, A.Science of computer programming. 1985, Vol 5, Num 1, pp 59-81, issn 0167-6423Article

Generalizing specifications for uniformly implemented loopsDUNLOP, D. D; BASILI, V. R.ACM transactions on programming languages and systems. 1985, Vol 7, Num 1, pp 137-158, issn 0164-0925Article

Une perspective relationnelle de la programmation = Relational perspective of programming scienceMILI, Ali.1985, Pagination multThesis

The type theory of PL/CV3CONSTABLE, R. L; ZLATIN, D. R.ACM transactions on programming languages and systems. 1984, Vol 6, Num 1, pp 94-117, issn 0164-0925Article

Dérivation de programmes impératifs à partir de spécifications algébriques = Derivation of imperatives programs from algebreac specificationsGuerte, Yves; Bert, D.1996, 144 p.Thesis