The Community for Technology Leaders
Knowledge-Based Software Engineering Conference (1995)
Boston, Massachusetts
Nov. 12, 1995 to Nov. 15, 1995
ISSN: 1068-3062
ISBN: 0-8186-7204-8
TABLE OF CONTENTS

Preface (PDF)

pp. vii
SESSION 1: Synthesis I

META-AMPHION: synthesis of efficient domain-specific program synthesis systems (Abstract)

M.R. Lowry , NASA Ames Res. Center, Moffett Field, CA, USA
J. van Baalen , NASA Ames Res. Center, Moffett Field, CA, USA
pp. 2

Knowledge-based program synthesis for a geometric constraint satisfaction system (Abstract)

S. Bhansali , Sch. of Electr. Eng. & Comput. Sci., Washington State Univ., Pullman, WA, USA
T. Hoar , Sch. of Electr. Eng. & Comput. Sci., Washington State Univ., Pullman, WA, USA
pp. 11
SESSION 2: Formal Specifications

Representing object models as theories (Abstract)

S. DeLoach , US Air Force Inst. of Technol., Wright-Patterson AFB, OH, USA
P. Bailor , US Air Force Inst. of Technol., Wright-Patterson AFB, OH, USA
T. Hartrum , US Air Force Inst. of Technol., Wright-Patterson AFB, OH, USA
pp. 28

Logical frameworks as a basis for verification tools: a case study (Abstract)

I. Kraan , Inst. fur Inf., Zurich Univ., Switzerland
P. Baumann , Inst. fur Inf., Zurich Univ., Switzerland
pp. 36

A transformation system for interactive reformulation of design optimization strategies (Abstract)

T. Murata , Dept. of Comput. Sci., Rutgers Univ., Piscataway, NJ, USA
M. Schwabacher , Dept. of Comput. Sci., Rutgers Univ., Piscataway, NJ, USA
J. Keane , Dept. of Comput. Sci., Rutgers Univ., Piscataway, NJ, USA
T. Euman , Dept. of Comput. Sci., Rutgers Univ., Piscataway, NJ, USA
pp. 44

Searching for a global search algorithm (Abstract)

S. Dick , Bremen Univ., Germany
T. Santem , Bremen Univ., Germany
pp. 52
SESSION 3: Legal Issues in Knowledge-Based Software Enginering

Legal issues in knowledge-based software engineering (Abstract)

M.R. Lowry , Daniel Bourque Law Offices, Manchester, NH, USA
D.D. Lowry , Daniel Bourque Law Offices, Manchester, NH, USA
pp. 61
SESSION 4: Knowledge-Based Environments

An empirical evaluation of KBSA technology (Abstract)

K.M. Banner , Center for Strategic Technol. Res., Andersen Consulting, Chicago, IL, USA
W.C. Sasso , Center for Strategic Technol. Res., Andersen Consulting, Chicago, IL, USA
pp. 71

An interface between different software development environments (Abstract)

G. Linden , Dept. of Comput. Sci., Helsinki Univ., Finland
A.I. Verkamo , Dept. of Comput. Sci., Helsinki Univ., Finland
pp. 79
SESSION 5: Process

Domain-oriented software process re-engineering with software synthesis shell SOFTEX/S (Abstract)

M. Hijikata , C&C Res. Labs., NEC Corp., Kawasaki, Japan
A. Sato , C&C Res. Labs., NEC Corp., Kawasaki, Japan
T. Yamanouchi , C&C Res. Labs., NEC Corp., Kawasaki, Japan
M. Watanabe , C&C Res. Labs., NEC Corp., Kawasaki, Japan
M. Tomobe , C&C Res. Labs., NEC Corp., Kawasaki, Japan
pp. 97

A model for decision maintenance in the WinWin collaboration framework (Abstract)

P. Bose , Dept. of Comput. Sci., Univ. of Southern California, Los Angeles, CA, USA
pp. 105

Application of a decision support mechanism to the business rules lifecycle (Abstract)

K. Maly , Dept. of Comput. Sci., Old Dominion Univ., Norfolk, VA, USA
D. Rosca , Dept. of Comput. Sci., Old Dominion Univ., Norfolk, VA, USA
M. Feblowitz , Dept. of Comput. Sci., Old Dominion Univ., Norfolk, VA, USA
C. Wild , Dept. of Comput. Sci., Old Dominion Univ., Norfolk, VA, USA
H. Reubenstein , Dept. of Comput. Sci., Old Dominion Univ., Norfolk, VA, USA
S. Greenspan , Dept. of Comput. Sci., Old Dominion Univ., Norfolk, VA, USA
pp. 114
SESSION 6: Reuse and Re-engineering

Portability by automatic translation a large-scale case study (Abstract)

D.A. Friedman , Dept. of Comput. Sci., Tel Aviv Univ., Israel
Y.A. Feldman , Dept. of Comput. Sci., Tel Aviv Univ., Israel
pp. 123

Classification and retrieval of reusable components using semantic features (Abstract)

P. Alexander , Dept. of Electr. & Comput. Eng., Cincinnati Univ., OH, USA
J. Penix , Dept. of Electr. & Comput. Eng., Cincinnati Univ., OH, USA
P. Baraona , Dept. of Electr. & Comput. Eng., Cincinnati Univ., OH, USA
pp. 131

Classifying software components using design characteristics (Abstract)

C. Clifton , Dept. of Electr. Eng. & Comput. Sci., Northwestern Univ., Evanston, IL, USA
Wen-Syan Li , Dept. of Electr. Eng. & Comput. Sci., Northwestern Univ., Evanston, IL, USA
pp. 139
SESSION 7: Program Understanding

Towards an epistemology for software representations (Abstract)

C.A. Welty , Dept. of Comput. Sci., Vassar Coll. Obs., Poughkeepsie, NY, USA
pp. 148

Interactive explanation of software systems (Abstract)

A. Erdem , Inf. Sci. Inst., Univ. of Southern California, Marina del Rey, CA, USA
W.L. Johnson , Inf. Sci. Inst., Univ. of Southern California, Marina del Rey, CA, USA
pp. 155
SESSION 8: Synthesis II

Automating changes of data type in functional programs (Abstract)

J. Richardson , Dept. of Artificial Intelligence, Edinburgh Univ., UK
pp. 166

Test sequences as plans: an experiment in using an AI planner to generate system tests (Abstract)

A.E. Howe , Dept. of Comput. Sci., Colorado State Univ., Fort Collins, CO, USA
A. von Mayrhauser , Dept. of Comput. Sci., Colorado State Univ., Fort Collins, CO, USA
R.T. Mraz , Dept. of Comput. Sci., Colorado State Univ., Fort Collins, CO, USA
pp. 184

Specification and animation of a bank transfer (Abstract)

Y. Ledru , Lab. de Genie Inf., IMAG, Grenoble, France
pp. 192

Author Index (PDF)

pp. 202
90 ms
(Ver 3.3 (11022016))