Daniel Riesco
AuthID: R-006-GKF
1
TITLE: Measuring the understandability of WSDL specifications, Web Service Understanding Degree Approach and System Full Text
AUTHORS: Mario M Marcelo Beron; Hernan Bernardis; Enrique A Alfredo Miranda; Daniel E Edgardo Riesco; Maria Joao V Varanda Pereira; Pedro Rangel Henriques ;
PUBLISHED: 2016, SOURCE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 13, ISSUE: 3
AUTHORS: Mario M Marcelo Beron; Hernan Bernardis; Enrique A Alfredo Miranda; Daniel E Edgardo Riesco; Maria Joao V Varanda Pereira; Pedro Rangel Henriques ;
PUBLISHED: 2016, SOURCE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 13, ISSUE: 3
INDEXED IN: 
WOS 
DBLP
WOS DBLP2
TITLE: Translating between Alloy specifications and UML class diagrams annotated with OCL Full Text
AUTHORS: Alcino Cunha ; Ana Garis; Daniel Riesco;
PUBLISHED: 2015, SOURCE: SOFTWARE AND SYSTEMS MODELING, VOLUME: 14, ISSUE: 1
AUTHORS: Alcino Cunha ; Ana Garis; Daniel Riesco;
PUBLISHED: 2015, SOURCE: SOFTWARE AND SYSTEMS MODELING, VOLUME: 14, ISSUE: 1
3
TITLE: Specifying Structural Constraints of Architectural Patterns in the ARCHERY Language
AUTHORS: Alejandro Sanchez ; Luis S Barbosa ; Daniel Riesco;
PUBLISHED: 2015, SOURCE: 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
AUTHORS: Alejandro Sanchez ; Luis S Barbosa ; Daniel Riesco;
PUBLISHED: 2015, SOURCE: 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
TITLE: WSDLUD: A Metric to Measure the Understanding Degree of WSDL Descriptions
AUTHORS: Mario M Marcelo Beron; Hernan Bernardis; Enrique A Alfredo Miranda; Daniel E Edgardo Riesco; Maria Joao V Varanda Pereira; Pedro Rangel Henriques ;
PUBLISHED: 2015, SOURCE: 4th International Symposium on Languages, Applications and Technologies (SLATE) in LANGUAGES, APPLICATIONS AND TECHNOLOGIES, SLATE 2015, VOLUME: 563
AUTHORS: Mario M Marcelo Beron; Hernan Bernardis; Enrique A Alfredo Miranda; Daniel E Edgardo Riesco; Maria Joao V Varanda Pereira; Pedro Rangel Henriques ;
PUBLISHED: 2015, SOURCE: 4th International Symposium on Languages, Applications and Technologies (SLATE) in LANGUAGES, APPLICATIONS AND TECHNOLOGIES, SLATE 2015, VOLUME: 563
5
TITLE: Verifying bigraphical models of architectural reconfigurations
AUTHORS: Alejandro Sanchez ; Luis S Soares Barbosa ; Daniel Riesco;
PUBLISHED: 2013, SOURCE: 7th International Symposium on Theoretical Aspects of Software Engineering (TASE) in 2013 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE)
AUTHORS: Alejandro Sanchez ; Luis S Soares Barbosa ; Daniel Riesco;
PUBLISHED: 2013, SOURCE: 7th International Symposium on Theoretical Aspects of Software Engineering (TASE) in 2013 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE)
6
TITLE: SIP: A Simple Tool for Inspecting and Evaluating WSDL Specifications
AUTHORS: Mario Beron; German Montejano; Daniel Riesco; Pedro R Henriques ; Narayan Debnath;
PUBLISHED: 2013, SOURCE: 10th International Conference on Information Technology - New Generations (ITNG) in PROCEEDINGS OF THE 2013 10TH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY: NEW GENERATIONS
AUTHORS: Mario Beron; German Montejano; Daniel Riesco; Pedro R Henriques ; Narayan Debnath;
PUBLISHED: 2013, SOURCE: 10th International Conference on Information Technology - New Generations (ITNG) in PROCEEDINGS OF THE 2013 10TH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY: NEW GENERATIONS
7
TITLE: Specifying UML Protocol State Machines in Alloy
AUTHORS: Ana Gabriela Garis; Ana C R Paiva ; Alcino Cunha ; Daniel Riesco;
PUBLISHED: 2012, SOURCE: 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
AUTHORS: Ana Gabriela Garis; Ana C R Paiva ; Alcino Cunha ; Daniel Riesco;
PUBLISHED: 2012, SOURCE: 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
TITLE: Bigraphical modelling of architectural patterns
AUTHORS: Sanchez, A ; Barbosa, LS ; Riesco, D;
PUBLISHED: 2012, SOURCE: 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
AUTHORS: Sanchez, A ; Barbosa, LS ; Riesco, D;
PUBLISHED: 2012, SOURCE: 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
TITLE: A language for behavioural modelling of architectural patterns
AUTHORS: Sanchez, A ; Barbosa, LS ; Riesco, D;
PUBLISHED: 2011, SOURCE: 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
AUTHORS: Sanchez, A ; Barbosa, LS ; Riesco, D;
PUBLISHED: 2011, SOURCE: 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
TITLE: Translating Alloy Specifications to UML Class Diagrams Annotated with OCL
AUTHORS: Ana Gabriela Garis; Alcino Cunha ; Daniel Riesco;
PUBLISHED: 2011, SOURCE: 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
AUTHORS: Ana Gabriela Garis; Alcino Cunha ; Daniel Riesco;
PUBLISHED: 2011, SOURCE: 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
