Daniel Riesco
Orcid: 0000-0001-7335-7471
According to our database1,
Daniel Riesco
authored at least 70 papers
between 2002 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2021
In Silico Laboratory Experiments Using Statistical Model Checking: A New Model of the Palytoxin-Induced Pump Channel as Case Study.
IEEE ACM Trans. Comput. Biol. Bioinform., 2021
2020
Metrics and Indicators to evaluate the degree of transformation to Smart City of a city. An Ad-Hoc Quality Model.
Proceedings of 35th International Conference on Computers and Their Applications, 2020
2019
J. Softw. Evol. Process., 2019
2016
Measuring the understandability of WSDL specifications, web service understanding degree approach and system.
Comput. Sci. Inf. Syst., 2016
Proceedings of the IEEE International Conference on Industrial Technology, 2016
A systematic method for choosing optimal parameters for storage in parallel channels of slots.
Proceedings of the IEEE International Conference on Industrial Technology, 2016
2015
Softw. Syst. Model., 2015
Proceedings of the Languages, Applications and Technologies - 4th International Symposium, 2015
Proceedings of the 12th International Conference on Information Technology, 2015
Proceedings of the 12th IEEE/ACS International Conference of Computer Systems and Applications, 2015
2014
Proceedings of the 11th International Conference on Information Technology: New Generations, 2014
2013
Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013
Proceedings of the Tenth International Conference on Information Technology: New Generations, 2013
2012
A strategy based on LSP for the evaluation of specific languages for business processes modeling.
J. Comput. Methods Sci. Eng., 2012
J. Comput. Methods Sci. Eng., 2012
Proceedings of the 35th Annual IEEE Software Engineering Workshop, 2012
Proceedings of the Ninth International Conference on Information Technology: New Generations, 2012
Transformation of business process models BPMN 2.0 into components of the Java business platform.
Proceedings of the IEEE 10th International Conference on Industrial Informatics, 2012
Proceedings of the Integrated Formal Methods - 9th International Conference, 2012
2011
A precise definition of QoS for web services and its application in the invocation of applications from a workflow.
J. Comput. Methods Sci. Eng., 2011
Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011
A Strategy Based on LSP for the Evaluation of Specific Languages for Business Process Modeling.
Proceedings of the ISCA 20th International Conference on Software Engineering and Data Engineering (SEDE-2011) June 20-22, 2011
Metrics for Evaluation of Workflow Models: An Experiment for Validation.
Proceedings of the ISCA 20th International Conference on Software Engineering and Data Engineering (SEDE-2011) June 20-22, 2011
Proceedings of the Eighth International Conference on Information Technology: New Generations, 2011
Proceedings of the Formal Aspects of Component Software - 8th International Symposium, 2011
Geographic Information Systems: RSL Services Definitions of a Framework for Web Services.
Proceedings of the ISCA 26th International Conference on Computers and Their Applications, 2011
Proceedings of the Third Workshop on Behavioural Modelling, 2011
2010
Transformations from SPEM work sequences to BPMN sequence flows for the automation of software development process.
J. Comput. Methods Sci. Eng., 2010
Including Non-functional Requirements in the Invocation of Applications from the Workflow Engine using Web Services.
Proceedings of the ISCA 19th International Conference on Software Engineeringand Data Engineering (SEDE-2010) June 16-18, 2010
Web Application to Improve Police Management Performance: A Web Application to Prepare Police Stations to Face an ISO 9001: 2008 Certification Process and to Improve Watching Activities of Human Rights.
Proceedings of the Seventh International Conference on Information Technology: New Generations, 2010
Rigorous Definition/Specification in RAISE Specification Language of a Framework for Web Services about Geographic Information Systems.
Proceedings of the Seventh International Conference on Information Technology: New Generations, 2010
Proceedings of the 8th ACS/IEEE International Conference on Computer Systems and Applications, 2010
Optimization of the Business Process metrics definition according to the BPDM standard and its formal definition in OCL.
Proceedings of the 8th ACS/IEEE International Conference on Computer Systems and Applications, 2010
2009
Management Automation Specified by SPEM Work Breakdown Element using Workflow Technology.
Proceedings of the 18th International Conference on Software Engineering and Data Engineering (SEDE-2009), 2009
A Strategy to Derive RSL Specification from Feature Models.
Proceedings of the 18th International Conference on Software Engineering and Data Engineering (SEDE-2009), 2009
Software Projects Finance Support: Preliminary Talks between Software Project Managers and Potential Investors.
Proceedings of the Sixth International Conference on Information Technology: New Generations, 2009
Formalizing the Management Automation with Workflow of Software Development Process Based on the SPEM Activities View.
Proceedings of the Sixth International Conference on Information Technology: New Generations, 2009
Proceedings of the 7th IEEE/ACS International Conference on Computer Systems and Applications, 2009
An extension of the Workflow Process Definition Language to validate time restrictions in SUBFLOW Activities and XOR SPLIT Attributes.
Proceedings of the 7th IEEE/ACS International Conference on Computer Systems and Applications, 2009
2008
Proceedings of the Fifth International Conference on Information Technology: New Generations (ITNG 2008), 2008
Proceedings of the Fifth International Conference on Information Technology: New Generations (ITNG 2008), 2008
Proceedings of the 13th IEEE Symposium on Computers and Communications (ISCC 2008), 2008
2007
Software projects finance feasibility analysis in the context of project management body of knowledge using "use case points" estimation approach.
Proceedings of the 16th International Conference on Software Engineering and Data Engineering (SEDE-2007), 2007
Software Project Management: Including Configuration Management in PMBOK.
Proceedings of the 22nd International Conference on Computers and Their Applications, 2007
Proceedings of the 2007 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA 2007), 2007
2006
J. Comput. Methods Sci. Eng., 2006
Workflow Modeling and Simulation using a Extension of UML Activity Diagram.
Proceedings of the 21st International Conference on Computers and Their Applications, 2006
Proceedings of the 2006 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA 2006), 2006
Proceedings of the 2006 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA 2006), 2006
2005
J. Comput. Methods Sci. Eng., 2005
Proceedings of the 2005 IEEE International Conference on Information Reuse and Integration, 2005
Testing as Specification in Agile Methods.
Proceedings of the ISCA 14th International Conference on Intelligent and Adaptive Systems and Software Engineering, 2005
UML Profiles for Design Patterns.
Proceedings of the 20th International Conference on Computers and Their Applications, 2005
Integrating balanced scorecard domain formalization with underlying project plan formalization.
Proceedings of the 2005 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2005), 2005
A technique based on the OMG metamodel and OCL for the definition of object-oriented metrics applied to UML models.
Proceedings of the 2005 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2005), 2005
Proceedings of the Encyclopedia of Information Science and Technology (5 Volumes), 2005
Proceedings of the Encyclopedia of Information Science and Technology (5 Volumes), 2005
Proceedings of the Encyclopedia of Information Science and Technology (5 Volumes), 2005
2004
Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, 2004
Metadata Considerations in the Context of an Executive Information System Project Based on Balanced Scorecard Approach.
Proceedings of the ISCA 13th International Conference on Intelligent and Adaptive Systems and Software Engineering, 2004
Conditions for a Successful Implementation of an Executive Information System.
Proceedings of the ISCA 13th International Conference on Intelligent and Adaptive Systems and Software Engineering, 2004
Standardizing Entity-Relationship Graphs with UML.
Proceedings of the ISCA 13th International Conference on Intelligent and Adaptive Systems and Software Engineering, 2004
2003
Data Architecture Component Overview of a Balanced Scorecard to Manage the Last and Very Difficult Stage of a Very Important Hydroelectric Project.
Proceedings of the 12th International Conference on Intelligent and Adaptive Systems and Software Engineering, 2003
Specification in RSL of a Tool based on Graphs for Reverse Engineering.
Proceedings of the 12th International Conference on Intelligent and Adaptive Systems and Software Engineering, 2003
Web Programming Language Evaluation using LSP.
Proceedings of the 16th International Conference on Computer Applications in Industry and Engineering, 2003
2002
Improving the Management of the last stage of the Yacyretá Hydroelectric Project through the use of Kaplan and Norton's Balanced Scorecard Scheme.
Proceedings of the 15th International Conference on Computer Applications in Industry and Engineering, 2002
Structuring a Formal Specification starting from Process Modeling.
Proceedings of the 15th International Conference on Computer Applications in Industry and Engineering, 2002