Contents lists available at ScienceDirect Science of Computer Programming (2009)
journal homepage: www.elsevier.com/locate/scico
Managing Multi-Billion Dollar IT Budgets using Source Code Analysis (2008)
We present a quantitative approach for IT portfolio management. This is an approach that CMM level 1 org anizations can use to obtain a corporate wide impression of the state of their total IT...
Information technology is becoming the largest production factor in many organizations. Yet most executives encounter insurmountable problems in governing information technology: IT is on top of...
Software as strong as a dyke (2008)
The Dutch storm surge barrier’s failure rates are designed and certified to fail maximally once every ten thousand years. Recent audits question this failure rate. Software is mentioned as a major...
Quantifying the Yield of Risk-bearing IT-portfolios (2008)
We proposed a method to quantify the yield of an IT-investment portfolio in an environment of uncertainty and risk. For various common implementation scenarios such as growing demands during...
www.elsevier.com/locate/scico Quantitative IT portfolio management (2008)
We present a quantitative approach for IT portfolio management. This is an approach that CMM level 1 organizations can use to obtain a corporate wide impression of the state of their total IT...
Quantifying IT forecast quality (2008)
In this paper, we showed how to quantify the quality of IT forecasts based on Boehm’s cone of uncertainty and DeMarco’s Estimating Quality Factor. With these, we support decision making by...
The rise and fall of the Chaos report figures (2008)
In this paper we discussed the project success figures reported on by Standish Group. In 1994 Standish published the Chaos report that showed a shocking 16% project success. This and renewed figures...
Term Rewriting for Sale M.G.J. van den Brand (2007)
Term rewriting has a large potential for industrial applications, but these applications are always larger than one could ever dream of: huge sets of rewrite rules and gigantic terms to rewrite pose...
Term Rewriting for Sale M.G.J. van den Brand (2007)
Term rewriting has a large potential for industrial applications, but these applications are always larger than one could ever dream of: huge sets of rewrite rules and gigantic terms to rewrite pose...
Managing Multi-Billion Dollar IT Budgets using Source Code Analysis (2007)
We present a quantitative approach for IT portfolio management. This is an approach that CMM level 1organizations can use to obtain a corporate wide impression of the state of their total IT...
Information technology is becoming the largest production factor in many organizations.
Clinical relevance of melanoma micrometastases ( (2006)
Verhoef, C., Schmitz, P. I. M., Van Geel, A. N., Eggermont, A. M. M., ...
As only about 20% of sentinel node (SN) positive melanoma patients have additional non-SN lymph node involvement in the Completion Lymph Node Dissection (CLND) specimen, we tried to identify a SN...
Clinical relevance of melanoma micrometastases ( (2006)
Van Akkooi, ACJ, De Wilt, JHW, Verhoef, C, Schmitz, PIM, Van Geel, AN, Eggermont, AMM, ...
As only about 20% of sentinel node (SN) positive melanoma patients have additional non-SN lymph node involvement in the Completion Lymph Node Dissection (CLND) specimen, we tried to identify a SN...
Clinical relevance of melanoma micrometastases ( (2006)
Verhoef, C., Schmitz, P. I. M., Van Geel, A. N., Eggermont, A. M. M., ...
As only about 20% of sentinel node (SN) positive melanoma patients have additional non-SN lymph node involvement in the Completion Lymph Node Dissection (CLND) specimen, we tried to identify a SN...
Architectural modifications to deployed software (2005)
A. S. Klusener, R. Lämmel, C. Verhoef
We discuss the nuts and bolts of industrial large-scale software modification projects. These projects become necessary when system owners of deployed systems hit architectural barriers. The mastery...
Quantifying software process improvement (2005)
Many IT-metrics display large variation, time dependencies and noise, making it seemingly impossible to draw conclusions from them. Most of the software engineering literature proposed ways to stamp...
Quantifying the Value of IT-investments (2004)
We describe a method to quantify the value of investments in software systems. For that, we adopted the classical risk-adjusted discounted cash flow model and geared it towards the field of...
Quantitative Aspects of Outsourcing Deals (2004)
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...
Architectural Modifications to Deployed Software (2004)
A. S. Klusener, R. L Ammel, C. Verhoef
We discuss the nuts and bolts of industrial large-scale software modification projects. These projects become necessary when system owners of deployed systems hit architectural barriers. The mastery...
Verhoef, C., West, C.E., Bleichrodt, N., Dekker, P.H., Born, M.Ph.
Spectacular progress has been made in the last decades in the global fight against deficiencies of iodine and vitamin A [1]. As a result, the number of people suffering from iodine deficiency has...
the zip code of another IT-soap (2003)
Klusener Verhoef Software, A. S. Klusener, C. Verhoef
Nine-to-ten (9210) refers to the problem that the Dutch banks are running out of 9-digit bank account numbers and need to convert to 10-digit numbers. At the same time, the Dutch government wants...
Software Product Line Migration and Deployment (2003)
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 over time evolved variants in a...
Semi-automatic Grammar Recovery (2001)
We proposed a new approach for the construction of grammars and parsers for existing languages. The approach is both very powerful and simple. We provided a structured process and explained our...
Semi-automatic Grammar Recovery (2001)
We propose an approach to the construction of grammars for existing languages. The main characteristic of the approach is that the grammars are not constructed from scratch but they are rather...
Case Closed: the 500 Language Problem is Cracked (2000)
We explain what the 500 language problem is, why it is a relevant problem, and why solutions are needed. We discuss its solution, and illustrate it by applying it to two non-trivial but...
The Realities of Language Conversions (2000)
Billions of lines that have been written in COBOL, PL/I and other old programming languages are still in active use. Many commercial efforts to convert these languages to more modern languages have...
How to Implement the Future? (2000)
This paper sheds light on the realities of implementing spanking new ideas in existing software systems. Information is provided both on the advantages and drawbacks of starting from scratch and...
Case Closed: the 500 Language Problem is Cracked (2000)
We explain what the 500 language problem is, why it is a relevant problem, and why solutions are needed. We discuss its solution, and illustrate it by applying it to two non-trivial but...
A two-phase process for software architecture improvement (1999)
Sellink, M.P.A., Stroucken, M., Verhoef, C., Krikhaar, R., Postma, A.
Evolutionary software engineering: A component-based approach (1998)
Chris Verhoef, Chris Verhoef, P. Klint, C. Verhoef, Paul Klint, Paul Klint, ...
A software industry producing high-quality components that can be reused in many ways is an---unfulfilled---dream as old as the field of "software engineering " itself. In this...
A general conservative extension theorem in process algebras with inequalities (1997)
We prove a general conservative extension theorem for transition system based process theories with easy-to-check and reasonable conditions. The core of this result is another general theorem which...
A general conservative extension theorem in process algebras with inequalities (1997)
Argenio D', Dr. P.R., Verhoef, Dr. C.
We prove a general conservative extension theorem for transition system based process theories with easy-to-check and reasonable conditions. The core of this result is another general theorem which...
A general conservative extension theorem in process algebras with inequalities (1997)
D'Argenio, Pedro R., Verhoef, C.
We prove a general conservative extension theorem for transition system based process theories with easy-to-check and reasonable conditions. The core of this result is another general theorem which...
Reverse engineering and system renovation -- an annotated bibliography (1997)
To facilitate research in the eld of reverse engineering and system renovation we have compiled an annotated bibliography. We put the contributions not only in alphabetical order but also grouped by...
Reengineering COBOL software implies specification of the underlying dialects (1997)
Working-storage Section, Hdrisornmjrqrrujjj Pic, Alex Sellink, Alex Sellink, Chris Verhoef, ...
We argue that maintenance and reengineering tools need to have a thorough knowledge of the language that the code is written in. More specifically, for the family of COBOL languages we present a...
Generation of Components for Software Renovation Factories from Context-free Grammars (1997)
Alex Sellink, Alex Sellink, Chris Verhoef, Chris Verhoef, ...
Syntax Tree Transform Parse Unparse Code Generation of Components for Software Renovation Factories from Context-free Grammars Mark van den Brand Alex Sellink Chris Verhoef Report P9705 June...
Control Flow Normalization for COBOL/CICS Legacy Systems (1997)
Alex Sellink, Alex Sellink, Chris Verhoef, Chris Verhoef, ...
We propose a practical incremental approach to perform control flow normalization of COBOL/CICS legacy systems using a software renovation factory. The normalization improves the maintainability of...
Re-engineering needs Generic Programming Language Technology (1996)
Paul Klint, Paul Klint, Chris Verhoef, Chris Verhoef, ...
Generic language technology and compiler construction techniques are a prerequisite to build analysis and conversion tools that are needed for the re-engineering of large software systems. We argue...
Reverse Engineering and System Renovation - An Annotated Bibliography (1996)
To facilitate research in the field of reverse engineering and system renovation we have compiled an annotated bibliography. We put the contributions not only in alphabetical order but also grouped...
A Conservative Look at Term Deduction Systems with Variable Binding (1995)
We set up a formal framework to describe term deduction systems, such as transition system specifications in the style of Plotkin, and conditional term rewriting systems. This framework has the power...
A General Conservative Extension Theorem in Process Algebra (1994)
this paper. Now that we have given some motivation for this paper we discuss its organization. In section 2 we recall some general SOS definitions of Verhoef [8]. We will provide a running example to...
A Congruence Theorem for Structured Operational Semantics With Predicates (1993)
. We proposed a syntactical format, the path format, for structured operational semantics in which predicates may occur. We proved that strong bisimulation is a congruence for all the operators that...
A Congruence Theorem for Structured Operational Semantics With Predicates (1993)
. We proposed a syntactical format, the path format, for structured operational semantics in which predicates may occur. We proved that strong bisimulation is a congruence for all the operators that...
. We proposed a syntactic format, the panth format, for structured operational semantics in which besides ordinary transitions also predicates, negated predicates, and negative transitions may occur...
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...
Verhoef, C., Koppen, C. Van, Overduin, P., Lugtenberg, B., Korteland, J., Tommassen, J.
In Escherichia coli K-12, the phoE gene encodes an outer membrane pore protein, which is induced by phosphate starvation. The corresponding gene of Enterobacter cloacae was transferred to E. coli...
Haan, P.G. De, Hoekstra, W.P.M., Verhoef, C.
A genetic analysis of recombinants from crosses with recombination-deficient recipients, lacking the ATP-dependent exonuclease activity, demonstrated differences in the inheritance pattern of donor...
Storm, P.K., Hoekstra, W.P.M., Haan, P.G. De, Verhoef, C.
19 independent recombination-deficient mutants were isolated. 7 carried mutations that mapped near or in the recB and recC genes between thyA and argA. 10 mutants carried mutations cotransducible...
Recombination in Escherichia coli III. Mapping by the gradient of transmission (1969)
Haan, P.G. De, Hoekstra, W.P.M., Verhoef, C., Felix, H.S.
Mapping of markers on the Escherichia coli chromosome by the gradient of transmission is presented. The method appeared to be useful and accurate if chromosome withdrawal is prevented and if the...
The dual genetic control of ornithine transcarbamylase synthesis in Escherichia coli K12 (1967)
Glansdorff, N., Sand, G., Verhoef, C.
Mutations at 2 distant genes influence ornithine transcarbamylase synthesis in Escherichia coli K12. The wild type alleles of either of them restores to an OTC-less strain the ability to synthesize...
A relation between linkage frequency of an unselected marker and transfer time based on a physical exchange of genetic material was developed for Escherichia coli crosses. Crosses performed under...
In this paper a mathematical analysis based on the physical exchange of genetic material is presented for a four-factor cross. The incorporation frequency of donor markers and the relative map...
Verhoef, C., Gmelig-Meyling, F., Huber-Bruning, O., Lafeber, F., ...
Objectives—To compare peripheral type 1 (T1) and type 2 (T2) T cell activities in rheumatoid arthritis (RA) patients with that found for osteoarthritic (OA) patients and healthy controls and to...
Mutual antagonism of rheumatoid arthritis and hay fever; a role for type 1/type 2 T cell balance
Verhoef, C., Vianen, M., Bruijnzeel-Koomen, C., Lafeber, F., Bijlsma, J.
OBJECTIVES—The balance between interferon γ(IFNγ) and interleukin 4 (IL4) producing T cells (T1 and T2 cells) seems to be of importance in many (auto)immune disorders. In general, T1 cell...
Verhoef, C., Vianen, M., Lafeber, F., Bijlsma, J.
OBJECTIVES—The influence of dexamethasone on interleukin 10 (IL10) production and the type 1 (T1)/type 2 (T2) T cell balance found in rheumatoid arthritis (RA) was...
The Quest for Citations: Drivers of Article Impact
S. STREMERSCH, I. VERNIERS, C. VERHOEF
Why do some articles become building blocks for future scholars, while many others remain unnoticed? We aim to answer this question by contrasting, synthesizing and simultaneously testing three...
Core Technologies for System Renovation
Mark Van, Paul Klint, Paul Klint, Chris Verhoef, Chris Verhoef, ...
. Renovation of business-critical software is becoming increasingly important. We identify fundamental notions and techniques to aid in system renovation and sketch some basic techniques: generic...