ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Autres revues >>

L'Objet

1262-1137
logiciel, bases de données, réseaux
Publication abandonné
 

couverture du numéro

Rigorous Object-Oriented Methods
sous la direction de Tony CLARK, Andy EVANS, Kevin LANO
 LISTE DES ARTICLES POUR LE VOL 9/4 - 2003
Editorial  [GRATUIT]
- pp.7-9
Supporting Effective Software Modeling
Robert B. FRANCE, Sudipto GHOSH, Daniel E. TURK - pp.11-29
Modeling Language Transformations
Tony CLARK, Andy EVANS, Girish MASKERI, Paul SAMMUT, James WILLANS - pp.31-51
RSDS, a Subset of UML with Precise Semantics
Kevin LANO, David CLARK, Kelly ANDROUTSOPOULOS - pp.53-73
Temporal Logic Verifications for U M L
Jean-Claude ROYER - pp.75-94
Metamodels without Metacircularities
Thomas BAAR - pp.95-114
Theorem Proving Support for View Consistency Checking
Richard F. PAIGE, Jonathan S. OSTROFF, Phillip J. BROOKE - pp.115-134
ACHETEZ CE NUMÉRO (version imprimée)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
made by WAW Lavoisier