Robert Balzer

dblp:99/404 · also Robert M. Balzer · DBLP profile ↗
← Back
38ranked-venue papers
28as first author
0since 2021 · last 2010
—ORCID · none

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

Software engineering, systems software and programming languages · 20 · 15 first-authorArtificial intelligence and machine learning · 13 · 9 first-authorGraphics, computer vision, multimedia, augmented reality and games · 11 · 9 first-authorDatabases, data management, data science and information retrieval · 4 · 3 first-authorTheory of computation · 1 · 1 first-author

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
24 papers
Software maintenance and evolution · 41% Requirements engineering and software design · 34% Empirical software engineering · 21%
Artificial intelligence
9 papers
Knowledge representation and reasoning · 98% Speech recognition and synthesis · 1% Information extraction and text analysis · 1%
Human-computer interaction and pervasive computing
1 paper
User interface design and tools · 100%
Network and information security
1 paper
Systems and software security · 100%
Theoretical computer science
5 papers
Logic in computer science · 98% Coding theory · 1% Distributed computing theory · 1%

Topics — the 30 heaviest of 47, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Software maintenance and evolution › software integration
COTS integration
0.142004
Living with COTS · ICSE 2002
Unfriendly COTS Integration-Instrumentation and Interfaces for Improved Plugability · ASE 2001
4th International Workshop on Adoption-Centric Software Engineering · ICSE 2004
Empirical software engineering › technology transfer
software engineering adoption
0.122004
4th International Workshop on Adoption-Centric Software Engineering · ICSE 2004
3rd International Workshop on Adoption-centric Software Engineering ACSE 2003 · ICSE 2003
Requirements engineering and software design
software architecture
0.142002
Unfriendly COTS Integration-Instrumentation and Interfaces for Improved Plugability · ASE 2001
Living with COTS · ICSE 2002
AI and Software Engineering: Will the Twain Ever Meet? · AAAI 1990
Software maintenance and evolution
software modularity
0.012003
Modularity in the New Millenium: A Panel Summary · ICSE 2003
Logic in computer science › philosophical logic › non-classical logic
paraconsistent logic
0.022001
"Tolerating Inconsistency" Revisited · ICSE 2001
Tolerating Inconsistency · ICSE 1991
User interface design and tools
end-user programming
0.012010
A Deductive Spreadsheet System for End Users · IEEE Trans. Knowl. Data Eng. 2010
User interface design and tools › end-user programming
spreadsheet programming
0.012010
A Deductive Spreadsheet System for End Users · IEEE Trans. Knowl. Data Eng. 2010
Requirements engineering and software design › software architecture › component-based software engineering
component-based development
0.012001
Unfriendly COTS Integration-Instrumentation and Interfaces for Improved Plugability · ASE 2001
Requirements engineering and software design › software process
process-centered environment
0.012001
Process-Centered Software Engineering Environments: Academic and Industrial Perspectives · ICSE 2001
Software maintenance and evolution
software integration
0.012001
Unfriendly COTS Integration-Instrumentation and Interfaces for Improved Plugability · ASE 2001
Knowledge, reasoning and agents › Knowledge representation and reasoning
expert systems
0.031993
Retrospective on "The Organization of Expert Systems, a Tutorial" · Artif. Intell. 1993
The Organization of Expert Systems, A Tutorial · Artif. Intell. 1982
HEARSAY-II: A Domain-Independent Framework for Expert Systems · AAAI 1980
Requirements engineering and software design › inconsistency management
inconsistent requirements
0.022001
"Tolerating Inconsistency" Revisited · ICSE 2001
Tolerating Inconsistency · ICSE 1991
Requirements engineering and software design › software process
software process modeling
0.011993
Mechanisms for Generic Process Support · SIGSOFT FSE 1993
Software maintenance and evolution
software reuse
0.012001
Unfriendly COTS Integration-Instrumentation and Interfaces for Improved Plugability · ASE 2001
Requirements engineering and software design
object-oriented development
0.011992
The OO Software Development Process (Panel) · OOPSLA 1992
Compilers and program optimization
code generation
0.021985
A 15 Year Perspective on Automatic Programming · IEEE Trans. Software Eng. 1985
A Gobal View of Automatic Programming · IJCAI 1973
Programming languages and type systems › domain-specific languages
process modeling language
0.011993
Mechanisms for Generic Process Support · SIGSOFT FSE 1993
Compilers and program optimization › program transformation › program derivation
transformational implementation
0.021981
Transformational Implementation: An Example · IEEE Trans. Software Eng. 1981
On the Transformational Implementation Approach to Programming · ICSE 1976
Requirements engineering and software design
specification
0.021982
Specification-Based Computing Environments · VLDB 1982
Informality in Program Specifications · IJCAI 1977
Requirements engineering and software design › formal specification
specification transformation
0.011981
Transformational Implementation: An Example · IEEE Trans. Software Eng. 1981
Requirements engineering and software design
formal specification
0.021981
Informality in Program Specifications · IEEE Trans. Software Eng. 1978
Transformational Implementation: An Example · IEEE Trans. Software Eng. 1981
Natural language and speech › Speech recognition and synthesis
spoken language understanding
0.011980
HEARSAY-II: A Domain-Independent Framework for Expert Systems · AAAI 1980
Programming languages and type systems
program specification
0.021977
Informality in Program Specifications · IJCAI 1977
On the Transformational Implementation Approach to Programming · ICSE 1976
Knowledge, reasoning and agents › Knowledge representation and reasoning › knowledge acquisition
domain modeling
0.011977
The Use of a Domain Model in Understanding Informal Process Descriptions · IJCAI 1977
Software maintenance and evolution
program comprehension
0.011977
Meta-Evaluation as a Tool for Program Understanding · IJCAI 1977
Knowledge, reasoning and agents › Knowledge representation and reasoning
ontology
0.011985
Automated Enhancement of Knowledge Representations · IJCAI 1985
Compilers and program optimization
program transformation
0.011976
On the Transformational Implementation Approach to Programming · ICSE 1976
Requirements engineering and software design › specification
specification learning
0.011985
A 15 Year Perspective on Automatic Programming · IEEE Trans. Software Eng. 1985
Software maintenance and evolution › software configuration management › software release management
software deployment
0.011981
Application Downloading · ICSE 1981
Empirical software engineering › software engineering research methodology
meta-evaluation
0.011977
Meta-Evaluation as a Tool for Program Understanding · IJCAI 1977

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

ontology language OWL · 0.3SWRL · 0.3notification · 0.0instrumentation · 0.0data synchronization · 0.0system architecture · 0.0process refinement · 0.0interactive specification refinement · 0.0tutorial · 0.0interactive transformation · 0.0heuristic search · 0.0blackboard architecture · 0.0prototype tool · 0.0domain modeling · 0.0context-based completion · 0.0cellular automata · 0.0
YearPublicationVenuePosition
2010 Adapting COTS products
abstract
COTS products can play various architectural roles in software systems: as interfaces to problem-specific functionality, as components that provide such functionality itself, and as intermediary connectors and components in more complex systems. In doing so, COTS products impose their own, unique constraints on organization and functionality. Over the last ten years, we have gained considerable experience with adopting, adapting, and living with the limitations of COTS products. Our goal was to adapt the COTS product to make it fit the application rather than adapting the application needs to make them fit the COTS product - thus, in essence, adapting the COTS product without access to its source code or documentation (a unique form of maintenance). We report on a large set of experiences involving eight COTS products and a wide range of COTS-Based Software Systems - most of which were done with and for industrial partners or government agencies. This experience report attempts to both give a feeling for how applications can be augmented with such COTS interfaces and also tries to tease out the specific architectural issues that anyone adapting COTS products is certain to face.
David S. Wile, Robert Balzer, Neil M. Goldman, Marcelo Tallis, Alexander Egyed, Tim Hollebeek
ICSM2
2010 A Deductive Spreadsheet System for End Users
abstract
We exploit the spreadsheet metaphor to make deductive problem-solving methods available to the vast population of spreadsheet end users. In particular, we show how the function-based problem-solving capabilities of spreadsheets can be extended to include logical deductive methods in a way that is consistent with the existing spreadsheet "look and feel." We also show a spreadsheet-based framework for authoring logic implication rules. This framework was conceived with the objective of reproducing many of the characteristics that make spreadsheet programming accessible to end users. In the proposed framework, rule authors describe the semantics of a binary relation by constructing a functional spreadsheet model that computes the image of that binary relation. This model is subsequently translated into a collection of logic implication rules. We implemented this deductive spreadsheet system on top of Microsoft Excel and adopting the World Wide Web Consortium (W3C) standard ontology language OWL+SWRL formalisms.
Marcelo Tallis, Robert Balzer
IEEE Trans. Knowl. Data Eng.2
2006 AWDRAT: A Cognitive Middleware System for Information Survivability
Howard E. Shrobe, Robert Laddaga, Robert Balzer, Neil M. Goldman, David S. Wile, Marcelo Tallis, Tim Hollebeek, Alexander Egyed
AAAI3
2006 Integrating COTS Software into Systems through Instrumentation and Reasoning
Alexander Egyed, Robert Balzer
Autom. Softw. Eng.2
2004 4th International Workshop on Adoption-Centric Software Engineering
Robert Balzer, Marin Litoiu, Hausi A. Müller, Dennis B. Smith, Margaret-Anne D. Storey, Scott R. Tilley, Kenny Wong
ICSE1
2003 3rd International Workshop on Adoption-centric Software Engineering ACSE 2003
abstract
The key objective of this workshop is to explore innovative approaches to the adoption of software engineering tools and practices-in particular by embedding them in extensions of Commercial Off-The-Shelf (COTS) software products and/or middleware technologies. The workshop aims to advance the understanding and evaluation of adoption of software engineering tools and practices by bringing together researchers and practitioners who investigate novel solutions to software engineering adoption issues.
Robert Balzer, Jens H. Weber, Marin Litoiu, Hausi A. Müller, Dennis B. Smith, Margaret-Anne D. Storey, Scott R. Tilley, Kenny Wong
ICSE1
2003 Modularity in the New Millenium: A Panel Summary
Premkumar T. Devanbu, Robert Balzer, Don S. Batory, Gregor Kiczales, John Launchbury, David Lorge Parnas, Peri L. Tarr
ICSE2
2002 Living with COTS
abstract
Computer usage has evolved from small special purpose applications to large Commercial Off The Shelf Software (COTS) products that dominate the landscape. These COTS products present major challenges for our traditional software assistance paradigm. This talk will explore those challenges and suggest research opportunities for software assistance in extending COTS products, in integrating them with other components, and in using them.
Robert Balzer
ICSE1
2001 "Tolerating Inconsistency" Revisited
abstract
Summary form only given, as follows. We're surrounded by inconsistency: in our requirements, in the data that our software processes, and in those software systems themselves. Yet our formal systems can’t handle such inconsistency. Most of them lose the ability to form any valid conclusions or analyses in the presence of even a single inconsistency. This forces our programs to operate in terms of an idealized model rather than the real world with the attendant requirement to either maintain a mapping between the two or force human operators to resolve the inconsistencies before the data is processed by the idealized system. My "Tolerating Inconsistency" paper introduced a simple way to scope formal constraint systems so that they applied only to the consistent data. Data inconsistent with these rules could then be represented and processed by giving them special marks to place them outside the rules’ scope. My talk will review the influence this idea had on the field and my subsequent work.
Robert Balzer
ICSE1
2001 Process-Centered Software Engineering Environments: Academic and Industrial Perspectives
Robert Balzer, Volker Gruhn
ICSE1
2001 Unfriendly COTS Integration-Instrumentation and Interfaces for Improved Plugability
abstract
It is becoming increasingly desirable to incorporate commercial-off-the-shelf (COTS) tools as software components into larger software systems. Due to their large user base, COTS tools tend to be cheap, reasonably reliable, and functionally powerful. Reusing them as components has the benefit of significantly reducing development cost and effort. Despite these advantages, developers encounter major obstacles in integrating most COTS tools because these tools have been constructed as stand-alone applications and make assumptions about their environment that do not hold when used as part of larger software systems. Most significantly, while they frequently contain programmatic interfaces that allow other components to obtain services from them on a direct call basis, they almost always lack the notification and data synchronicity facilities required for active integration. The authors present an integration framework for adding these notification and data synchronization facilities to COTS tools so that they can be integrated as active software components into larger systems. We illustrate our integration framework through tool suites we constructed around Mathworks' Matlab/Stateflow and Rational's Rose (two widely-used, large COTS tools). Our experience to date is that it is indeed possible to transform standalone COTS tools into software components.
Alexander Egyed, Robert Balzer
ASE2
1993 Mechanisms for Generic Process Support
abstract
As more and more programming environments incorporate explicit process descriptions, generic process capabilities will become crucial to the convenient instantiation and maintenance of process description. However, partly because process modeling languages have followed the example of programming languages in general, they are surprisingly weak in supporting generic process descriptions.We propose mechanisms whereby generic process capability can be added to any process formalism. The generic portions of the process description can then be refined through instantiation. We define a system architecture in which a generic process description can be refined gradually during its enactment. Such capabilities will be crucial to incorporating explicit process descriptions into the program environments of the future.
Robert Balzer, K. Narayanaswamy
SIGSOFT FSE1
1993 Retrospective on "The Organization of Expert Systems, a Tutorial"
Mark Stefik, Janice S. Aikins, Robert Balzer, John Benoit, Lawrence Birnbaum, Frederick Hayes-Roth, Earl D. Sacerdoti
Artif. Intell.3
1992 The OO Software Development Process (Panel)
abstract
Article Free Access Share on The OO software development process (panel) Authors: Dennis de Champeaux View Profile , Bob Balzer View Profile , Dave Bulman View Profile , Kathleen Culver-Lozo View Profile , Ivar Jacobson View Profile , Stephen J. Mellor View Profile Authors Info & Claims OOPSLA '92: Conference proceedings on Object-oriented programming systems, languages, and applicationsOctober 1992Pages 484–489https://doi.org/10.1145/141936.141974Published:31 October 1992Publication History 0citation383DownloadsMetricsTotal Citations0Total Downloads383Last 12 Months9Last 6 weeks0 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF
Dennis de Champeaux, Robert Balzer, Dave Bulman, Kathleen Culver-Lozo, Ivar Jacobson, Stephen J. Mellor
OOPSLA2
1991 Tolerating Inconsistency
Robert Balzer
ICSE1
1990 AI and Software Engineering: Will the Twain Ever Meet?
Robert Balzer
AAAI1
1989 Software Engineering in the Year 2001
abstract
No abstract available.
Robert Balzer
ICSE1
1985 Panel Description: The Role of Logic and AI in the Software Enterprise
Robert Balzer
ICSE1
1985 Automated Enhancement of Knowledge Representations
Robert Balzer
IJCAI1
1985 A 15 Year Perspective on Automatic Programming
abstract
Automatic programming consists not only of an automatic compiler, but also some means of acquiring the high-level specification to be compiled, some means of determining that it is the intended specification, and some (interactive) means of translating this high-level specification into a lower-level one which can be automatically compiled.
Robert Balzer
IEEE Trans. Software Eng.1
1984 Specification-Based Computing Environments for Information Management
abstract
We are deeply indebted to the members of ISI Software Division who developed the basic technology and approach for our effort. We especially wish to acknowledge the contributions of our colleagues, Dave Dyer and Matt Morgenstern, to the conceptualization and design of the system.
Robert Balzer, Neil M. Goldman, Robert Neches
ICDE1
1983 Specification-Based Computing Environments
Robert Balzer, David Dyer, Matthew Morgenstern, Robert Neches
AAAI1
1982 Specification-Based Computing Environments
Robert Balzer, David Dyer, M. Fehling, S. Saunders
VLDB1
1982 The Organization of Expert Systems, A Tutorial
Mark Stefik, Janice S. Aikins, Robert Balzer, John Benoit, Lawrence Birnbaum, Frederick Hayes-Roth, Earl D. Sacerdoti
Artif. Intell.3
1981 Application Downloading
Robert Balzer, Alvin S. Cooperband, Martin Feather, Philip E. London, David S. Wile
ICSE1
1981 Transformational Implementation: An Example
abstract
A system for mechanically transforming formal program specifications into efficient implementations under interactive user control is described and illustrated through a detailed example. The potential benefits and problems of this approach to software implementation are discussed.
Robert Balzer
IEEE Trans. Software Eng.1
1981 Editorial: Program Transformations
Robert Balzer, Thomas E. Cheatham Jr.
IEEE Trans. Software Eng.1
1980 HEARSAY-II: A Domain-Independent Framework for Expert Systems
Robert Balzer, Lee D. Erman, Philip London, Chuck Williams
AAAI1
1979 An Implementation Methodology for Semantic Data Base Models
Robert Balzer
ER1
1978 Informality in Program Specifications
abstract
This paper is concerned with the need for computer-based tools which help human designers formulate formal process-oriented specifications. It first determines some attributes of a suitable process-oriented specification language, then examines the reasons why specifications would still be difficult to write in such a language in the absence of formulation tools. The key to overcoming these difficulties seems to be the careful introduction of informality based on partial, rather than complete, descriptions and the use of a computer-based tool that uses context extensively to complete these descnrptions during the process of constructing a well-formed specification. Some results obtained by a running prototype of such a computer-based tool on a few informal example specifications are presented and, finaliy, some of the techniques used by this prototype system are discussed.
Robert Balzer, Neil M. Goldman, David S. Wile
IEEE Trans. Software Eng.1
1977 Informality in Program Specifications
Robert Balzer, Neil M. Goldman, David S. Wile
IJCAI1
1977 Meta-Evaluation as a Tool for Program Understanding
Robert Balzer, Neil M. Goldman, David S. Wile
IJCAI1
1977 The Use of a Domain Model in Understanding Informal Process Descriptions
Neil M. Goldman, Robert Balzer, David S. Wile
IJCAI2
1976 On the Transformational Implementation Approach to Programming
Robert Balzer, Neil M. Goldman, David S. Wile
ICSE1
1973 A Gobal View of Automatic Programming
Robert Balzer
IJCAI1
1973 CASAP: A Testbed for Program Flexibility
Robert Balzer
IJCAI1
1969 Search for a Solution: A Case Study
Robert Balzer
IJCAI1
1967 An 8-state Minimal Time Solution to the Firing Squad Synchronization Problem
Robert Balzer
Inf. Control.1