Claudia Pons

Orcid: 0000-0003-1149-0976

Affiliations:
  • National University of La Plata, Argentina


According to our database1, Claudia Pons authored at least 45 papers between 1993 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Semi-supervised learning models for document classification: A systematic review and meta-analysis.
Inteligencia Artif., May, 2023

2022
Model-Driven Development of Groupware Systems.
Int. J. e Collab., 2022

λHive: Formal Semantics of an Edge Computing Model Based on JavaScript.
Int. J. Cloud Appl. Comput., 2022

Artificial Intelligence techniques based on the integration of symbolic logic and deep neural networks: A systematic review of the literature.
Inteligencia Artif., 2022

2018
Gender Gap in Computing: A Preliminary Empirical Study.
Proceedings of the XXI Iberoamerican Conference on Software Engineering, 2018

2017
Exploring Model-to-Model Transformations for RIA Architectures by means of a Systematic Mapping Study.
CLEI Electron. J., 2017

DSL for collaborative systems with awareness.
Proceedings of the 2017 XLIII Latin American Computer Conference, 2017

2016
Applying MDA and OMG Robotic Specification for Developing Robotic Systems.
Proceedings of the System Analysis and Modeling. Technology-Specific Aspects of Models, 2016

2015
La Interfaz de Usuario como Punto de Partida para la Creación Automática de Aplicaciones Móviles - un Enfoque Basado en MDD.
Rev. Colomb. de Computación, 2015

Variable-Based Analysis for Traceability in QVT-R Model Transformations.
Proceedings of the XVIII IberoAmerican Conference on Software Engineering, 2015

2012
An Implementation Approach to Achieve Metamodel Independence in Domain Specific Model Manipulation Languages.
Proceedings of the ICSOFT 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends, Rome, Italy, 24, 2012

2011
Modeling Parallel Applications on Mobile Devices.
Proceedings of the Communicability, Computer Graphics and Innovative Design for Interactive Systems, 2011

2010
A Profile's Design for Parallel Applications Modelling.
Rev. Colomb. de Computación, 2010

A Two-level Calculus for Composing Hybrid QVT Transformations.
CLEI Electron. J., 2010

Graphical Query Mechanism for Historical Data Warehouse within MDD.
Proceedings of the SCCC 2010, 2010

Supporting Modularization in Textual DSL Development.
Proceedings of the SCCC 2010, 2010

2009
Model Transformation Languages Relying on Models as ADTs.
Proceedings of the Software Language Engineering, Second International Conference, 2009

A two-level formal semantics for the QVT language.
Proceedings of the Memorias de la XII Conferencia Iberoamericana de Software Engineering (CIbSE 2009), 2009

2008
A Lightweight Approach for the Semantic Validation of Model Refinements.
Proceedings of the Fourth Workshop on Model Based Testing, 2008

A Domain Specific Language for the Development of Collaborative Systems.
Proceedings of the XXVII International Conference of the Chilean Computer Science Society (SCCC 2008), 2008

2007
Doctoral Symposium.
Proceedings of the Models in Software Engineering, Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30, 2007

Doctoral Symposium Foreword.
Proceedings of the Doctoral Symposium at the ACM/IEEE 10th International Conference on Model-Driven Engineering Languages and Systems, 2007

Aplicando MDA al Diseño de un Datawarehouse Temporal.
Proceedings of the VI Jornadas Iberoamericanas de Ingeniería del Software e Ingeniería del Conocimiento-JIISIC'07, 2007

A Minimal OCL-based Profile for Model Transformation.
Proceedings of the VI Jornadas Iberoamericanas de Ingeniería del Software e Ingeniería del Conocimiento-JIISIC'07, 2007

Composición de Transformaciones de Modelos en MDD basada en el Álgebra Relacional.
Proceedings of the Memorias de la X Conferencia Iberoamericana de Software Engineering (CIbSE 2007), 2007

2006
Improving the OCL Semantics Definition by Applying Dynamic Meta Modeling and Design Patterns.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006

Heuristics on the Definition of UML Refinement Patterns.
Proceedings of the SOFSEM 2006: Theory and Practice of Computer Science, 2006

An OCL-Based Technique for Specifying and Verifying Refinement-Oriented Transformations in MDE.
Proceedings of the Model Driven Engineering Languages and Systems, 2006

Practical Verification Strategy for Refinement Conditions in UML Models.
Proceedings of the IFIP 19th World Computer Congress, 2006

2005
Una extensión de UML para modelar refinamientos.
Proceedings of the Memorias de la VIII Conferencia Iberoamericana de Software Engineering (CIbSE 2005), 2005

2004
PAMPERO: Precise Assistant for the Modeling Process in an Environment with Refinement Orientation.
Proceedings of the UML Modeling Languages and Applications, 2004

2002
Reasoning about the correctness of software development process.
Proceedings of the 24th International Conference on Software Engineering, 2002

2001
Software Development Contracts.
Proceedings of the 2001 International Workshop on Formal Foundations of Software Evolution, 2001

Schema Evolution in Federated Information Systems.
Proceedings of the Datenbanksysteme in Büro, 2001

2000
Relaciones entre Casos de Uso en el Unified Modeling Language.
Rev. Colomb. de Computación, 2000

Dependency Relations between Models in the Unified Process.
Proceedings of the 10th International Workshop on Software Specification and Design, 2000

Formal Foundations of Object-Oriented Modeling Notations.
Proceedings of the 3rd IEEE International Conference on Formal Engineering Methods, 2000

A Formal Mechanism for Assessing Polymorphism in Object-Oriented Systems.
Proceedings of the 1st Asia-Pacific Conference on Quality Software (APAQS 2000), 2000

1999
Integrating Object-Oriented Modelling Techniques with Formal Specification Techniques.
Proceedings of the German-Argentinian Workshop on Information Technology, 1999

1998
A Dynamic Logic Model for the Formal Foundation of Object-Oriented Analysis and Design.
Proceedings of 18th International Conference of the Chilean Computer Science Society (SCCC '98), 1998

Foundations of Object-Oriented Modeling Notation in a Dynamic Logic Framework.
Proceedings of the Fundamentals of Information Systems, 1998

A Dynamic Logic Model for the Formal Foundation of Object-Oriented Analysis and Design.
Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

1995
Formal Semantics for Object Oriented Systems.
Proceedings of the SEKE'95, 1995

Formally Speaking About Schemata, Bases, Classes and Objects.
Proceedings of the Database Systems for Advanced Applications '95, 1995

1993
Conceptual Layers in an Object Oriented Database. An Unified Model.
Proceedings of the 3rd International Conference on Database Systems for Advanced Applications (DASFAA), 1993


  Loading...