the zip code of another IT-soap (2004)
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...
Quantifying the Value of IT-Investments (2004)
We describe a method to quantify the value of investments in software systems.
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.
Managing Multi-Billion Dollar IT Budgets using Source Code Analysis (2003)
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.
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...
Reverse Engineering and System Renovation - An Annotated Bibliography | (2001)
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...
Term Rewriting for Sale (2001)
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...
Evolutionary Software Engineering: A Component-based Approach (2001)
Chris Verhoef, P. Klint, C. Verhoef, 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 paper we present an...
Term Rewriting for Sale (2000)
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...
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...
A Congruence Theorem for Structured Operational Semantics With Predicates (1999)
. 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 two-phase process for software architecture improvement (1999)
Sellink, M.P.A., Stroucken, M., Verhoef, C., Krikhaar, R., Postma, A.
Reengineering COBOL software implies specification of the underlying dialects (1998)
C. Verhoef, 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...
Reengineering COBOL software implies specification of the underlying dialects (1998)
C. Verhoef, 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...
Control Flow Normalization for COBOL/CICS Legacy Systems (1998)
Alex Sellink, Chris Verhoef, C. 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...
W. Fokkink, C. Verhoef, Wan Fokkink, Chris Verhoef
. General theorems in structured operational semantics can be transformed into related results in conditional term rewriting. We apply this approach to obtain a conservative extension theorem for...
Re-engineering needs Generic Programming Language Technology (1997)
Paul Klint, Chris Verhoef, P. Klint, C. 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...
Core Technologies for System Renovation (1997)
Paul Klint, Chris Verhoef, P. Klint, C. 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...
Re-engineering needs Generic Programming Language Technology (1997)
Paul Klint, Chris Verhoef, P. Klint, C. 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...
Core Technologies for System Renovation (1997)
Paul Klint, Chris Verhoef, P. Klint, C. 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...
Reverse Engineering and System Renovation - An Annotated Bibliography (1997)
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 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...
A Congruence Theorem for Structured Operational Semantics With Predicates (1996)
. 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 (1995)
. 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 (1995)
. 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 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 (1995)
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...
. 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...
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...
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...