Kim Mens

According to our database, Kim Mens authored at least 112 papers between 1994 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Visual Assurance in Refactoring Through Trace Equivalence of Control Flow Graphs.

Céline Deknop, Johan Fabry, Kim Mens, Vadim Zaytsev

Proceedings of the IEEE International Conference on Software Analysis, 2024

Combinatorial Transition Testing in Dynamically Adaptive Systems.

Pierre Martou, Benoît Duhoux, Kim Mens, Axel Legay

Proceedings of the 18th International Working Conference on Variability Modelling of Software-Intensive Systems, 2024

2023

Test scenario generation for feature-based context-oriented software systems.

Pierre Martou, Kim Mens, Benoît Duhoux, Axel Legay

J. Syst. Softw., 2023

Extracting Unit Tests from Patterns Mined in Student Code to Provide Improved Feedback in Autograders.

Julien Liénard, Kim Mens, Siegfried Nijssen

Proceedings of the 15th Seminar on Advanced Techniques & Tools for Software Evolution, University of Salerno, Computer Science Department, 2023

Beyond Combinatorial Interaction Testing: On the need for transition testing in dynamically adaptive context-aware systems.

Pierre Martou, Benoît Duhoux, Kim Mens, Axel Legay

Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2023, 2023

2022

Programming language implementations for context-oriented self-adaptive systems.

Nicolás Cardozo, Kim Mens

Inf. Softw. Technol., 2022

An Analysis of Tutors' Adoption of Explicit Instructional Strategies in an Introductory Programming Course.

Olivier Goletti, Kim Mens, Felienne Hermans

Proceedings of the Koli Calling '22: 22nd Koli Calling International Conference on Computing Education Research, 2022

Generating Customised Control Flow Graphs for Legacy Languages with Semi-Parsing.

Céline Deknop, Johan Fabry, Kim Mens, Vadim Zaytsev

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2022

Generating Virtual Scenarios for Cyber Ranges from Feature-Based Context-Oriented Models: A Case Study.

Pierre Martou, Kim Mens, Benoît Duhoux, Axel Legay

Proceedings of the COP@ECOOP 2022: International Workshop on Context-Oriented Programming and Advanced Modularity (collocated with ECOOP), 2022

2021

Test Scenario Generation for Context-Oriented Programs.

Pierre Martou, Kim Mens, Benoît Duhoux, Axel Legay

CoRR, 2021

A Scalable Log Differencing Visualisation Applied to COBOL Refactoring.

Céline Deknop, Kim Mens, Alexandre Bergel, Johan Fabry, Vadim Zaytsev

Proceedings of the Working Conference on Software Visualization, 2021

The good, the bad, and the ugly: mining for patterns in student source code.

Kim Mens, Siegfried Nijssen, Hoang-Son Pham

Proceedings of the EASEAI 2021: Proceedings of the 3rd International Workshop on Education through Advanced Software Engineering and Artificial Intelligence, 2021

Tutors' Experiences in Using Explicit Strategies in a Problem-Based Learning Introductory Programming Course.

Olivier Goletti, Kim Mens, Felienne Hermans

Proceedings of the ITiCSE '21: Proceedings of the 26th ACM Conference on Innovation and Technology in Computer Science Education V.1, Virtual Event, Germany, June 26, 2021

2020

Improving a Software Modernisation Process by Differencing Migration Logs.

Céline Deknop, Johan Fabry, Kim Mens, Vadim Zaytsev

Proceedings of the Product-Focused Software Process Improvement, 2020

2019

A Language-Parametric Modular Framework for Mining Idiomatic Code Patterns.

Dario Di Nucci, Hoang-Son Pham, Johan Fabry, Coen De Roover, Kim Mens, Tim Molderez, Siegfried Nijssen, Vadim Zaytsev

Proceedings of the Seminar Series on Advanced Techniques & Tools for Software Evolution (SATTOSE 2019), 2019

Lessons and Pitfalls in Building Firefox with Tup.

Guillaume Maudoux, Kim Mens

Proceedings of the Seminar Series on Advanced Techniques & Tools for Software Evolution (SATTOSE 2019), 2019

A Context and Feature Visualisation Tool for a Feature-Based Context-Oriented Programming Language.

Benoît Duhoux, Kim Mens, Bruno Dumas, Hoo Sing Leung

Proceedings of the Seminar Series on Advanced Techniques & Tools for Software Evolution (SATTOSE 2019), 2019

Dynamic visualisation of features and contexts for context-oriented programmers.

Benoît Duhoux, Bruno Dumas, Hoo Sing Leung, Kim Mens

Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2019

Implementation of a Feature-Based Context-Oriented Programming Language.

Benoît Duhoux, Kim Mens, Bruno Dumas

Proceedings of the Workshop on Context-oriented Programming, 2019

Mining Patterns in Source Code Using Tree Mining Algorithms.

Hoang-Son Pham, Siegfried Nijssen, Kim Mens, Dario Di Nucci, Tim Molderez, Coen De Roover, Johan Fabry, Vadim Zaytsev

Proceedings of the Discovery Science - 22nd International Conference, 2019

Clone Detection vs. Pattern Mining: The Battle.

Céline Deknop, Simon Baars, Kim Mens, Ana Oprescu, Johan Fabry

Proceedings of the 18th Belgium-Netherlands Software Evolution Workshop, 2019

2018

Correct, Efficient, and Tailored: The Future of Build Systems.

Guillaume Maudoux, Kim Mens

IEEE Softw., 2018

Feature Visualiser: an Inspection Tool for Context-Oriented Programmers.

Benoît Duhoux, Kim Mens, Bruno Dumas

Proceedings of the 10th International Workshop on Context-Oriented Programming: Advanced Modularity for Run-time Composition, 2018

2017

Modeling and Managing Context-Aware Systems' Variability.

Kim Mens, Rafael Capilla, Herman Hartmann, Thomas Kropf

IEEE Softw., 2017

JPC: A library for categorising and applying inter-language conversions between Java and Prolog.

Sergio Castro, Kim Mens, Paulo Moura

Sci. Comput. Program., 2017

Guest editors' introduction to the 6th issue of Experimental Software and Toolkits (EST-6).

Mark G. J. van den Brand, Jurgen J. Vinju, Kim Mens

Sci. Comput. Program., 2017

Analyzing software evolution and quality by extracting Asynchrony change patterns.

Fehmi Jaafar, Angela Lozano, Yann-Gaël Guéhéneuc, Kim Mens

J. Syst. Softw., 2017

On the Analysis of Co-Occurrence of Anti-Patterns and Clones.

Fehmi Jaafar, Angela Lozano, Yann-Gaël Guéhéneuc, Kim Mens

Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

Managing the Context Interaction Problem: A Classification and Design Space of Conflict Resolution Techniques in Dynamically Adaptive Software Systems.

Kim Mens, Benoît Duhoux, Nicolás Cardozo

Proceedings of the Companion to the first International Conference on the Art, 2017

2016

Taming context-sensitive languages with principled stateful parsing.

Nicolas Laurent, Kim Mens

Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, Amsterdam, The Netherlands, October 31, 2016

Beyond Context-Oriented Software.

Kim Mens, Nicolás Cardozo, Bruno Dumas, Anthony Cleve

Proceedings of the Post-proceedings of the 9th Seminar on Advanced Techniques and Tools for Software Evolution, 2016

A Context-Oriented Software Architecture.

Kim Mens, Nicolás Cardozo, Benoît Duhoux

Proceedings of the 8th International Workshop on Context-Oriented Programming, 2016

A taxonomy of context-aware software variability approaches.

Kim Mens, Rafael Capilla, Nicolás Cardozo, Bruno Dumas

Proceedings of the Companion Proceedings of the 15th International Conference on Modularity, Málaga, Spain, March 14, 2016

2015

Usage contracts: Offering immediate feedback on violations of structural source-code regularities.

Angela Lozano, Kim Mens, Andy Kellens

Sci. Comput. Program., 2015

Semantics for consistent activation in context-oriented systems.

Nicolás Cardozo, Sebastián González, Kim Mens, Ragnhild Van Der Straeten, Jorge Vallejos, Theo D'Hondt

Inf. Softw. Technol., 2015

Parsing expression grammars made practical.

Nicolas Laurent, Kim Mens

Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering, 2015

2014

Guest editors' introduction to the 4th issue of Experimental Software and Toolkits (EST-4).

Kim Mens, M. G. J. van den Brand, Holger M. Kienle

Sci. Comput. Program., 2014

Clones and Macro co-changes.

Angela Lozano, Fehmi Jaafar, Kim Mens, Yann-Gaël Guéhéneuc

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014

Customisable Handling of Java References in Prolog Programs.

Sergio Castro, Kim Mens, Paulo Moura

CoRR, 2014

Features on demand.

Nicolás Cardozo, Wolfgang De Meuter, Kim Mens, Sebastián González, Pierre-Yves Orban

Proceedings of the Eighth International Workshop on Variability Modelling of Software-intensive Systems, 2014

A Critique on Code Critics.

Angela Lozano, Gabriela Arévalo, Kim Mens

Proceedings of the Post-proceedings of the Seventh Seminar on Advanced Techniques and Tools for Software Evolution, 2014

Source Code-Based Recommendation Systems.

Kim Mens, Angela Lozano

Proceedings of the Recommendation Systems in Software Engineering, 2014

2013

Modeling and Analyzing Self-Adaptive Systems with Context Petri Nets.

Nicolás Cardozo, Sebastián González, Kim Mens, Ragnhild Van Der Straeten, Theo D'Hondt

Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

LogicObjects: Enabling Logic Programming in Java through Linguistic Symbiosis.

Sergio Castro, Kim Mens, Paulo Moura

Proceedings of the Practical Aspects of Declarative Languages, 2013

Models for the Consistent Interaction of Adaptations in Self-Adaptive Systems.

Nicolás Cardozo, Kim Mens, Siobhán Clarke

Proceedings of the Software Engineering for Self-Adaptive Systems III. Assurances, 2013

Context traits: dynamic behaviour adaptation through run-time trait recomposition.

Sebastián González, Kim Mens, Marius Colacioiu, Walter Cazzola

Proceedings of the Aspect-Oriented Software Development, 2013

2012

Automated assessment of correctness of recommendation systems.

Angela Lozano, Andy Kellens, Kim Mens

Proceedings of the Third International Workshop on Recommendation Systems for Software Engineering, 2012

LogicObjects: a linguistic symbiosis approach to bring the declarative power of Prolog to Java.

Sergio Castro, Kim Mens, Paulo Moura

Proceedings of the 9th ECOOP Workshop on Reflection, 2012

DynamicSchema: a lightweight persistency framework for context-oriented data management.

Sergio Castro, Sebastián González, Kim Mens, Marcus Denker

Proceedings of the International Workshop on Context-Oriented Programming, 2012

Uniting global and local context behavior with context Petri nets.

Nicolás Cardozo, Sebastián González, Kim Mens, Theo D'Hondt

Proceedings of the International Workshop on Context-Oriented Programming, 2012

Context Petri Nets: Enabling Consistent Composition of Context-dependent Behavior.

Nicolás Cardozo, Jorge Vallejos, Sebastián González, Kim Mens, Theo D'Hondt

Proceedings of the International Workshop on Petri Nets and Software Engineering, 2012

2011

Diagnosing and correcting design inconsistencies in source code with logical abduction.

Sergio Castro, Coen De Roover, Andy Kellens, Angela Lozano, Kim Mens, Theo D'Hondt

Sci. Comput. Program., 2011

Mendel: Source code recommendation based on a genetic metaphor.

Angela Lozano, Andy Kellens, Kim Mens

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Preface to Variability@ER'11.

Iris Reinhartz-Berger, Arnon Sturm, Kim Mens

Proceedings of the Advances in Conceptual Modeling. Recent Developments and New Directions - ER 2011 Workshops FP-UML, MoRE-BI, Onto-CoM, SeCoGIS, Variability@ER, WISM, Brussels, Belgium, October 31, 2011

Safer context (de)activation: through the prompt-loyal strategy.

Nicolás Cardozo, Sebastián González, Kim Mens, Theo D'Hondt

Proceedings of the 3rd International Workshop on Context-Oriented Programming, 2011

2010

Automated generation of program translation and verification tools using annotated grammars.

Diego Ordóñez Camacho, Kim Mens, Mark van den Brand, Jurgen J. Vinju

Sci. Comput. Program., 2010

Guest editors' introduction to the 3rd issue of Experimental Software and Toolkits (EST): A special issue on Academic Software Development Tools and Techniques (WASDeTT 2008).

Mark G. J. van den Brand, Kim Mens

Sci. Comput. Program., 2010

Mining Source Code for Structural Regularities.

Angela Lozano, Andy Kellens, Kim Mens, Gabriela Arévalo

Proceedings of the 17th Working Conference on Reverse Engineering, 2010

Predicated Generic Functions.

Jorge Vallejos, Sebastián González, Pascal Costanza, Wolfgang De Meuter, Theo D'Hondt, Kim Mens

Proceedings of the Software Composition - 9th International Conference, 2010

Subjective-C - Bringing Context to Mobile Platform Programming.

Sebastián González, Nicolás Cardozo, Kim Mens, Alfredo Cádiz, Jean-Christophe Libbrecht, Julien Goffaux

Proceedings of the Software Language Engineering - Third International Conference, 2010

Second International Workshop on Software Research and Climate Change.

Steve M. Easterbrook, Kim Mens, Steffen Zschaler

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

2009

Tool Building on the Shoulders of Others.

Holger M. Kienle, Adrian Kuhn, Kim Mens, Mark van den Brand, Roel Wuyts

IEEE Softw., 2009

Orchestrating context-aware systems: a design perspective.

Alfredo Cádiz, Sebastián González, Kim Mens

Proceedings of the first international workshop on Context-aware software technology and applications, 2009

Diagnosis and semi-automatic correction of detected design inconsistencies in source code.

Sergio Castro, Johan Brichau, Kim Mens

Proceedings of the International Workshop on Smalltalk Technologies, 2009

Transactional contexts: harnessing the power of context-oriented reflection.

Sebastián González, Marcus Denker, Kim Mens

Proceedings of the International Workshop on Context-Oriented Programming, 2009

2008

Context-Oriented Programming with the Ambient Object System.

Sebastián González, Kim Mens, Alfredo Cádiz

J. Univers. Comput. Sci., 2008

Application-specific models and pointcuts using a logic metalanguage.

Johan Brichau, Andy Kellens, Kris Gybels, Kim Mens, Robert Hirschfeld, Theo D'Hondt

Comput. Lang. Syst. Struct., 2008

Pitfalls in Aspect Mining.

Kim Mens, Andy Kellens, Jens Krinke

Proceedings of the WCRE 2008, 2008

PALTA: Peer-to-peer AdaptabLe Topology for Ambient intelligence.

Alfredo Cádiz, Boris Mejías, Jorge Vallejos, Kim Mens, Peter Van Roy, Wolfgang De Meuter

Proceedings of the XXVII International Conference of the Chilean Computer Science Society (SCCC 2008), 2008

A Self-Adaptable Network Topology for Ambient Intelligence.

Boris Mejías, Alfredo Cádiz, Peter Van Roy, Kim Mens

Proceedings of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2008

APPAREIL: A Tool for Building Automated Program Translators Using Annotated Grammars.

Diego Ordóñez Camacho, Kim Mens

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

Enforcing Structural Regularities in Source Code using IntensiVE.

Johan Brichau, Andy Kellens, Kim Mens

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

Academic Software Development Tools and Techniques.

Roel Wuyts, Holger M. Kienle, Kim Mens, Mark van den Brand, Adrian Kuhn

Proceedings of the Object-Oriented Technology. ECOOP 2008 Workshop Reader, 2008

2007

A Survey of Automated Code-Level Aspect Mining Techniques.

Andy Kellens, Kim Mens, Paolo Tonella

LNCS Trans. Aspect Oriented Softw. Dev., 2007

Preface of the Proceedings of the Third International ERCIM Symposium on Software Evolution - EVOL 2007.

Tom Mens, Kim Mens, Ellen Van Paesschen, Maja D'Hondt

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2007

A Unified Mechanism for Improving Advanced Transaction Management in Web Services.

Sergio Castro, Johan Fabry, Kim Mens, Theo D'Hondt

Proceedings of the XXVI International Conference of the Chilean Computer Science Society (SCCC 2007), 2007

Open Unification for Program Query Languages.

Johan Brichau, Coen De Roover, Kim Mens

Proceedings of the XXVI International Conference of the Chilean Computer Science Society (SCCC 2007), 2007

Object-Oriented Reengineering.

Serge Demeyer, Yann-Gaël Guéhéneuc, Anne Keller, Christian F. J. Lange, Kim Mens, Adrian Kuhn, Martin Kuhlemann

Proceedings of the Object-Oriented Technology. ECOOP 2007 Workshop Reader, 2007

Highly dynamic behaviour adaptability through prototypes with subjective multimethods.

Sebastián González, Kim Mens, Patrick Heymans

Proceedings of the 2007 Symposium on Dynamic Languages, 2007

2006

Applying and combining three different aspect Mining Techniques.

Mariano Ceccato, Marius Marin, Kim Mens, Leon Moonen, Paolo Tonella, Tom Tourwé

Softw. Qual. J., 2006

Automated Derivation of Translators From Annotated Grammars.

Diego Ordóñez Camacho, Kim Mens, Mark van den Brand, Jurgen J. Vinju

Proceedings of the Sixth Workshop on Language Descriptions, Tools, and Applications, 2006

Co-evolving code and design with intensional views: A case study.

Kim Mens, Andy Kellens, Frédéric Pluquet, Roel Wuyts

Comput. Lang. Syst. Struct., 2006

Application-Specific Models and Pointcuts Using a Logic Meta Language.

Johan Brichau, Andy Kellens, Kris Gybels, Kim Mens, Robert Hirschfeld, Theo D'Hondt

Proceedings of the Advances in Smalltalk, 14th International Smalltalk Conference, 2006

Object-Oriented Reengineering.

Roel Wuyts, Serge Demeyer, Yann-Gaël Guéhéneuc, Kim Mens, Stéphane Ducasse

Proceedings of the Object-Oriented Technology, ECOOP 2006 Workshop Reader, 2006

Managing the Evolution of Aspect-Oriented Software with Model-Based Pointcuts.

Andy Kellens, Kim Mens, Johan Brichau, Kris Gybels

Proceedings of the ECOOP 2006, 2006

IntensiVE, a toolsuite for documenting and checking structural source-code regularities.

Kim Mens, Andy Kellens

Proceedings of the 10th European Conference on Software Maintenance and Reengineering (CSMR 2006), 2006

A Comparative Framework for Design Recovery Tools.

Yann-Gaël Guéhéneuc, Kim Mens, Roel Wuyts

Proceedings of the 10th European Conference on Software Maintenance and Reengineering (CSMR 2006), 2006

2005

Delving source code with formal concept analysis.

Kim Mens, Tom Tourwé

Comput. Lang. Syst. Struct., 2005

A Qualitative Comparison of Three Aspect Mining Techniques.

Mariano Ceccato, Marius Marin, Kim Mens, Leon Moonen, Paolo Tonella, Tom Tourwé

Proceedings of the 13th International Workshop on Program Comprehension (IWPC 2005), 2005

The Intensional View Environment.

Kim Mens, Andy Kellens, Frédéric Pluquet, Roel Wuyts

Proceedings of the 21st IEEE International Conference on Software Maintenance, 2005

Towards a Framework for Testing Structural Source-Code Regularities.

Kim Mens, Andy Kellens

Proceedings of the 21st IEEE International Conference on Software Maintenance (ICSM 2005), 2005

2004

Mining Aspectual Views using Formal Concept Analysis.

Tom Tourwé, Kim Mens

Proceedings of the 4th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2004), 2004

Fifth International Workshop on Object-Oriented Reengineering.

Roel Wuyts, Stéphane Ducasse, Serge Demeyer, Kim Mens

Proceedings of the Object-Oriented Technology: ECOOP 2004 Workshop Reader, 2004

2003

Declarative Meta Programming to Support Software Development: Workshop Report.

Tom Mens, Roel Wuyts, Kris De Volder, Kim Mens

ACM SIGSOFT Softw. Eng. Notes, 2003

Using Intentional Source-Code Views to Aid Software Maintenance.

Kim Mens, Bernard Poll, Sebastián González

Proceedings of the 19th International Conference on Software Maintenance (ICSM 2003), 2003

Object-Oriented Reengineering.

Serge Demeyer, Stéphane Ducasse, Kim Mens, Adrian Trifu, Rajesh Vasa, Filip Van Rysselberghe

Proceedings of the Object-Oriented Technology: ECOOP 2003 Workshop Reader, 2003

2002

Supporting software development through declaratively codified programming patterns.

Kim Mens, Isabel Michiels, Roel Wuyts

Expert Syst. Appl., 2002

Maintaining software through intentional source-code views.

Kim Mens, Tom Mens, Michel Wermelinger

Proceedings of the 14th international conference on Software engineering and knowledge engineering, 2002

Supporting software evolution with intentional software views.

Kim Mens, Tom Mens, Michel Wermelinger

Proceedings of the International Workshop on Principles of Software Evolution, 2002

Building Composable Aspect-Specific Languages with Logic Metaprogramming.

Johan Brichau, Kim Mens, Kris De Volder

Proceedings of the Generative Programming and Component Engineering, 2002

Knowledge-Based Object-Oriented Software Engineering.

Maja D'Hondt, Kim Mens, Ellen Van Paesschen

Proceedings of the Object-Oriented Technology, 2002

2001

Supporting Software Development through Declaratively Codified Programming.

Kim Mens, Isabel Michiels, Roel Wuyts

Proceedings of the Thirteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2001), 2001

1999

Declaratively Codifying Software Architectures Using Virtual Software Classifications.

Kim Mens, Roel Wuyts, Theo D'Hondt

Proceedings of the TOOLS Europe 1999: 29th International Conference on Technology of Object-Oriented Languages and Systems, 1999

Managing Unanticipated Evolution of Software Architectures.

Kim Mens, Tom Mens, Bart Wouters, Roel Wuyts

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

1998

Workshop Report - ECOOP'98 Workshop 7: Tools and Environments for Business Rules.

Kim Mens, Roel Wuyts, Dirk Bontridder, Alain Grijseels

Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

Assessing the Evolvability of Software Architectures.

Tom Mens, Kim Mens

Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

1997

Combining Software Descriptions.

Kim Mens, Tom Mens, Patrick Steyaert, Koen De Hondt

Proceedings of the Object-Oriented Technology, ECOOP'97 Workshop Reader, 1997

Aspect-Oriented Programming Workshop Report.

Kim Mens, Cristina Videira Lopes, Bedir Tekinerdogan, Gregor Kiczales

Proceedings of the Object-Oriented Technology, ECOOP'97 Workshop Reader, 1997

Managing Software Evolution through Reuse Contracts.

Carine Lucas, Patrick Steyaert, Kim Mens

Proceedings of the 1st Euromicro Working Conference on Software Maintenance and Reengineering (CSMR '97), 1997

1996

Reuse Contracts: Managing the Evolution of Reusable Assets.

Patrick Steyaert, Carine Lucas, Kim Mens, Theo D'Hondt

Proceedings of the 1996 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1996

1994

OPUS: A Calculus for Modelling Object-Oriented Concepts.

Tom Mens, Kim Mens, Patrick Steyaert

Proceedings of the 1994 International Conference on Object Oriented Information Systems, 1994

OPUS: a Formal Approach to Object-Orientation.

Tom Mens, Kim Mens, Patrick Steyaert

Proceedings of the FME '94: Industrial Benefit of Formal Methods, 1994