Van Deursen, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, Little Languages, Little Maintenance, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
A. Van Deursen, J. Heering, M. De Jonge, T. Kuipers, P. Klint, L. Moonen, ...
Abstract. The ASF+SDF Meta-Environment is an interactive development environment for the automatic generation of interactive systems for constructing language definitions and generating tools for...
A. Van Deursen, J. Heering, M. De Jonge, T. Kuipers, P. Klint, L. Moonen, ...
Abstract. The Asf+Sdf Meta-Environment is an interactive development environment for the automatic generation of interactive systems for constructing language denitions and generating tools for them....
A. Van Deursen, G. Kok, Mathematisch Centrum (smc, The Dutch Foundation, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Program Comprehension Risks and Opportunities (2007)
A. Van Deursen, Mathematisch Centrum (smc, The Dutch Foundation
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
A. Van Deursen, J. Heering, M. De Jonge, T. Kuipers, P. Klint, L. Moonen, ...
Abstract. The ASF+SDF Meta-Environment is an interactive development environment for the automatic generation of interactive systems for constructing language definitions and generating tools for...
Discovering faults in idiom-based exception handling (2006)
M. Bruntink, A. Van Deursen, T. Tourwé, Magiel Bruntink
CWI is a founding member of ERCIM, the European Research Consortium for Informatics and Mathematics. CWI's research has a theme-oriented structure and is grouped into four clusters. Listed below...
Evaluating an Embedded Software Reference Architecture -- Industrial Experience Report (2005)
Graaf, B., Dijk, H.W. Van, Deursen, A. Van
We discuss experiences gained during evaluation of the maintainability of a reference architecture in use at Oce, one of the worlds leading copier manufacturers. The evaluation is conducted using an...
CWI is a founding member of ERCIM, the European Research Consortium for Informatics and Mathematics. CWI's research has a theme-oriented structure and is grouped into four clusters. Listed below...
Software ENgineering Crosscutting concerns in J2EE applications (2005)
CWI is a founding member of ERCIM, the European Research Consortium for Informatics and Mathematics. CWI's research has a theme-oriented structure and is grouped into four clusters. Listed below...
M. Bruntink, A. Van Deursen, T. Tourwé, Magiel Bruntink
CWI is a founding member of ERCIM, the European Research Consortium for Informatics and Mathematics. CWI's research has a theme-oriented structure and is grouped into four clusters. Listed below...
Managing Evolving Requirements in an Outsourcing Context: An Industrial Experience Report (2004)
Lormans, M., Dijk, H.W. Van, Deursen, A. Van, Noecker, E., Zeeuw, A. De
We discuss several difficulties managing evolving requirements by means of an industrial case study conducted at LogicaCMG. We report on setting up a requirements management system in an outsourcing...
Europa, kerngebied voor veranderingen in de wereld (2004)
Rijntjes, G., Deursen, A. Van, Goudoever, A. Van, Manschot, H., Schnabel, P., Vidal, R., ...
Om in 2004 aandacht te geven aan Europa is geen verrassing meer. Terrorisme en occidentalisme en het individuele verdriet van de willekeurige slachtoffers doen onze aandacht telkens terecht daarop...
An evaluation of clone detection techniques for identifying crosscutting concerns (2004)
M. Bruntink, A. Van Deursen, R. Van Engelen, T. Tourwé
CWI is a founding member of ERCIM, the European Research Consortium for Informatics and Mathematics. CWI's research has a theme-oriented structure and is grouped into four clusters. Listed below...
Predicting Class Testability using Object-Oriented Metrics (2004)
M. Bruntink, A. Van Deursen, Magiel Bruntink
CWI is a founding member of ERCIM, the European Research Consortium for Informatics and Mathematics. CWI's research has a theme-oriented structure and is grouped into four clusters. Listed below...
Symphony: View-Driven Software Architecture Reconstruction (2004)
A. Van Deursen, C. Hofmeister, R. Koschke, C. Riva
Authentic descriptions of a software architecture are required as a reliable foundation for any but trivial changes to a system. Far too often, architecture descriptions of existing systems are out...
SEN Identifying aspects using fan-in analysis (2004)
A. M. Marin, A. Van Deursen, Marius Marin
CWI is a founding member of ERCIM, the European Research Consortium for Informatics and Mathematics. CWI's research has a theme-oriented structure and is grouped into four clusters. Listed below...
Domain-specific language design requires feature descriptions (2002)
A. Van Deursen, P. Klint, Arie Deursen, Paul Klint
Domain-specific language design requires feature descriptions
Building Program Understanding Tools Using Visitor Combinators (2002)
A. Van Deursen, Arie Van Deursen, Joost Visser
Building program understanding tools using visitor combinators
Domain-specific language design requires feature descriptions (2002)
A. Van Deursen, P. Klint, Arie Deursen, Paul Klint
Centrum voor Wiskunde en Informatica Software ENgineering Domain-specific language design requires feature descriptions
A. Van Deursen, T. Kuipers, Arie Van Deursen, Tobias Kuipers, Leon Moonen
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
The ASF+SDF Meta-Environment: a Component-Based Language Development Environment (2001)
A. Van Deursen, J. Heering, M. De Jonge, T. Kuipers, P. Klint, ...
Abstract. The ASF+SDF Meta-Environment is an interactive development environment for the automatic generation of interactive systems for constructing language definitions and generating tools for...
A. Van Deursen, T. Kuipers, Issn -x, Arie Van Deursen, Tobias Kuipers, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
A. Van Deursen, G. Kok, Issn -x, Copyright Stichting, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
The ASF+SDF Meta-Environment: a Component-Based Language Development Environment (2001)
A. Van Deursen, J. Heering, M. De Jonge, T. Kuipers, P. Klint, ...
Abstract. The ASF+SDF Meta-Environment is an interactive development environment for the auto-matic generation of interactive systems for constructing language definitions and generating tools for...
Domain-specific languages (2000)
A. Van Deursen, P. Klint, Arie Deursen, Paul Klint, Joost Visser
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Exploring legacy systems using types (2000)
A. Van Deursen, Mathematisch Centrum (smc, The Dutch Foundation, Arie Deursen, Leon Moonen
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Exploring legacy systems using types (2000)
A. Van Deursen, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Understanding COBOL Systems using Inferred Types (1999)
A. Van Deursen, Mathematisch Centrum (smc, The Dutch Foundation, Arie Van Deursen, Leon Moonen
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Building documentation generators (1999)
A. Van Deursen, T. Kuipers, Arie Van Deursen, Tobias Kuipers
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Building documentation generators (1999)
A. Van Deursen, T. Kuipers, Issn -x, Arie Van Deursen, Tobias Kuipers
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Identifying objects using cluster and concept analysis (1999)
A. Van Deursen, T. Kuipers, Arie Van Deursen, Tobias Kuipers
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Type inference for COBOL systems (1998)
A. Van Deursen, L. Moonen, Mathematisch Centrum (smc, The Dutch Foundation, Arie Van Deursen, Leon Moonen
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
A. Van Deursen, Mathematisch Centrum (smc, The Dutch Foundation, Arie Van Deursen
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
ABSTRACT Type Inference for COBOL Systems ∗ (1998)
A. Van Deursen, L. Moonen, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, Copyright Stichting, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Centrum voor Wiskunde en Informatica REPORTRAPPORT Report SEN-R9807 (1998)
A. Van Deursen, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Centrum voor Wiskunde en Informatica REPORTRAPPORT Report SEN-R9805 (1998)
A. Van Deursen, T. Kuipers, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Validating year 2000 compliance (1997)
A. Van Deursen, P. Klint, A. Sellink, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Validating year 2000 compliance (1997)
A. Van Deursen, P. Klint, A. Sellink, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Program plan recognition for year 2000 tools (1997)
A. Van Deursen, S. Woods, A. Quilici, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
The use of a domain-specific language can help to develop readable and maintainable applications in that domain with little effort. Alternatively, the same aims can be achieved by setting up an...
Validating year 2000 compliance (1997)
A. Van Deursen, P. Klint, A. Sellink, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Centrum voor Wiskunde en Informatica REPORTRAPPORT Report SEN-R9704 (1997)
A. Van Deursen, P. Klint, Issn -x, Little Languages, P. Klint
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
A. Van Deursen, S. Woods, A. Quilici, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Industrial Applications of ASF+SDF (1996)
Mark Van Den, A. Van Deursen, P. Klint, A. S. Klusener, ...
In recent years, a number of Dutch companies have used the algebraic specification formalism ASF+SDF. Bank MeesPierson has specified a language for describing interest rate products, their...
A. Van Deursen, P. Klint, A. S. Klusener
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Asf+Sdf'95: a workshop on Generating Tools from Algebraic Specifications (1995)
Deursen, A. Van, Dinesh, T.B., Kamperman, J.F.Th., Visser, E.
An Algebraic Specification of a Language for Describing Financial Products (1995)
We report on the use of formal methods and supporting tools during the development of a language applied in a banking environment. This language, called RISLA, is used to define the nature of the...
A. Van Deursen, A. Van Deursen, P. Klint, P. Klint, F. Tip, F. Tip
In the framework of conditional, not necessarily orthogonal, term rewriting systems, we introduce the notion of an origin. Origins are relations between subterms of intermediate terms which occur...
Origin tracking for higher-order term rewriting systems (1993)
A. Van Deursen, Arie Van Deursen, T. B. Dinesh, T. B. Dinesh
Origin Tracking is a technique which, in the framework of first-order term rewriting systems, establishes relations between each subterm t of a normal form and a set of subterms, the origins of t, in...
Origin tracking in primitive recursive schemes (1993)
A. Van Deursen, Arie Van Deursen
Algebraic specifications of programming languages can be used to generate language-specific programming support tools. Some of these can be obtained in a straightforward way by executing language...
A. Van Deursen, P. Klint, F. Tip
this paper is that of a path (occurrence), consisting of a sequence of natural numbers between brackets. Paths are used to indicate subterms of a term by interpreting numbers as argument positions of...
Specification and Generation of a A-calculus environment (1992)
A. Van Deursen, Arie Van Deursen
An algebraic specification of the-calculus is described. The specification covers valid substitutions, ff, fi, and j conversions, left-most reductions, and let-constructs for-definitions. The...
An algebraic specification for the static semantics of Pascal (1991)
A. Van Deursen, A. Van Deursen
Over the last few years, several formal specifications for the static semantics of Pascal have been given. Thus far, however, no algebraic specification has been published. In this document we...
An Algebraic Specification for the Static Semantics of Pascal (1991)
Over the last few years, several formal specifications for the static semantics of Pascal have been published. Thus far, however, no algebraic specification has been given. In this document we...