The Community for Technology Leaders
Knowledge-Based Software Engineering Conference (1996)
Syracuse, NY
Sept. 25, 1996 to Sept. 28, 1996
ISSN: 1068-3062
ISBN: 0-8186-7680-9
TABLE OF CONTENTS

Preface (PDF)

pp. vii
Session 1: Synthesis I: Chair: Jim Solderitsch - WPL Laboratories

Deductive synthesis of numerical simulation programs from networks of algebraic and ordinary differential equations (Abstract)

T. Murata , Dept. of Comput. Sci., Rutgers Univ., New Brunswick, NJ, USA
T. Ellman , Dept. of Comput. Sci., Rutgers Univ., New Brunswick, NJ, USA
pp. 2

Synthesis of schedulers for planned shutdowns of power plants (Abstract)

C.P. Gomes , Rome Lab., NY, USA
S. Westfold , Rome Lab., NY, USA
D. Smith , Rome Lab., NY, USA
pp. 12
Panel I: "How the Web influences KBSE Technology"
Session 2: Verification and Validation: Chair: Lewis Johnson - ISI

Trusting Your Assistant (Abstract)

Robert J. Hall , AT&T Research
pp. 42
Session 3: Knowledge-Based Environments: Chair: Alex Quilici - University of Hawaii

Extending design environments to software architecture design (Abstract)

D.F. Redmiles , Dept. of Inf. & Comput. Sci., California Univ., Irvine, CA, USA
J.E. Robbins , Dept. of Inf. & Comput. Sci., California Univ., Irvine, CA, USA
D.M. Hilbert , Dept. of Inf. & Comput. Sci., California Univ., Irvine, CA, USA
pp. 63

Integrating software process models and design rationales (Abstract)

F. Maurer , Kaiserslautern Univ., Germany
K. Kohler , Kaiserslautern Univ., Germany
B. Dellen , Kaiserslautern Univ., Germany
pp. 84
Panel II: "Corporate and Organizational Memory"
Session 4: reverse Engineering: Chair: Prem Devanbu -AT&T Research

Knowledge-based re-engineering of legacy programs for robustness in automated design (Abstract)

J. Keane , Dept. of Comput. Sci., Rutgers Univ., New Brunswick, NJ, USA
T. Ellman , Dept. of Comput. Sci., Rutgers Univ., New Brunswick, NJ, USA
pp. 104

Using knowledge-based transformations to reverse-engineer COBOL programs (Abstract)

T.J. Harmer , Dept. of Comput. Sci., Queen's Univ., Belfast, UK
J.M. Boyle , Dept. of Comput. Sci., Queen's Univ., Belfast, UK
P.J. McParland , Dept. of Comput. Sci., Queen's Univ., Belfast, UK
pp. 114
Session 5: Synthesis: Chair: Michael Lowry - NASA Ames

A knowledge-based toolkit for software visualisation (Abstract)

A. Kuusik , Dept. of Teleinf., R. Inst. of Technol., Kista, Sweden
E. Tyugu , Dept. of Teleinf., R. Inst. of Technol., Kista, Sweden
D. Sidarkeviciute , Dept. of Teleinf., R. Inst. of Technol., Kista, Sweden
pp. 125

Software Synthesis for Trade-off Design (Abstract)

Masanobu Watanabe , Software Research Laboratory, C&C Research Laboratories, NEC Corporation
Akiyoshi Sato , Software Research Laboratory, C&C Research Laboratories, NEC Corporation
Toru Yamanouchi , Software Research Laboratory, C&C Research Laboratories, NEC Corporation
Masato Miki , Software Research Laboratory, C&C Research Laboratories, NEC Corporation
pp. 144
Panel III

Author Index (PDF)

pp. 155
102 ms
(Ver 3.3 (11022016))