The Community for Technology Leaders
Proceedings KBSE '94. Ninth Knowledge-Based Software Engineering Conference (1994)
Monterey, CA, USA
Sept. 20, 1994 to Sept. 23, 1994
ISSN: 1068-3062
ISBN: 0-8186-6380-4
TABLE OF CONTENTS

Software technology risk advisor (PDF)

G.A. Toth , Dept. of Comput. Sci., Univ. of Southern California, Los Angeles, CA, USA
pp. 179-188

Knowledge-based risk assessment and cost estimation (PDF)

R. Madachy , Center for Software Eng., Univ. of Southern California, Los Angeles, CA, USA
pp. 172-178

Critical success factors for knowledge-based software engineering applications (PDF)

B. Boehm , Centre for Software Eng., Univ. of Southern California, Los Angeles, CA, USA
P. Bose , Centre for Software Eng., Univ. of Southern California, Los Angeles, CA, USA
pp. 166-171

Integrating object-oriented paradigms and logic programming: the OPLA language (PDF)

V. Loia , Dipartimento di Inf. ed Applicazioni, Salerno Univ., Italy
M. Quaggetto , Dipartimento di Inf. ed Applicazioni, Salerno Univ., Italy
pp. 158-164

User interface design assistance for large-scale software development (PDF)

G.A. Bolcer , Dept. of Inf. & Comput. Sci., California Univ., Irvine, CA, USA
pp. 142-149

Abstract data structure recognition (PDF)

R. Dekker , Dept. of Tech. Math. & Inf., Delft Univ. of Technol., Netherlands
F. Ververs , Dept. of Tech. Math. & Inf., Delft Univ. of Technol., Netherlands
pp. 133-140

A cooperative program understanding environment (PDF)

A. Quilici , Dept. of Electr. Eng., Hawaii Univ., Honolulu, HI, USA
D.N. Chin , Dept. of Electr. Eng., Hawaii Univ., Honolulu, HI, USA
pp. 125-132

Graphical support for code-level software understanding (PDF)

P.G. Selfridge , AI Principles Res Dept., AT&T Bell Labs., Murray Hill, NJ, USA
G.T. Heineman , AI Principles Res Dept., AT&T Bell Labs., Murray Hill, NJ, USA
pp. 117-124

Evolution and reuse of formal specifications using decision structures (PDF)

C. Wild , Dept. of Comput. Sci., Old Dominion Univ., Norfolk, VA, USA
D. Rosca , Dept. of Comput. Sci., Old Dominion Univ., Norfolk, VA, USA
pp. 108-115

Task-oriented and similarity-based retrieval (PDF)

D. Lauzon , Dept. of Comput. Sci., Toronto Univ., Ont., Canada
T. Rose , Dept. of Comput. Sci., Toronto Univ., Ont., Canada
pp. 98-107

A formal approach to reusing more general components (PDF)

Jun-Jang Jeng , Dept. of Comput. Sci., Michigan State Univ., East Lansing, MI, USA
B.H.C. Cheng , Dept. of Comput. Sci., Michigan State Univ., East Lansing, MI, USA
pp. 90-97

A flexible rule-chaining engine for process-based software engineering (PDF)

A.Z. Tong , Dept. of Comput. Sci., Columbia Univ., New York, NY, USA
G.E. Kaiser , Dept. of Comput. Sci., Columbia Univ., New York, NY, USA
pp. 79-88

Systematic incremental validation of rule-based reactive systems (PDF)

R.J. Hall , AT&T Bell Labs., Murray Hill, NJ, USA
pp. 69-78

Formal specification tools for test coverage analysis (PDF)

J.J. Chilenski , Boeing Co., Seattle, WA, USA
P.H. Newcomb , Boeing Co., Seattle, WA, USA
pp. 59-68

A formal approach to domain-oriented software design environments (PDF)

M. Lowry , Recom Technol., NASA Ames Res. Center, Moffett Field, CA, USA
A. Philpot , Recom Technol., NASA Ames Res. Center, Moffett Field, CA, USA
T. Pressburger , Recom Technol., NASA Ames Res. Center, Moffett Field, CA, USA
I. Underwood , Recom Technol., NASA Ames Res. Center, Moffett Field, CA, USA
pp. 48-57

Composing reusable software components through views (PDF)

G.S. Novak , Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
pp. 39-47

Using machine learning to synthesize search programs (PDF)

S. Minton , Recom Technol., NASA Ames Res. Center, Moffett Field, CA, USA
pp. 31-38

Intelligent assistance for software construction: a case study (PDF)

L.G. Terveen , AT&T Bell Labs., Murray Hill, NJ, USA
P.G. Selfridge , AT&T Bell Labs., Murray Hill, NJ, USA
pp. 14-21

A framework for distributed system designs (PDF)

M.S. Feather , USC, Information Sci. Inst., Marina del Rey, CA, USA
pp. 6-13

Application of REFINE Language Tools to software quality assurance (PDF)

G. Kotik , Reasoning Syst. Inc., Palo Alto, CA, USA
L. Markosian , Reasoning Syst. Inc., Palo Alto, CA, USA
pp. 4

AMPHION: automatic programming for subroutine libraries (PDF)

M. Lowry , AI Res. Branch, NASA Ames Res. Center, Moffett Field, CA, USA
A. Philpot , AI Res. Branch, NASA Ames Res. Center, Moffett Field, CA, USA
T. Pressburger , AI Res. Branch, NASA Ames Res. Center, Moffett Field, CA, USA
I. Underwood , AI Res. Branch, NASA Ames Res. Center, Moffett Field, CA, USA
pp. 2
96 ms
(Ver 3.3 (11022016))