Transforming the OORAM three model architecture into UML based process
Tipo: Capítulo Libro Internacional
Lugar: Proceedings of the Thirty -Fourth Hawaii International Conference on System Sciences (HICSS-34), Track on Decision Technologies For Management, IEEE Computer Society. ISBN: 980-07-7547-1 (CD: 980-07-7529-3)
Fecha de Publicación: .2001-01-03
Autores: Jesús García
Mª José Ortín
Begoña Moros Valle
Joaquín Nicolás Ros
Ambrosio Toval Alvarez
Rigorously Automating Transformations of UML Behavior Models
Tipo: Taller Internacional
Lugar: Dynamic Behaviour in UML Models: Semantic Questions in conjunction with UML 2000 York, UK , ACM SIGSOFT, IEEE Computer Society
Fecha de Publicación: .2000-11-02
URL: http://www.disi.unige.it/person/ReggioG/UMLWORKSHOP/INDEX.html
Autores: Jonathan Whittle
João Araújo
Ambrosio Toval Alvarez
José Luis Fernández Alemán
Can Intuition Become Rigorous? Foundations for UML Model Verification
Tipo: Capítulo Libro Internacional
Lugar: Proceedings of the ISSRE 2000 The Eleventh International Symposium on Software Reliability Engineering. San José, California, USA. IEEE Computer Press (October 2000) ISBN 0-7695-0807-3; ISSN 1071-9458
Fecha de Publicación: .2000-10-08
Autores: José Luis Fernández Alemán
Ambrosio Toval Alvarez
Towards Use Case and Conceptual Models through Business Modeling
Tipo: LCNS-JCR
Lugar: Proceedings of the ER 2000 19th Conference on Conceptual Modeling. Salt Lake, Utah, USA. SIGMOD, SIGMIS, ACM. October, 9-12 2000 "Conceptual Modeling". Lecture Notes in Computer Science (LNCS), SERIES nº 1920 Springer-Verlag, eds. A.H.F. Laender, S.W. Liddle, V.C. Storey (2000) ISSN 0302-9743; ISBN 3-540-41072-4
Fecha de Publicación: .2000-10-01
Autores: Jesús García
Mª José Ortín
Begoña Moros Valle
Joaquín Nicolás Ros
Ambrosio Toval Alvarez