Développement fraction continue < Développement logiciel < Développement système

Facettes : Author.f AffPays.f AffRegion.f AffVille.f AffOrg.f

List of bibliographic references

Number of relevant bibliographic references: 48.
[0-20] [0 - 20][0 - 48][20-40]

Ident.	Authors (with country if any)	Title
000001 (2014)	Jean-Christophe Bach [France]	Une approche hybride GPL-DSL pour transformer des modèles
000146 (2010)	Luz-Maria Priego-Roche [France] ; Dominique Rieu [France] ; Agnès Front [France]	Vers une caractérisation intentionnelle des organisations virtuelles
000263 (2008)	Arnaud Lanoix [France] ; Samuel Colin [France] ; Jeanine Souquieres [France]	Développement formel par composants : Assemblage et vérification à l'aide de B
000286 (2007)		Approches formelles pour le développement de logiciels : AFADL 2006
000287 (2007)	Yves Bontemps [Belgique] ; Germain Saval [Belgique] ; Pierre-Yves Schobbens [Belgique] ; Patrick Heymans [Belgique]	Synthèse de diagrammes d'états par classe à partir de diagrammes de séquence
000288 (2007)	Jean-Marc Mota [France] ; Catherine Dubois [France]	Raffinement de modèles topologiques en B événementiel : Des droites aux 2-G-cartes
000289 (2007)	Didier Bert [France] ; Héctor Ruiz Barradas [France, Mexique]	Propriétés de vivacité dans les systèmes B : Application à l'algorithme de Ricart-Agrawala
000294 (2007)	Akram Idani [France] ; Yves Ledru [France] ; Didier Bert [France]	Approche formelle pour la dérivation de vues structurelles UML à partir de développements B : Formalisation, preuve et extension pour la prise en compte des raffinements B
000308 (2006)		Approches formelles dans l'assistance au développement de logiciels
000339 (2006)	Dominique Cansell [France] ; Dominique Méry [France] ; Joris Rehm [France]	Time constraint patterns for event B development
000349 (2006)	Guillaume Bonfante [France]	Some programming languages for LOGSPACE and PTIME
000354 (2006)	Dominique Colnet [France] ; Guillem Marpons [Espagne] ; Frederic Merizen [France]	Reconciling subtyping and code reuse in object-oriented languages : Using inherit and insert in smarteiffel, the GNU eiffel compiler
000363 (2006)	Frédéric Blanqui ; Claude Kirchner ; Colin Riba	On the confluence of λ-calculus with conditional rewriting
000370 (2006)	Bill Stoddart [France] ; Dominique Cansell [France] ; Frank Zeyda [France]	Modelling and proof analysis of interrupt driven scheduling
000375 (2006)	Nazim Benaïsa [France] ; Dominique Cansell [France] ; Dominique Méry [France]	Integration of security policy into system modeling
000379 (2006)	Martin Abadi [États-Unis] ; Mathieu Baudet [France] ; Bogdan Warinschi [France]	Guessing attacks and the computational soundness of static equivalence
000381 (2006)	Emilie Balland [France] ; Claude Kirchner [France] ; Pierre-Etienne Moreau [France]	Formal islands
000385 (2006)	Pascal Fontaine [France] ; Jean-Yves Marion [France] ; Stephan Merz [France] ; Leonor Prensa Nieto [France] ; Alwen Tiu [France]	Expressiveness + automation + soundness : Towards combining SMT solvers and interactive proof assistants
000413 (2006)	Marian Vittek [Slovaquie] ; Peter Borovansky [Slovaquie] ; Pierre-Etienne Moreau [France]	A simple generic library for C
000442 (2005)	Moritz Hammer [Allemagne] ; Alexander Knapp [Allemagne] ; Stephan Merz [France]	Truly on-the-fly LTL model checking
000459 (2005)	Jean-Raymond Abrial [Suisse] ; Dominique Cansell [France] ; Dominique Méry [France]	Refinement and reachability in Event―B

---

List of associated Author.i

Nombre de documents	Descripteur
6	Dominique Cansell
5	J. Souquieres
4	Dominique Méry
3	Jeanine Souquieres
3	Stephan Merz
2	Alexander Knapp
2	Claude Kirchner
2	D. Mery
2	Didier Bert
2	Jean-Claude Derniame
2	N. Levy
2	P. F. Tiako
2	Pierre-Etienne Moreau
1	A. Bouhoula
1	Abdessamad Imine
1	Agnès Front
1	Akram Idani
1	Alexandre Fau
1	Alwen Tiu
1	Andrzej Tarlecki
1	Arnaud Lanoix
1	Bernd Krieg-Brückner
1	Bill Stoddart
1	Bogdan Warinschi
1	Carine Courbis
1	Catherine Dubois
1	Colin Riba
1	Diana Toma
1	Didier Galmiche
1	Didier Parigot
1	Dominique Colnet
1	Dominique Rieu
1	Donald Sannella
1	E. Meyer
1	Egidio Astesiano
1	Emilie Balland
1	Francis Alexandre
1	Frank Zeyda
1	Frederic Merizen
1	Frédéric Blanqui
1	G. Morel
1	G.-R. Perrin
1	Germain Saval
1	Guillaume Bonfante
1	Guillem Marpons
1	Gérald Oster
1	HUNG LEDANG
1	Hung Ledang
1	Héctor Ruiz Barradas
1	Hélène Kirchner
1	J.-F. Petin
1	J.-P. Finance
1	Jacques Jaray
1	Jean-Christophe Bach
1	Jean-Marc Mota
1	Jean-Raymond Abrial
1	Jean-Yves Marion
1	Joris Rehm
1	Khaled Bsaïes
1	Leonor Prensa Nieto
1	Luz-Maria Priego-Roche
1	M. Heisel
1	Marian Vittek
1	Maritta Heisel
1	Martin Abadi
1	Martin Wirsing
1	Mathieu Baudet
1	Michaël Rusinowitch
1	Michel Bidoit
1	Moritz Hammer
1	Moussa Demba
1	Nazim Benaïsa
1	Nicolas Biri
1	Noëlle Carbonell
1	O. Perrin
1	P. Gibson
1	P. Lamboley
1	P. Molli
1	Pascal Degenne
1	Pascal Fontaine
1	Pascal Molli
1	Patrick Heymans
1	Peter Borovansky
1	Peter D. Mosses
1	Pierre-Yves Schobbens
1	R. Darimont
1	Samuel Colin
1	T. Lambolais
1	W. Visser
1	Yann Zimmermann
1	Yves Bontemps
1	Yves Ledru

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/PascalFrancis/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/FC03.fr.i -k "Développement logiciel" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/FC03.fr.i  \
                -Sk "Développement logiciel" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    PascalFrancis
   |étape=   Checkpoint
   |type=    indexItem
   |index=    FC03.fr.i
   |clé=    Développement logiciel
}}

---

This area was generated with Dilib version V0.6.33. Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022