Adaptatibilité et validation de la traduction de B vers C. Points de vue et résultats du projet BOM (Französisch)
- Neue Suche nach: Badeau, F.
- Neue Suche nach: Badeau, F.
- Neue Suche nach: Bert, D.
- Neue Suche nach: Boulmé, S.
- Neue Suche nach: Métayer, C.
- Neue Suche nach: Potet, M.-L.
- Neue Suche nach: Stouls, N.
- Neue Suche nach: Voisin, L.
In:
Revue des sciences et technologies de l'information / Technique et science informatiques
;
23
, 7
; 879-904
;
2004
-
ISSN:
- Aufsatz (Zeitschrift) / Print
-
Titel:Adaptatibilité et validation de la traduction de B vers C. Points de vue et résultats du projet BOM
-
Beteiligte:Badeau, F. ( Autor:in ) / Bert, D. / Boulmé, S. / Métayer, C. / Potet, M.-L. / Stouls, N. / Voisin, L.
-
Erschienen in:
-
Verlag:
- Neue Suche nach: Hermès Science : Lavoisier
-
Erscheinungsort:Paris
-
Erscheinungsdatum:2004
-
ISSN:
-
ZDBID:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Print
-
Sprache:Französisch
- Neue Suche nach: 54.00 / 54.00
- Weitere Informationen zu Basisklassifikation
-
Schlagwörter:
-
Klassifikation:
-
Datenquelle:
Inhaltsverzeichnis – Band 23, Ausgabe 7
Zeige alle Jahrgänge und Ausgaben
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 853
-
EditorialJézéquel, J.-M. et al. | 2004
- 855
-
Validation des regles de base de l'Atelier BBerkani, K. / Dubois, C. / Faivre, A. / Falampin, F. et al. | 2004
- 855
-
Validation des règles de base de l'Atelier BBerkani, K. et al. | 2004
- 879
-
Adaptatibilite et validation de la traduction de B vers C. Points de vue et resultats du projet BOMBadeau, F. / Bert, D. / Boulme, S. / Metayer, C. / Potet, M.-L. / Stouls, N. / Voisin, L. et al. | 2004
- 879
-
Adaptatibilité et validation de la traduction de B vers C. Points de vue et résultats du projet BOMBadeau, F. et al. | 2004
- 905
-
Strategie de couverture de test a un haut niveau d'abstractionBontron, P. / Potet, M.-L. et al. | 2004
- 905
-
Stratégie de couverture de test à un haut niveau d'abstractionBontron, P. et al. | 2004
- 929
-
Chronique - La méthode B et l'ingénierie systèmeEssamé, D. et al. | 2004
- 929
-
La methode B et l'ingenierie systemeEssame, D. et al. | 2004
- 939
-
Les reseaux de regulation biologique: rencontre entre biologie et informatique. Production de mucus chez P. aeruginosaGuespin, J. / Bernot, G. / Comet, J.-P. et al. | 2004
- 939
-
Chronique - Les réseaux de régulation biologique : rencontre entre biologie et informatique. Production de mucus chez P. aeruginosaGuespin, J. et al. | 2004
- 947
-
Chronique - Modèles de programmation non conventionnelsGiavitto, J.-L. et al. | 2004
- 947
-
Modeles de programmation non conventionnelsGiavitto, J.-L. / Michel, O. / Banatre, J.-P. / Fradet, P. et al. | 2004
- 957
-
Appel à propositions d'articles sur le thème - Evolution artificielle| 2004
-
APPROCHES FORMELLES POUR LE DÉVELOPPENFENT DE LOGICIELS| 2004