Daniel Riesco
AuthID: R-006-GKF
1
TÃTULO: Measuring the understandability of WSDL specifications, Web Service Understanding Degree Approach and System Full Text
AUTORES: Mario M Marcelo Beron; Hernan Bernardis; Enrique A Alfredo Miranda; Daniel E Edgardo Riesco; Maria Joao V Varanda Pereira; Pedro Rangel Henriques ;
PUBLICAÇÃO: 2016, FONTE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 13, NÚMERO: 3
AUTORES: Mario M Marcelo Beron; Hernan Bernardis; Enrique A Alfredo Miranda; Daniel E Edgardo Riesco; Maria Joao V Varanda Pereira; Pedro Rangel Henriques ;
PUBLICAÇÃO: 2016, FONTE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 13, NÚMERO: 3
INDEXADO EM: 
WOS 
DBLP
WOS DBLP2
TÃTULO: Translating between Alloy specifications and UML class diagrams annotated with OCL Full Text
AUTORES: Alcino Cunha ; Ana Garis; Daniel Riesco;
PUBLICAÇÃO: 2015, FONTE: SOFTWARE AND SYSTEMS MODELING, VOLUME: 14, NÚMERO: 1
AUTORES: Alcino Cunha ; Ana Garis; Daniel Riesco;
PUBLICAÇÃO: 2015, FONTE: SOFTWARE AND SYSTEMS MODELING, VOLUME: 14, NÚMERO: 1
3
TÃTULO: Specifying Structural Constraints of Architectural Patterns in the ARCHERY Language
AUTORES: Alejandro Sanchez ; Luis S Barbosa ; Daniel Riesco;
PUBLICAÇÃO: 2015, FONTE: International Conference on Numerical Analysis and Applied Mathematics (ICNAAM) in PROCEEDINGS OF THE INTERNATIONAL CONFERENCE OF NUMERICAL ANALYSIS AND APPLIED MATHEMATICS 2014 (ICNAAM-2014), VOLUME: 1648
AUTORES: Alejandro Sanchez ; Luis S Barbosa ; Daniel Riesco;
PUBLICAÇÃO: 2015, FONTE: International Conference on Numerical Analysis and Applied Mathematics (ICNAAM) in PROCEEDINGS OF THE INTERNATIONAL CONFERENCE OF NUMERICAL ANALYSIS AND APPLIED MATHEMATICS 2014 (ICNAAM-2014), VOLUME: 1648
4
TÃTULO: WSDLUD: A Metric to Measure the Understanding Degree of WSDL Descriptions
AUTORES: Mario M Marcelo Beron; Hernan Bernardis; Enrique A Alfredo Miranda; Daniel E Edgardo Riesco; Maria Joao V Varanda Pereira; Pedro Rangel Henriques ;
PUBLICAÇÃO: 2015, FONTE: 4th International Symposium on Languages, Applications and Technologies (SLATE) in LANGUAGES, APPLICATIONS AND TECHNOLOGIES, SLATE 2015, VOLUME: 563
AUTORES: Mario M Marcelo Beron; Hernan Bernardis; Enrique A Alfredo Miranda; Daniel E Edgardo Riesco; Maria Joao V Varanda Pereira; Pedro Rangel Henriques ;
PUBLICAÇÃO: 2015, FONTE: 4th International Symposium on Languages, Applications and Technologies (SLATE) in LANGUAGES, APPLICATIONS AND TECHNOLOGIES, SLATE 2015, VOLUME: 563
5
TÃTULO: Verifying bigraphical models of architectural reconfigurations
AUTORES: Alejandro Sanchez ; Luis S Soares Barbosa ; Daniel Riesco;
PUBLICAÇÃO: 2013, FONTE: 7th International Symposium on Theoretical Aspects of Software Engineering (TASE) in 2013 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE)
AUTORES: Alejandro Sanchez ; Luis S Soares Barbosa ; Daniel Riesco;
PUBLICAÇÃO: 2013, FONTE: 7th International Symposium on Theoretical Aspects of Software Engineering (TASE) in 2013 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE)
6
TÃTULO: SIP: A Simple Tool for Inspecting and Evaluating WSDL Specifications
AUTORES: Mario Beron; German Montejano; Daniel Riesco; Pedro R Henriques ; Narayan Debnath;
PUBLICAÇÃO: 2013, FONTE: 10th International Conference on Information Technology - New Generations (ITNG) in PROCEEDINGS OF THE 2013 10TH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY: NEW GENERATIONS
AUTORES: Mario Beron; German Montejano; Daniel Riesco; Pedro R Henriques ; Narayan Debnath;
PUBLICAÇÃO: 2013, FONTE: 10th International Conference on Information Technology - New Generations (ITNG) in PROCEEDINGS OF THE 2013 10TH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY: NEW GENERATIONS
7
TÃTULO: Specifying UML Protocol State Machines in Alloy
AUTORES: Ana Gabriela Garis; Ana C R Paiva ; Alcino Cunha ; Daniel Riesco;
PUBLICAÇÃO: 2012, FONTE: 9th International Conference on Integrated Formal Methods, IFM 2012 in Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings, VOLUME: 7321
AUTORES: Ana Gabriela Garis; Ana C R Paiva ; Alcino Cunha ; Daniel Riesco;
PUBLICAÇÃO: 2012, FONTE: 9th International Conference on Integrated Formal Methods, IFM 2012 in Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings, VOLUME: 7321
8
TÃTULO: Bigraphical modelling of architectural patterns
AUTORES: Sanchez, A ; Barbosa, LS ; Riesco, D;
PUBLICAÇÃO: 2012, FONTE: 8th International Symposium on Formal Aspects of Component Software, FACS 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7253 LNCS
AUTORES: Sanchez, A ; Barbosa, LS ; Riesco, D;
PUBLICAÇÃO: 2012, FONTE: 8th International Symposium on Formal Aspects of Component Software, FACS 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7253 LNCS
9
TÃTULO: A language for behavioural modelling of architectural patterns
AUTORES: Sanchez, A ; Barbosa, LS ; Riesco, D;
PUBLICAÇÃO: 2011, FONTE: 3rd International Workshop on Behavioural Modelling - Foundations and Applications, BM-FA2011 - In Collaboration with the 7th European Conference on Modelling Foundations and Applications, ECMFA 2011 in ACM International Conference Proceeding Series
AUTORES: Sanchez, A ; Barbosa, LS ; Riesco, D;
PUBLICAÇÃO: 2011, FONTE: 3rd International Workshop on Behavioural Modelling - Foundations and Applications, BM-FA2011 - In Collaboration with the 7th European Conference on Modelling Foundations and Applications, ECMFA 2011 in ACM International Conference Proceeding Series
10
TÃTULO: Translating Alloy Specifications to UML Class Diagrams Annotated with OCL
AUTORES: Ana Gabriela Garis; Alcino Cunha ; Daniel Riesco;
PUBLICAÇÃO: 2011, FONTE: 9th International Conference on Software Engineering and Formal Methods, SEFM 2011 in Software Engineering and Formal Methods - 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings, VOLUME: 7041
AUTORES: Ana Gabriela Garis; Alcino Cunha ; Daniel Riesco;
PUBLICAÇÃO: 2011, FONTE: 9th International Conference on Software Engineering and Formal Methods, SEFM 2011 in Software Engineering and Formal Methods - 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings, VOLUME: 7041
