Specification and Transformation of Programs : :: SCD d'Orléans

Specification and Transformation of Programs : A Formal Approach to Software Development

Specification and Transformation of Programs : A Formal Approach to Software Development

Enregistré dans:

Bibliografiske detaljer
Hovedforfatter:	Partsch, Helmut A., 1950-
Format:	Livre numérique
Sprog:	Anglais
Udgivet:	Cham : Springer International Publishing [20..]. Cham : Springer Nature
Online adgang:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Kommentar:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Specification and Transformation of Programs, A Formal Approach to Software Development

Lignende værker

Program development by specification and transformation : the PROSPECTRA methodology, language family, and system
af: Hoffmann, Berthold, 19..-

Program specification : proceedings of a workshop, Aarhus, Denmark, August 1981

Modular specification and verification of object-oriented programs
af: Müller, Peter, 1961-...., informaticien

Parallel Algorithm Derivation and Program Transformation

Formal systems specification : the RPC-memory specification case study
af: Broy, Manfred, 1949-

Formal program development : IFIP TC2/WG 2.1 State-of-the-Art Report
af: Möller, Bernhard, 1953-

Simple program schemes and formal languages
af: Engelfriet, Joost
Udgivet: (2005)

Program construction : international summer school
af: Bauer, Friedrich Ludwig, 1924-2015, et autres

Ethical Programs: Hospitality and the Rhetorics of Software
af: Brown, James
Udgivet: (2021)

Certifying Software Component Performance Specifications
af: Groenda, Henning
Udgivet: (2021)

Program development in computational logic : a decade of research advances in logic-based program development
af: Bruynooghe, Maurice

Algorithmic language and program development
af: Bauer, Friedrich Ludwig, 1924-2015, et autres
Udgivet: (1982)

Contemporary Rural Development Programs
Udgivet: (2025)

Logic program synthesis and transformation : 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28 30, 1996 : proceedings

Logic program synthesis and transformation : 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20 22, 1995 : proceedings

Logic program synthesis and transformation : 7th international workshop, LOPSTR '97, Leuven, Belgium, July 10-12, 1997 : proceedings

Compiler specification and verification
af: Polak, Wolfgang, 1950-

Program.
Udgivet: (2017)

The Program
af: Frears, Stephen, 1941-, et autres
Udgivet: (2016)

De quelles sources spécifiques a-t-on besoin en transformation de la matière ?
af: J. C. Andre, et autres
Udgivet: (2004)

Specification and verification of object-oriented software components
af: Roth, Andreas
Udgivet: (2021)

Formal specification and synthesis of procedural controllers for process systems
af: Sanchez, Arturo, 1963-

Integration of software specification techniques for applications in engineering : Priority Program SoftSpez of the German Research Foundation (DFG) : final report
af: Ehrig, Hartmut, 1944-

Editorial, meeting program and scientific program
af: Laurence Labat, et autres
Udgivet: (2012)

Editorial, meeting program and scientific program
af: Jean-Pierre Goullé, et autres
Udgivet: (2011)

NAROO program
af: A.-C. Perlbarg, et autres
Udgivet: (2023)

Approche des problèmes spécifiques de gestion des entreprises de transformation de bois au Cameroun
af: Ndanga Ndinga, Badel
Udgivet: (1982)

The WISSHFUL program
af: G. Lanzuisi, et autres
Udgivet: (2026)

Parameter dependencies for reusable performance specifications of software components
af: Koziolek, Heiko
Udgivet: (2021)

Logic-based program synthesis and transformation : 9th International Workshop, LOPSTR 99, Venice, Italy, September 22-24, 1999 : selected papers

Logic based program synthesis and transformation : 10th International workshop, LOPSTR 2000, London, UK, July 24-28, 2000 : selected papers

Logic based program synthesis and transformation : 11th International Workshop, LOPSTR 2001 Paphos, Cyprus, November 28 30, 2001 : Selected papers

Logic-based program synthesis and transformation : 8th International Workshop, LOPSTR 98 Manchester, UK, June 15 19, 1998 : selected papers

Aide à la vérification de programmes concurrents par transformation de code et de spécifications
af: Blanchard, Allan, 1990-
Udgivet: (2016)

Inclusion scolaire et transformation des dispositifs de scolarisation des élèves à besoins spécifiques
af: Tremblay, Philippe
Udgivet: (2015)

A Knowledge-Based Approach to Program Understanding
af: Abd-El-Hafiz, Salwa K., et autres

Logic based program synthesis and transformation : 12th international workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002 : revised selected papers

Logic-Based Program Synthesis and Transformation : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
af: Albert, Elvira

Program budgeting : program analysis and the Federal budget
Udgivet: (1967)

The Evolution of Programs
af: Dershowitz, Nachum, 1951-

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales