Alfonso Pierantonio

Affiliations:
  • University of L'Aquila, Italy


According to our database1, Alfonso Pierantonio authored at least 179 papers between 1991 and 2024.

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

2024
CHESSIoT: A model-driven approach for engineering multi-layered IoT systems.
J. Comput. Lang., March, 2024

Supporting model-based safety analysis for safety-critical IoT systems.
J. Comput. Lang., March, 2024

TyphonML: Tool support for hybrid polystores.
Sci. Comput. Program., January, 2024

2023
Introduction to the special issue on foundations and practice of visual modeling (FPVM).
J. Comput. Lang., August, 2023

Analyzing business process management capabilities of low-code development platforms.
Softw. Pract. Exp., April, 2023

A modeling assistant to manage technical debt in coupled evolution.
Inf. Softw. Technol., April, 2023

MemoRec: a recommender system for assisting modelers in specifying metamodels.
Softw. Syst. Model., February, 2023

Bridging Workflow Automation Tools and EMF Modeling Ecosystems.
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

jjodel - A Reflective Cloud-Based Modeling Framework.
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

Towards Personalized Learning Paths to Empower Competence Development in Model Driven Engineering Through the ENCORE Platform.
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

A customizable approach to assess software quality through Multi-Criteria Decision Making.
Proceedings of the 20th International Conference on Software Architecture, 2023

2022
Supporting safe metamodel evolution with edelta.
Int. J. Softw. Tools Technol. Transf., 2022

Correction to: Low-code development and model-driven engineering: Two sides of the same coin?
Softw. Syst. Model., 2022

Low-code development and model-driven engineering: Two sides of the same coin?
Softw. Syst. Model., 2022

An executable metamodel refactoring catalog.
Softw. Syst. Model., 2022

Teaching Modeling in the Time of Agile Development.
Computer, 2022

Uncertainty and Variability in Industry-scale Projects: Pearls, Perils, and Pitfalls of Model-Driven Engineering at Work.
Proceedings of the VaMoS '22: 16th International Working Conference on Variability Modelling of Software-Intensive Systems, Florence, Italy, February 23, 2022

Assessing the Quality of Low-Code and Model-Driven Engineering Platforms for Engineering IoT Systems.
Proceedings of the 22nd IEEE International Conference on Software Quality, 2022

Finding with NEMO: a recommender system to forecast the next modeling operations.
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, 2022

Towards Trust-preserving Continuous Co-evolution of Digital Twins.
Proceedings of the IEEE 19th International Conference on Software Architecture Companion, 2022

2021
Correction to: Evaluation of a machine learning classifier for metamodels.
Softw. Syst. Model., 2021

Evaluation of a machine learning classifier for metamodels.
Softw. Syst. Model., 2021

What Is the Future of Modeling?
IEEE Softw., 2021

Convolutional neural networks for enhanced classification mechanisms of metamodels.
J. Syst. Softw., 2021

Co-evolution of Metamodel and Generators: Higher-order Templating to the Rescue.
J. Object Technol., 2021

Uncertainty management with extra-functional qualities in multi-artefact co-evolution.
J. Object Technol., 2021

A domain-specific modeling and analysis environment for complex IoT applications.
CoRR, 2021

Towards a Modeling and Analysis Environment for Industrial IoT systems.
Proceedings of the STAF 2021 Workshop Proceedings: 9th International Workshop on Bidirectional Transformations, 2021

Integrating semantic reasoning in information loss-based transformation chain rankers.
Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021

Enhancing syntax expressiveness in domain-specific modelling.
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021

A Lightweight Approach for the Automated Classification and Clustering of Metamodels.
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021

MDEForgeWL: Towards cloud-based discovery and composition of model management services.
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021

Cloud-based modeling in IoT domain: a survey, open challenges and opportunities.
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021

Fixing Classification: A Viewpoint-Based Approach.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation, 2021

A Low-Code Development Environment to Orchestrate Model Management Services.
Proceedings of the Advances in Production Management Systems. Artificial Intelligence for Sustainable and Resilient Production Systems, 2021

Automated quality assessment of interrelated modeling artifacts.
Proceedings of the 47th Euromicro Conference on Software Engineering and Advanced Applications, 2021

2020
Automated Selection of Optimal Model Transformation Chains via Shortest-Path Algorithms.
IEEE Trans. Software Eng., 2020

Understanding MDE projects: megamodels to the rescue for architecture recovery.
Softw. Syst. Model., 2020

Grand challenges in model-driven engineering: an analysis of the state of the research.
Softw. Syst. Model., 2020

Modeling research in recent years: special section on ECMFA 2017 and ECMFA 2018.
Softw. Syst. Model., 2020

Open Access: all you wanted to know and never dared to ask.
J. Object Technol., 2020

Preface to the JOT Special Issue dedicated to Martin Gogolla on his 65th Birthday.
J. Object Technol., 2020

Detecting Metamodel Evolutions in Repositories of Model-Driven Projects.
J. Object Technol., 2020

Understanding the role of model transformation compositions in low-code development platforms.
Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

Metamodel deprecation to manage technical debt in model co-evolution.
Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

Low-code engineering for internet of things: a state of research.
Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

Edelta 2.0: supporting live metamodel evolutions.
Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

TyphonML: a modeling environment to develop hybrid polystores.
Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

An extensible tool-chain for analyzing datasets of metamodels.
Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

Supporting the understanding and comparison of low-code development platforms.
Proceedings of the 46th Euromicro Conference on Software Engineering and Advanced Applications, 2020

2019
A tool-supported approach for assessing the quality of modeling artifacts.
J. Comput. Lang., 2019

Automated Reuse of Model Transformations through Typing Requirements Models.
ACM Trans. Softw. Eng. Methodol., 2019

Multi-view approaches for software and system modelling: a systematic literature review.
Softw. Syst. Model., 2019

Contents for a Model-Based Software Engineering Body of Knowledge.
Softw. Syst. Model., 2019

Introduction to the STAF 2015 special section.
Softw. Syst. Model., 2019

The JOT Journal: Towards a Rising Generation.
J. Object Technol., 2019

Quality-Driven Detection and Resolution of Metamodel Smells.
IEEE Access, 2019

Lowcomote: Training the Next Generation of Experts in Scalable Low-Code Engineering Platforms.
Proceedings of the STAF 2019 Co-Located Events Joint Proceedings: 1st Junior Researcher Community Event, 2nd International Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex Systems, and 1st Research Project Showcase Workshop co-located with Software Technologies: Applications and Foundations (STAF 2019), Eindhoven, The Netherlands, July 15, 2019

Aut tace, Aut Loquere meliora Silentio (and the Likes).
Proceedings of the STAF 2019 Co-Located Events Joint Proceedings: 1st Junior Researcher Community Event, 2nd International Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex Systems, and 1st Research Project Showcase Workshop co-located with Software Technologies: Applications and Foundations (STAF 2019), Eindhoven, The Netherlands, July 15, 2019

Automated Classification of Metamodel Repositories: A Machine Learning Approach.
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2019

Preface to the 13th Workshop on Models and Evolution (ME2019).
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

Query-Based Impact Analysis of Metamodel Evolutions.
Proceedings of the 45th Euromicro Conference on Software Engineering and Advanced Applications, 2019

2018
Teaching modeling: a software perspective.
Comput. Sci. Educ., 2018

Enhancing the JTL tool for bidirectional transformations.
Proceedings of the Conference Companion of the 2nd International Conference on Art, 2018

Resilience in Sirius Editors: Understanding the Impact of Metamodel Changes.
Proceedings of MODELS 2018 Workshops: ModComp, 2018

Improved traceability for bidirectional model transformations.
Proceedings of MODELS 2018 Workshops: ModComp, 2018

How do we teach modelling and model-driven engineering?: a survey.
Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2018

Towards a body of knowledge for model-based software engineering.
Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2018

Exploring model repositories by means of megamodel-aware search operators.
Proceedings of MODELS 2018 Workshops: ModComp, 2018

A tool for automatically selecting optimal model transformation chains.
Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2018

Systematic Recovery of MDE Technology Usage.
Proceedings of the Theory and Practice of Model Transformation, 2018

2017
Special issue on Flexible Model Driven Engineering.
Comput. Lang. Syst. Struct., 2017

Consistency Recovery in Interactive Modeling.
Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

Edelta: An Approach for Defining and Applying Reusable Metamodel Refactorings.
Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

Enhancing Flexibility in User Interaction Modeling by Adding Design Uncertainty to IFML.
Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

Reusing Model Transformations Through Typing Requirements Models.
Proceedings of the Fundamental Approaches to Software Engineering, 2017

A Feature-Based Approach for Variability Exploration and Resolution in Model Transformation Migration.
Proceedings of the Modelling Foundations and Applications - 13th European Conference, 2017

2016
Models and evolution: An introduction to the special issue.
J. Syst. Softw., 2016

A Customizable Approach for the Automated Quality Assessment of Modelling Artifacts.
Proceedings of the 10th International Conference on the Quality of Information and Communications Technology, 2016

Approaching Collaborative Modeling as an Uncertainty Reduction Process.
Proceedings of the 1st International Workshop on Collaborative Modelling in MDE (COMMitMDE 2016) co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016), 2016

Semantic-based Model Matching with EMFCompare.
Proceedings of the 10th Workshop on Models and Evolution co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), 2016

Using ATL Transformation Services in the MDEForge Collaborative Modeling Platform.
Proceedings of the Theory and Practice of Model Transformations, 2016

Handling Uncertainty in Automatically Generated Implementation Models in the Automotive Domain.
Proceedings of the 42th Euromicro Conference on Software Engineering and Advanced Applications, 2016

Incorporating Uncertainty into Bidirectional Model Transformations and their Delta-Lens Formalization.
Proceedings of the 5th International Workshop on Bidirectional Transformations, 2016

Supporting Variability Exploration and Resolution During Model Migration.
Proceedings of the Modelling Foundations and Applications - 12th European Conference, 2016

Automated Clustering of Metamodel Repositories.
Proceedings of the Advanced Information Systems Engineering, 2016

Modeling for Learning in Public Administrations - The Learn PAd Approach.
Proceedings of the Domain-Specific Conceptual Modeling, Concepts, Methods and Tools, 2016

2015
Collaborative Repositories in Model-Driven Engineering.
IEEE Softw., 2015

Metamodeling Architectures for Business Processess in Organizations.
Proceedings of the Projects Showcase, 2015

Managing uncertainty in bidirectional model transformations.
Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering, 2015

Supporting users to manage breaking and unresolvable changes in coupled evolution.
Proceedings of the Workshop on Domain-Specific Modeling, 2015

A Tool for Clustering Metamodel Repositories.
Proceedings of the MoDELS 2015 Demo and Poster Session co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), 2015

Model Repositories: Will They Become Reality?
Proceedings of the 3rd International Workshop on Model-Driven Engineering on and for the Cloud 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), 2015

Mining Correlations of ATL Model Transformation and Metamodel Metrics.
Proceedings of the 7th IEEE/ACM International Workshop on Modeling in Software Engineering, 2015

2014
Introduction to the SoSyM theme issue on models and evolution.
Softw. Syst. Model., 2014

Guest editorial to the special issue on Success Stories in Model Driven Engineering.
Sci. Comput. Program., 2014

Extreme Modelling (XM) 2012 Special Section.
J. Object Technol., 2014

Describing the Correlations between Metamodels and Transformations Aspects.
Proceedings of the Post-proceedings of the Seventh Seminar on Advanced Techniques and Tools for Software Evolution, 2014

Representing Uncertainty in Bidirectional Transformations.
Proceedings of the Post-proceedings of the Seventh Seminar on Advanced Techniques and Tools for Software Evolution, 2014

Towards a Taxonomy for Bidirectional Transformation.
Proceedings of the Post-proceedings of the Seventh Seminar on Advanced Techniques and Tools for Software Evolution, 2014

Qualifying Chains of Transformation with Coverage-based Evaluation Criteria.
Proceedings of the Post-proceedings of the Seventh Seminar on Advanced Techniques and Tools for Software Evolution, 2014

Dealing with the Coupled Evolution of Metamodels and Model-to-text Transformations.
Proceedings of the Workshop on Models and Evolution co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2014), 2014

Towards Analysing Non-Determinism in Bidirectional Transformations.
Proceedings of the Workshop on Analysis of Model Transformations co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), 2014

MDEForge: an Extensible Web-Based Modeling Platform.
Proceedings of the 2nd International Workshop on Model-Driven Engineering on and for the Cloud co-located with the 17th International Conference on Model Driven Engineering Languages and Systems, 2014

Automated Chaining of Model Transformations with Incompatible Metamodels.
Proceedings of the Model-Driven Engineering Languages and Systems, 2014

Mining metrics for understanding metamodel characteristics.
Proceedings of the 6th International Workshop on Modeling in Software Engineering, 2014

Uncertainty in bidirectional transformations.
Proceedings of the 6th International Workshop on Modeling in Software Engineering, 2014

2013
Managing the evolution of data-intensive Web applications by model-driven techniques.
Softw. Syst. Model., 2013

A Methodological Approach for the Coupled Evolution of Metamodels and ATL Transformations.
Proceedings of the Theory and Practice of Model Transformations, 2013

Managing the Coupled Evolution of Metamodels and Textual Concrete Syntax Specifications.
Proceedings of the 39th Euromicro Conference on Software Engineering and Advanced Applications, 2013

Traceability visualization in metamodel change impact detection.
Proceedings of the Second Workshop on Graphical Modeling Language Development, 2013

2012
A model-driven approach to automate the propagation of changes among Architecture Description Languages.
Softw. Syst. Model., 2012

Coupled Evolution in Model-Driven Engineering.
IEEE Softw., 2012

On the Impact Significance of Metamodel Evolution in MDE.
J. Object Technol., 2012

Managing the Evolution of FOSS Systems.
ERCIM News, 2012

Model Transformations.
Proceedings of the Formal Methods for Model-Driven Engineering, 2012

Performance-driven architectural refactoring through bidirectional model transformations.
Proceedings of the 8th international ACM SIGSOFT conference on Quality of Software Architectures, 2012

Summary of the 6th International Workshop on Models and Evolution (ME 2012).
Proceedings of the 6th International Workshop on Models and Evolution, 2012

Summary of the Extreme Modeling Workshop (XM 2012).
Proceedings of the 2012 Extreme Modeling Workshop, 2012

Bridging state-based differencing and co-evolution.
Proceedings of the 6th International Workshop on Models and Evolution, 2012

EVOSS: A tool for managing the evolution of free and open source software systems.
Proceedings of the 34th International Conference on Software Engineering, 2012

Translational Semantics of a Co-evolution Specific Language with the EMF Transformation Virtual Machine.
Proceedings of the Theory and Practice of Model Transformations, 2012

Evolutionary Togetherness: How to Manage Coupled Evolution in Metamodeling Ecosystems.
Proceedings of the Graph Transformations - 6th International Conference, 2012

Model-Driven Techniques to Enhance Architectural Languages Interoperability.
Proceedings of the Fundamental Approaches to Software Engineering, 2012

2011
Supporting software evolution in component-based FOSS systems.
Sci. Comput. Program., 2011

A categorization for conflicts in model versioning.
Elektrotech. Informationstechnik, 2011

Summary of the Second International Workshop on Models and Evolution.
Proceedings of the Models in Software Engineering, 2011

What is needed for managing co-evolution in MDE?
Proceedings of the 2nd International Workshop on Model Comparison in Practice, 2011

On the concurrent versioning of metamodels and models: challenges and possible solutions.
Proceedings of the 2nd International Workshop on Model Comparison in Practice, 2011

Mechanisms for Leveraging Models at Runtime in Self-adaptive Software.
Proceedings of the Models@run.time - Foundations, Applications, and Roadmaps [Dagstuhl Seminar 11481, November 27, 2011

2010
Guest editorial to the special section on model transformation.
Softw. Syst. Model., 2010

Automated Co-evolution of GMF Editor Models.
Proceedings of the Software Language Engineering - Third International Conference, 2010

JTL: A Bidirectional and Change Propagating Transformation Language.
Proceedings of the Software Language Engineering - Third International Conference, 2010

Models and Evolution - ME2010.
Proceedings of the Models in Software Engineering, 2010

Developing next generation ADLs through MDE techniques.
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Digging into UML models to remove performance antipatterns.
Proceedings of the 2010 ICSE Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems, 2010

ByADL: An MDE Framework for Building Extensible Architecture Description Languages.
Proceedings of the Software Architecture, 4th European Conference, 2010

2009
Guest editorial to the special section on model transformation.
Softw. Syst. Model., 2009

Towards maintainer script modernization in FOSS distributions
CoRR, 2009

Towards a Framework for Distributed and Collaborative Modeling.
Proceedings of the 18th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, 2009

Model Patches in Model-Driven Engineering.
Proceedings of the Models in Software Engineering, 2009

beContent: A Model-Driven Platform for Designing and Maintaining Web Applications.
Proceedings of the Web Engineering, 9th International Conference, 2009

Different models for model matching: An analysis of approaches to support model differencing.
Proceedings of the 2009 ICSE Workshop on Comparison and Versioning of Software Models, 2009

Managing Dependent Changes in Coupled Evolution.
Proceedings of the Theory and Practice of Model Transformations, 2009

Approaching the Model-Driven Generation of Feedback to Remove Software Performance Flaws.
Proceedings of the 35th Euromicro Conference on Software Engineering and Advanced Applications, 2009

A Model Driven Approach to Upgrade Package-Based Software Systems.
Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2009

Towards a Model Driven Approach to Upgrade Complex Software Systems.
Proceedings of the ENASE 2009, 2009

2008
Model Co-evolution and Consistency Management (MCCM'08).
Proceedings of the Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28, 2008

Managing Model Conflicts in Distributed Development.
Proceedings of the Model Driven Engineering Languages and Systems, 2008

Change Management in Multi-Viewpoint System Using ASP.
Proceedings of the Workshops Proceedings of the 12th International IEEE Enterprise Distributed Object Computing Conference, 2008

Automating Co-evolution in Model-Driven Engineering.
Proceedings of the 12th International IEEE Enterprise Distributed Object Computing Conference, 2008

2007
Special issue on model transformation.
Sci. Comput. Program., 2007

A Metamodel Independent Approach to Difference Representation.
J. Object Technol., 2007

2006
Supporting Web Applications development with a PLA.
J. Web Eng., 2006

Interoperability mapping from XML schemas to ER diagrams.
Data Knowl. Eng., 2006

Weaving concerns in model based development of data-intensive web applications.
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Towards a model-driven join point model.
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Special track on model transformation (MT 2006).
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

TowardsWeaving Software Architecture Models.
Proceedings of the Joint Meeting of The Fourth Workshop on Model-Based Development of Computrer-Based Systems and The Third International Workshop on Model-based Methodologies for Pervasive and Embedded Software, 2006

2005
A product line architecture for web applications.
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Engineering MDA into Compositional Reasoning for Analyzing Middleware-Based Applications.
Proceedings of the Software Architecture, 2nd European Workshop, 2005

Model Transformations in the Development of Data-Intensive Web Applications.
Proceedings of the Advanced Information Systems Engineering, 17th International Conference, 2005

2004
A data-modelling approach to web application synthesis.
Int. J. Web Eng. Technol., 2004

2003
Xere: Towards a Natural Interoperability between XML and ER Diagrams.
Proceedings of the Fundamental Approaches to Software Engineering, 2003

2001
Generating an action notation environment from Montages descriptions.
Int. J. Softw. Tools Technol. Transf., 2001

2000
Using Domain-Specific Languages for the Realization of Component Composition.
Proceedings of the Fundamental Approaches to Software Engineering, 2000

1999
Enhanced Control Flow Graphs in Montages.
Proceedings of the Perspectives of System Informatics, 1999

Tool Support for Language Design and Prototyping with Montages.
Proceedings of the Compiler Construction, 8th International Conference, 1999

1998
Montages/Gem-Mex: A Meta Visual Programming Generator.
Proceedings of the Proceedings 1998 IEEE Symposium on Visual Languages, 1998

1997
The Formal Specification of Oberon.
J. Univers. Comput. Sci., 1997

Montages Specifications of Realistic Programming Languages.
J. Univers. Comput. Sci., 1997

1994
An Algebraic Theory of Class Specification.
ACM Trans. Softw. Eng. Methodol., 1994

Reusing Object Oriented Design: An Algebraic Approach.
Proceedings of the Object-Oriented Methodologies and Systems, 1994

Dynamical Behavior of Object Systems.
Proceedings of the Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30, 1994

1993
Towards the Algebraic Specification of Classes in Object Oriented Programming.
Proceedings of the Current Trends in Theoretical Computer Science - Essays and Tutorials, 1993

1992
System Design as Derivation via Rewriting.
Proceedings of the SEKE'92, 1992

Structured Inheritance for Algebraic Class Specifications.
Proceedings of the Recent Trends in Data Type Specification, 1992

1991
Towards the Algebraic Specification of Classes in Object Oriented Programming.
Bull. EATCS, 1991

An Algebraic View of Inheritance and Subtyping in Object Oriented Programming.
Proceedings of the ESEC '91, 1991


  Loading...