EDBT 2026 Demo / reviewers in the wild / expert
Kurt C. Wallnau
dblp:96/2207
· DBLP profile ↗
22ranked-venue papers
3as first author
0since 2021 · last 2012
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 19 · 3 first-authorArtificial intelligence and machine learning · 1Theory of computation · 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
8 papers |
Requirements engineering and software design · 84% Program verification · 12% Software maintenance and evolution · 2% | |
| Theoretical computer science
1 paper |
Automated reasoning and model checking · 100% |
Topics — the 11 heaviest of 11, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Requirements engineering and software design › software architecture
component-based software engineering |
0.2 | 6 | 2003 | 6th ICSE Workshop on Component-Based Software Engineering: Automated Reasoning and Prediction · ICSE 2003 5th ICSE workshop on component-based software engineering: benchmarks for predictable assembly · ICSE 2002 Half day tutorial in methods of component-based software engineering essential concepts and classroom experience · ESEC / SIGSOFT FSE 2001 |
Requirements engineering and software design
software architecture |
0.2 | 6 | 2003 | 6th ICSE Workshop on Component-Based Software Engineering: Automated Reasoning and Prediction · ICSE 2003 5th ICSE workshop on component-based software engineering: benchmarks for predictable assembly · ICSE 2002 Half day tutorial in methods of component-based software engineering essential concepts and classroom experience · ESEC / SIGSOFT FSE 2001 |
Program verification › model checking
software model checking |
0.1 | 1 | 2005 | The ComFoRT Reasoning Framework · CAV 2005 |
Automated reasoning and model checking › compositional verification
assume-guarantee reasoning |
0.1 | 1 | 2005 | The ComFoRT Reasoning Framework · CAV 2005 |
Automated reasoning and model checking
compositional verification |
0.1 | 1 | 2005 | The ComFoRT Reasoning Framework · CAV 2005 |
Requirements engineering and software design › software architecture › component-based software engineering
component-based systems |
0.0 | 1 | 1996 | A Situated Evaluation of the Object Management Group's (OMG) Object Management Architecture (OMA) · OOPSLA 1996 |
Computing education
software engineering education |
0.0 | 1 | 2001 | Methods of Component-Based Software Engineering: Essential Concepts and Classroom Experience · ICSE 2001 |
Requirements engineering and software design
software design methodology |
0.0 | 1 | 2001 | Half day tutorial in methods of component-based software engineering essential concepts and classroom experience · ESEC / SIGSOFT FSE 2001 |
Software testing
system testing |
0.0 | 1 | 2001 | 4th ICSE Workshop on Component-Based Software Engineering: Component Certification and System Prediction · ICSE 2001 |
Software maintenance and evolution
software reuse |
0.0 | 1 | 1999 | International Workshop on Component-Based Software Engineering · ICSE 1999 |
Software maintenance and evolution › software integration
legacy system integration |
0.0 | 1 | 1996 | A Situated Evaluation of the Object Management Group's (OMG) Object Management Architecture (OMA) · OOPSLA 1996 |
Methods — techniques the papers use, named apart from their topics
automated reasoning · 0.0composition theory · 0.0component certification · 0.0case study · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2012 | To boldly go: an occam-π mission to engineer emergence
Peter H. Welch, Kurt C. Wallnau, Adam T. Sampson, Mark Klein 0003 |
Nat. Comput. | 2 |
| 2007 | Model-Driven Construction of Certified Binaries
Sagar Chaki, James Ivers, Peter Lee 0001, Kurt C. Wallnau, Noam Zeilberger |
MoDELS | 4 |
| 2007 | Guest Editorial
Ivica Crnkovic, George T. Heineman, Heinz W. Schmidt, Judith A. Stafford, Kurt C. Wallnau |
J. Syst. Softw. | 5 |
| 2005 | The ComFoRT Reasoning Framework
Sagar Chaki, James Ivers, Natasha Sharygina, Kurt C. Wallnau |
CAV | 4 |
| 2005 | Encapsulating Quality Attribute KnowledgeabstractThis paper presents a technique developed at the Software Engineering Institute (SEI) for encapsulating quality attribute knowledge for use in the design and validation of software architectures. A reasoning framework, our encapsulation mechanism, can be used by nonexperts to analyze a specific quality (e.g., performance, modifiability, availability) of a system. Leonard J. Bass, James Ivers, Mark Klein 0003, Paulo Merson, Kurt C. Wallnau |
WICSA | 5 |
| 2005 | Automated Component-Based Software Engineering
Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Kurt C. Wallnau |
J. Syst. Softw. | 4 |
| 2003 | 6th ICSE Workshop on Component-Based Software Engineering: Automated Reasoning and PredictionabstractThis report gives an overview of the 6th ICSE Workshop on Component-Based Software Engineering held at 25th International Conference on Software Engineering. The workshop brought together researchers and practitioners from three communities: component technology, software architecture, and software certification. The primary goal of the workshop was to continue clarifying the concepts, identifying the main challenges and findings of predictable assembly of certifiable software components. This report gives a comprehensive summary of the position papers, of the workshop, its findings, and its results. Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Kurt C. Wallnau |
ICSE | 4 |
| 2003 | Guest Editorial
Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Kurt C. Wallnau |
J. Syst. Softw. | 4 |
| 2003 | Enabling predictable assembly
Scott A. Hissam, Gabriel A. Moreno, Judith A. Stafford, Kurt C. Wallnau |
J. Syst. Softw. | 4 |
| 2002 | 5th ICSE workshop on component-based software engineering: benchmarks for predictable assemblyabstractThis workshop brings together researchers and practitioners from the community interested in predictable assembly from certifiable components. The goal of this workshop is to ensure continued collaboration among the members of this community. One output of the workshop will be an understanding of composition theory and how it applies to community model problems that were suggested at the workshop on component-based software engineering held at ICSE in 2001. A second output will be the identification of research opportunities that lie on the perimeter of predictable assembly. Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Kurt C. Wallnau |
ICSE | 4 |
| 2001 | 4th ICSE Workshop on Component-Based Software Engineering: Component Certification and System Prediction
Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Kurt C. Wallnau |
ICSE | 4 |
| 2001 | Methods of Component-Based Software Engineering: Essential Concepts and Classroom Experience
Kurt C. Wallnau |
ICSE | 1 |
| 2001 | Half day tutorial in methods of component-based software engineering essential concepts and classroom experienceabstractThe question of which design methods are appropriate for component-based development (CBD) is complicated by different understandings of the end objectives CBD. A further complication is different understandings of what is meant by "component." These differences lead to entirely distinct classes of design problem. The aim of this tutorial is to, first, outline the differing interpretations of CBD, and, second, to outline the required methodological responses to these design problems. Kurt C. Wallnau, Scott A. Hissam, Robert C. Seacord |
ESEC / SIGSOFT FSE | 1 |
| 2000 | A Survey of Black-Box Modernization Approaches for Information SystemsabstractInformation systems are critical assets for modern enterprises and incorporate key knowledge acquired over the life of an organization. These systems must be updated continuously to reflect evolving business practices. Unfortunately, repeated modification has a cumulative effect on system complexity, and the rapid evolution of technology quickly renders existing technologies obsolete. Eventually, the existing information systems become too fragile to modify and too important to discard. For this reason, organizations must consider modernizing these legacy systems to remain viable. The commercial market provides a variety of solutions to this increasingly common problem of legacy system modernization. Understanding the strengths and weaknesses of each modernization technique is paramount to select the correct solution and the overall success of a modernization effort. This paper provides a survey of modernization techniques, including screen scraping, database gateways, XML integration, CGI integration, object-oriented wrapping and "componentization" of legacy systems. This general overview enables engineers performing legacy system modernization to pre-select a subset of applicable modernization techniques for further evaluation. Santiago Comella-Dorda, Kurt C. Wallnau, Robert C. Seacord, John E. Robert |
ICSM | 2 |
| 1999 | Custom vs. off-the-shelf architectureabstractMembers of the COTS-based system initiative at the Software Engineering Institute have developed the Generic Enterprise Ensemble (GEE), a generic approach to building distributed, transaction based, secure enterprise information systems (EIS). GEE is a tool to help in the selection of technologies and architectural choices when building enterprise information systems. Enterprise JavaBeans/sup TM/ (EJB) is a specification from Sun Microsystems for an application server based on Java technology. a comparison is made between GEE based solutions and off-the-shelf solutions based on the EJB specification. Robert C. Seacord, Kurt C. Wallnau, John E. Robert, Santiago Comella-Dorda, Scott A. Hissam |
EDOC | 2 |
| 1999 | International Workshop on Component-Based Software EngineeringabstractNo abstract available. Alan W. Brown, Kurt C. Wallnau |
ICSE | 2 |
| 1998 | CORBA in Real-Time Settings: A Problem from the Manufacturing DomainabstractThe Object Management Group's (OMG) Common Object Request Broker Architecture (CORBA) is an important and popular technology that supports the development of object based, distributed applications. The benefits promised by CORBA (abstraction, heterogeneity, etc.) are appealing in many application domains, including those that satisfy real time requirements-such as manufacturing. Unfortunately, CORBA was not specified in light of real time requirements, and so the question remains whether existing object request brokers (ORBs) can be used in real time settings, or whether developers of real time systems must await future extensions of CORBA that address real time issues or use non CORBA compliant ORBs. We describe the application of an off the shelf ORB in a real time manufacturing system developed at National institute of Standards and Technology (NIST) and tools which have been developed at the SEI for the analysis of CORBA's impact on the behavior of the system. Based on our experiences, we believe that today's ORBs can be used in real time settings, with certain caveats as outlined in the article. We also outline the concept of "composite objects", an approach for extending the range of non real time ORBs into a greater variety of real time settings. Andreas Polze, Daniel Plakosh, Kurt C. Wallnau |
ISORC | 3 |
| 1998 | A basis for evaluation of commercial software
David J. Carney, Kurt C. Wallnau |
Inf. Softw. Technol. | 2 |
| 1997 | Repairing coordination mismatches among legacy componentsabstractAn increasingly commonplace reengineering problem involves the integration of legacy software components into new and often novel configurations. These scenarios are arising more frequently, in large measure because of the success of network computing concepts, and in particular the success of web-based Intranets. The author considers the problem of coordination mismatch in legacy components. He discusses their classification and repair, and considers the use of distributed object technology Kurt C. Wallnau |
ICSM | 1 |
| 1996 | Engineering of component-based systemsabstractMany organizations are moving toward greater use of commercial off-the-shelf (COTS) components in the development of application systems. The development of component based systems introduces fundamental changes in the way systems are acquired, integrated, deployed and evolved. We present a reference model for the assembly of component based systems that can be used as the basis for defining a systematic approach to the development of such systems. This reference model is described, and used to explore a number of fundamental development issues. Alan W. Brown, Kurt C. Wallnau |
ICECCS | 2 |
| 1996 | Discovering a system modernization decision framework: a case study in migrating to distributed object technologyabstractMany organizations face a serious challenge introducing new technologies into existing systems. Effective modernization requires knowing and articulating specific goals for the reengineering effort, conscious selection of technologies and technical approaches that can achieve those goals in the context of the class of system being upgraded, a staged migration plan, and an integration strategy to make in-hand components work under the newly adopted architecture. Although the study of reengineering is moving towards an engineering discipline, there are as yet no proven decision frameworks that allow an organization to rationally choose a modernization strategy. This paper provides an in-depth look at the engineering trade-offs made in modernizing a manufacturing engineering design system to use distributed object technology. From this case study, the outlines of a more general reengineering decision framework can be seen, and these are discussed. Evan Wallace, Paul C. Clements, Kurt C. Wallnau |
ICSM | 3 |
| 1996 | A Situated Evaluation of the Object Management Group's (OMG) Object Management Architecture (OMA)abstractIt has been difficult to objectively assess the real value or maturity of the Object Management Group's Object Management Architecture (OMA). While experience reports have appeared in the literature, these have focused more on the functionality of the end-system than on systematically exploring the strengths and weaknesses of the OMA, and providing practical guidelines on the effective use of the OMA for specific software-engineering problems. In this paper we describe a case study in the use of the OMA to integrate legacy software components into a distributed object system. We assess the OMA in this problem context, and indicate strengths and weaknesses of the specification and current implementations. We extrapolate our experience to a broader class of component-based software systems, and recommend an architectural strategy for the effective use of the OMA to this class of systems. Evan Wallace, Kurt C. Wallnau |
OOPSLA | 2 |