Chris Verhoef

dblp:v/ChrisVerhoef · DBLP profile ↗
← Back
40ranked-venue papers
5as first author
0since 2021 · last 2020
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 33 · 4 first-authorTheory of computation · 5 · 1 first-authorArtificial intelligence and machine learning · 1Databases, data management, data science and information retrieval · 1Applied, interdisciplinary, general and emerging computing · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Software engineering, system software, and programming languages
2 papers
Programming languages and type systems · 74% Compilers and program optimization · 16% Software maintenance and evolution · 10%
Theoretical computer science
1 paper
Logic in computer science · 100%

Topics — the 10 heaviest of 11, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Programming languages and type systems
grammar engineering
0.112005
Toward an engineering discipline for grammarware · ACM Trans. Softw. Eng. Methodol. 2005
Programming languages and type systems › grammar formalisms
grammar analysis
0.011998
Development, Assessment, and Reengineering of Language Descriptions · ASE 1998
Programming languages and type systems
language specification
0.011998
Development, Assessment, and Reengineering of Language Descriptions · ASE 1998
Software maintenance and evolution
software reengineering
0.011998
Development, Assessment, and Reengineering of Language Descriptions · ASE 1998
Logic in computer science › program semantics
operational semantics
0.011998
A Conservative Look at Operational Semantics with Variable Binding · Inf. Comput. 1998
Logic in computer science
process algebra
0.011998
A Conservative Look at Operational Semantics with Variable Binding · Inf. Comput. 1998
Logic in computer science › term rewriting
rule formats
0.011998
A Conservative Look at Operational Semantics with Variable Binding · Inf. Comput. 1998
Logic in computer science
variable binding
0.011998
A Conservative Look at Operational Semantics with Variable Binding · Inf. Comput. 1998
Compilers and program optimization › parsing
parser generation
0.012005
Toward an engineering discipline for grammarware · ACM Trans. Softw. Eng. Methodol. 2005
Compilers and program optimization
parsing
0.012005
Toward an engineering discipline for grammarware · ACM Trans. Softw. Eng. Methodol. 2005

Methods — techniques the papers use, named apart from their topics

structural operational semantics · 0.0parser generation · 0.0binding algebras · 0.0
YearPublicationVenuePosition
2020 Cost-driven software migration: An experience report
abstract
Abstract Software migration projects are often bound either by time or cost or by both. If the project is bound by both time and cost, the user must sacrifice something else, usually the quality. The migration strategy depends on how the project is bound. Most migration projects are bound by time. The new system must be in operation by a given date, no matter what it costs. The project described here—a state employee payroll system—is bound by cost. It must remain within the budget, no matter how long it takes. The original costs were estimated based on the code size and the productivity measured in previous migration projects using three different approaches: conversion, redevelopment, and reimplementation. The conversion approach would have been the cheapest, but it had already been tried and failed. The redevelopment approach was considered to be out of the question due to the high costs. Thus, reimplementation remained as the only alternative. The costs of this approach were estimated using three different estimation methods and approved by the state government. The project has been in progress for 4 years, and until now, the estimated costs and actual costs are in the same order of magnitude: the costs have remained within budget. In fact, the costs are less than what was estimated with some methods. As this particular project is not bound by time, it is a good example of continuous migration.
Harry M. Sneed, Chris Verhoef
J. Softw. Evol. Process.2
2019 Foundations for measuring IT-outsourcing success and failure
Guus P. A. J. Delen, R. J. Peters, Chris Verhoef, S. F. M. van Vlijmen
J. Syst. Softw.3
2019 Re-implementing a legacy system
Harry M. Sneed, Chris Verhoef
J. Syst. Softw.2
2016 Lessons from Dutch IT-outsourcing success and failure
Guus P. A. J. Delen, R. J. Peters, Chris Verhoef, S. F. M. van Vlijmen
Sci. Comput. Program.3
2015 Reverse engineering a visual age application
abstract
This paper is an industrial case study of how a VisualAge application system on an IBM mainframe was reverse engineered into a system reference repository. The starting point was the code fragments generated by the VisualAge interactive development tool. The results of the reverse engineering process were a use case documentation, a module documentation and a system reference repository. In these documents, the names of the data and functions were extended to be more understandable. The process was in the end fully automated and took three months to implement. The resulting documentation is now being used as a basis for re-implementing the system in Java.
Harry M. Sneed, Chris Verhoef
ICSME2
2015 Reducing operational costs through MIPS management
Lukasz Kwiatkowski, Chris Verhoef
Sci. Comput. Program.2
2015 Quantifying fair payment after outsourcing - a case study
abstract
Abstract After outsourcing, issues can arise between the outsourcing organization and their third parties about fair payment. In a ceteris paribus situation, fair payment can be determined based on the differences made by the third parties. However, when information technology development is (partly) outsourced to third parties, often, not only does the supplier change, but the development process is also changed. This change of development process alone influences important software metrics, such as time to market, productivity, costs, size, and quality, exactly the metrics that are often used to establish payments. Quantifying the influence of the development process redesign is therefore vital to make a fair assessment of the changes truly caused by the supplier, and thus realistic payment. In this paper, the influence of the change in the development process on important key performance indicators is quantified using simulation techniques. We use discrete event simulation to analyze the effect on time to market. The techniques we use are illustrated and validated by applying them in a real‐world situation. The techniques can be used to estimate the influence of the business process change both before outsourcing and after the outsourcing has been decided. Our case study helped the organization in their outsourcing by adapting its proposed development process so that the balance between a more formal process and time to market became more in line with their demands. Although the specific numbers will be different per company, other organizations can apply the general principle. Copyright © 2015 John Wiley & Sons, Ltd.
J. Laurenz Eveleens, Peter Kampstra, Chris Verhoef
J. Softw. Evol. Process.3
2013 An analysis of unit tests of a flight software product line
Dharmalingam Ganesan, Mikael Lindvall, David McComas, Maureen Bartholomew, Steve Slegel, Barbara Medina, René L. Krikhaar, Chris Verhoef, Lisa P. Montgomery
Sci. Comput. Program.8
2013 Recovering management information from source code
Lukasz Kwiatkowski, Chris Verhoef
Sci. Comput. Program.2
2012 Quantifying forecast quality of IT business value
J. Laurenz Eveleens, M. van der Pas, Chris Verhoef
Sci. Comput. Program.3
2009 Quantifying IT forecast quality
J. Laurenz Eveleens, Chris Verhoef
Sci. Comput. Program.2
2009 Quantifying IT estimation risks
G. P. Kulk, R. J. Peters, Chris Verhoef
Sci. Comput. Program.3
2008 Quantifying requirements volatility effects
G. P. Kulk, Chris Verhoef
Sci. Comput. Program.2
2008 Quantifying the yield of risk-bearing IT-portfolios
R. J. Peters, Chris Verhoef
Sci. Comput. Program.2
2007 Quantifying the effects of IT-governance rules
Chris Verhoef
Sci. Comput. Program.1
2006 Model-centric software architecture reconstruction
abstract
Much progress has been achieved in defining methods, techniques, and tools for software architecture reconstruction (SAR). However, less progress has been achieved in constructing reasoning frameworks from existing systems that support organizations in architecture analysis and design decisions. These reasoning frameworks are necessary, for example, to assemble existing components and deploy them in new system configurations. We propose a model-centric approach where this kind of reasoning is driven by the analysis of quality attribute scenarios. The scenarios and the related quality attribute models guide the SAR effort by focusing on the elicitation of model relevant artifacts. The approach further drives the model construction towards the analytical support of What If scenarios that explore responses stimulated by new requirements, such as new deployments of existing components. The paper provides two real-world case studies. The first case study introduces the model-centric reconstruction approach in the context of a large satellite tracking system. The second case study provides the construction of a time performance model for an existing embedded system in the automotive industry. The model allows us to perform cost-efficient predictions of component assemblies in new customer configurations. Copyright © 2005 John Wiley & Sons, Ltd.
Christoph Stoermer, Anthony Rowe 0001, Liam O'Brien, Chris Verhoef
Softw. Pract. Exp.4
2005 Architectural modifications to deployed software
A. Steven Klusener, Ralf Lämmel, Chris Verhoef
Sci. Comput. Program.3
2005 Quantitative aspects of outsourcing deals
abstract
There are many goals for outsourcing information technology: for instance, cost reduction, speed to market, quality improvement, or new business opportunities. Based on our real-world experience in advising organizations with goal-driven outsourcing deals, we identified the most prominent quantitative input needed to close such deals. These comprise what we named the five executive issues enabling rational decision making. They concern cost, duration, risk, return, and financing aspects of outsourcing. They add an important quantitative financial/economic dimension to the decision making process. Based on inferred outcomes for the five executive issues, we address the easily overlooked aspects of selecting partners, contracting, monitoring progress, and acceptance and delivery conditions for contracts.
Chris Verhoef
Sci. Comput. Program.1
2005 Quantifying the value of IT-investments
Chris Verhoef
Sci. Comput. Program.1
2005 Analyzing the Evolution of Large-Scale Software
Shari Lawrence Pfleeger, Chris Verhoef, Hans van Vliet
J. Softw. Maintenance Res. Pract.2
2005 Toward an engineering discipline for grammarware
abstract
Grammarware comprises grammars and all grammar-dependent software. The termgrammaris meant here in the sense of all established grammar formalisms and grammar notations including context-free grammars, class dictionaries, and XML schemas as well as some forms of tree and graph grammars. The termgrammar-dependent softwarerefers to all software that involves grammar knowledge in an essential manner. Archetypal examples of grammar-dependent software are parsers, program converters, and XML document processors. Despite the pervasive role of grammars in software systems, the engineering aspects of grammarware are insufficiently understood. We lay out an agenda that is meant to promote research on increasing the productivity of grammarware development and on improving the quality of grammarware. To this end, we identify the problems with the current grammarware practices, the barriers that currently hamper research, and the promises of an engineering discipline for grammarware, its principles, and the research challenges that have to be addressed.
Paul Klint, Ralf Lämmel, Chris Verhoef
ACM Trans. Softw. Eng. Methodol.3
2004 9210: The Zip Code of Another IT-Soap
A. Steven Klusener, Chris Verhoef
Softw. Qual. J.2
2003 Software product line migration and deployment
abstract
Abstract We describe a method to migrate multiple instances of a successful single information system to a product line. The deployed product line is able to deal with the variants evolved over time in a cost‐effective manner. We proposed and used federated architectures that partition the software into so‐called genericity layers. We argue that federated architectures are at the heart of product lines, and we provide compelling arguments as to why federated architectures are a sound weapon in today's corporate strategy: they enable smooth enterprise integration and rapid change. We support our arguments with a real‐world case: we successfully migrated a large global transaction and settlement system with many site‐specific variations to a product line with a federated architecture. Moreover, we measured the success rate of this architectural modification effort by showing that the annual direct cost savings are of the order of millions of dollars during the deployment of the product line. Copyright © 2003 John Wiley & Sons, Ltd.
D. Faust, Chris Verhoef
Softw. Pract. Exp.2
2002 Enabling the creation of knowledge about software assets
Paul Klint, Chris Verhoef
Data Knowl. Eng.2
2002 Restructuring of COBOL/CICS legacy systems
Alex Sellink, Harry M. Sneed, Chris Verhoef
Sci. Comput. Program.3
2002 Quantitative IT portfolio management
Chris Verhoef
Sci. Comput. Program.1
2001 Semi-automatic grammar recovery
abstract
Abstract We propose an approach to the construction of grammars forexistinglanguages. The main characteristic of the approach is that the grammars are not constructed from scratch but they are rather recovered by extracting them from language references, compilers and other artifacts. We provide a structured process to recover grammars including the adaptation of raw extracted grammars and the derivation of parsers. The process is applicable to possibly all existing languages for which business critical applications exist. We illustrate the approach with a non‐trivial case study. Using our process and some basic tools, we constructed in a few weeks a complete and correct VS COBOL II grammar specification for IBM mainframes. In addition, we constructed a parser for VS COBOL II, and were the first to publish a (Web‐enabled) grammar specification so that others can use this result to construct their own grammar‐based tools for VS COBOL II or derivatives. Copyright © 2001 John Wiley & Sons, Ltd.
Ralf Lämmel, Chris Verhoef
Softw. Pract. Exp.2
2000 Preface
Ira D. Baxter, Alex Quilici, Chris Verhoef
Sci. Comput. Program.3
2000 Generation of components for software renovation factories from context-free grammars
Mark van den Brand, Alex Sellink, Chris Verhoef
Sci. Comput. Program.3
1999 Research Issues in the Renovation of Legacy Systems
Arie van Deursen, Paul Klint, Chris Verhoef
FASE3
1999 Conservative Extension in Positive/Negative Conditional Term Rewriting with Applications to Software Renovation Factories
Wan J. Fokkink, Chris Verhoef
FASE2
1999 A Two-Phase Process for Software Architecture Improvement
abstract
Software architecture is important for large systems in which it is the main means for among other things, controlling complexity. Current ideas on software architectures were not available more than ten years ago. Software developed at that time has been deteriorating from an architectural point of view over the years, as a result of adaptations made in the software because of changing system requirements. Parts of the old software are nevertheless still being used in new product lines. To make changes in that software, like adding features, it is imperative to first adapt the software to accommodate those changes. Architecture improvement of existing software is therefore becoming more and more important. The paper describes a two-phase process for software architecture improvement, which is the synthesis of two research areas: the architecture visualisation and analysis area of Philips Research, and the transformation engines and renovation factories area of the University of Amsterdam. Software architecture transformation plays an important role, and is to our knowledge a new research topic. Phase one of the process is based on Relation Partition Algebra (RPA). By lifting the information to higher levels of abstraction and calculating metrics over the system, all kinds of quality aspects can be investigated. Phase two is based on formal transformation techniques on abstract syntax trees. The software architecture improvement process allows for a fast feedback loop on results, without the need to deal with the complete software and without any interference with the normal development process.
René L. Krikhaar, André Postma, Alex Sellink, M. Stroucken, Chris Verhoef
ICSM5
1999 Generation of Software Renovation Factories from Compilers
abstract
When a compiler is designed carefully, it is possible to extract its grammar. We reengineer the extracted grammar to one that is geared towards reengineering. From this reengineering grammar we generate an architecture called a software renovation factory. This includes: generic analysis and transformation functionality and a native pattern language using the concrete syntax of the language for which the renovation is necessary. Moreover, we generate the grammar in HTML format so that reengineers can quickly understand the language. We applied our approach successfully to an exceptionally complex and large proprietary language. Our approach enables rapid development of software renovation factories. We believe that our approach can partly solve the lack of Year 2000 tool support for many languages.
Alex Sellink, Chris Verhoef
ICSM2
1998 Development, Assessment, and Reengineering of Language Descriptions
abstract
Discusses tools that aid in the development, assessment and reengineering of language descriptions (i.e. syntactic descriptions of a language). We develop assessment tools that give an indication as to what is wrong with an existing language description, and give hints towards its correction. From a correct and complete language description, it is possible to generate a parser, a manual and online documentation. The parser is geared towards reengineering purposes, but is also used to parse the examples that are contained in the documentation. The reengineered language description is a basic ingredient for a reengineering factory that can manipulate this language. The described tool support can also be used to develop a language standard without syntax errors in the language description and its code examples.
Alex Sellink, Chris Verhoef
ASE2
1998 A Conservative Look at Operational Semantics with Variable Binding
Wan J. Fokkink, Chris Verhoef
Inf. Comput.2
1997 A General Conservative Extension Theorem in Process Algebras with Inequalities
Pedro R. D'Argenio, Chris Verhoef
Theor. Comput. Sci.2
1997 Algebra of Communicating Processes - Preface to the Special Issue
Alban Ponse, Chris Verhoef, Bas van Vlijmen
Theor. Comput. Sci.2
1996 Core Technologies for System Renovation
Mark van den Brand, Paul Klint, Chris Verhoef
SOFSEM3
1994 A Congruence Theorem for Structured Operational Semantics with Predicates and Negative Premises
Chris Verhoef
CONCUR1
1993 A Congruence Theorem for Structured Operational Semantics with Predicates
Jos C. M. Baeten, Chris Verhoef
CONCUR2