The Community for Technology Leaders
Proceedings of the Seventh Knowledge-Based Software Engineering Conference (1992)
Mclean, VA, USA
Sept. 20, 1992 to Sept. 23, 1992
ISSN: 1068-3062
ISBN: 0-8186-2880-4
TABLE OF CONTENTS

A knowledge-based software process library for process-driven software development (PDF)

P. Mi , Univ. of Southern California, Los Angeles, CA, USA
M.-J. Lee , Univ. of Southern California, Los Angeles, CA, USA
W. Scacchi , Univ. of Southern California, Los Angeles, CA, USA
pp. 122-131

Domain abstractions in requirements engineering: an exemplar approach? (PDF)

N.A.M. Maiden , Dept. of Bus. Comput., City Univ., London, UK
A.G. Sutcliffe , Dept. of Bus. Comput., City Univ., London, UK
pp. 112-121

Software design by reusing architectures (PDF)

S. Bhansali , Knowledge Syst. Lab., Stanford Univ., Palo Alto, CA, USA
H.P. Nii , Knowledge Syst. Lab., Stanford Univ., Palo Alto, CA, USA
pp. 100-109

CAESAR: a system for case based software reuse (PDF)

G. Fouque , Dept. of Comput. Sci., Ottawa Univ., Ont., Canada
S. Matwin , Dept. of Comput. Sci., Ottawa Univ., Ont., Canada
pp. 90-99

Reusing database queries in analogical domains (PDF)

H. Ould-Brahim , Dept. of Comput. Sci., Ottawa Univ., Ont., Canada
S. Matwin , Dept. of Comput. Sci., Ottawa Univ., Ont., Canada
pp. 80-89

Software reuse through view type clusters (PDF)

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

Prototyping VDM specifications with KIDS (PDF)

Y. Ledru , Unite de Inf., Univ. Catholique de Louvain, Louvain-La-Neuve, Belgium
M.-H. Liegeois , Unite de Inf., Univ. Catholique de Louvain, Louvain-La-Neuve, Belgium
pp. 50-59

Transformation of a semi-formal specification to VDM (PDF)

J. D'Almeida , Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada
R. Achuthan , Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada
T. Radhakrishnan , Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada
V.S. Alagar , Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada
pp. 40-49

Software synthesis shell SOFTEX/S (PDF)

T. Yamanouchi , NEC Corp., Kawasaki, Japan
A. Sato , NEC Corp., Kawasaki, Japan
M. Tomobe , NEC Corp., Kawasaki, Japan
H. Takeuchi , NEC Corp., Kawasaki, Japan
pp. 28-37

Knowledge-based constraint-driven software synthesis (PDF)

T.E. Smith , Dept. of Electr. Eng., Pittsburgh Univ., PA, USA
D.E. Setliff , Dept. of Electr. Eng., Pittsburgh Univ., PA, USA
pp. 18-27

A code synthesis experiment (PDF)

H. Graves , Lockheed Palo Alto Res. Labs., CA, USA
J. Louie , Lockheed Palo Alto Res. Labs., CA, USA
T. Mullen , Lockheed Palo Alto Res. Labs., CA, USA
pp. 6-17

Knowledge-based support for scientific programming (PDF)

E. Kant , Schlumberger Lab. for Comput. Sci., Austin, TX, USA
pp. 2-4

Educating knowledge-based software engineers (PDF)

P.D. Bailor , Dept. of Electr. & Comput. Eng., Air Force Inst. of Technol., Wright-Patterson AFB, OH, USA
pp. 226-235

Program concept recognition (PDF)

W. Kozaczynski , Andersen Consulting, Chicago, IL, USA
J. Ning , Andersen Consulting, Chicago, IL, USA
T. Sarver , Andersen Consulting, Chicago, IL, USA
pp. 216-225

Domain-oriented design environments (PDF)

G. Fischer , Dept. of Comput. Sci., Colorado Univ., Boulder, CO, USA
pp. 204-213

A knowledge-based software development environment for scientific model-building (PDF)

R.M. Keller , Sterling Software, Nasa Ames Res. Center, Moffett Field, CA, USA
M. Rimon , Sterling Software, Nasa Ames Res. Center, Moffett Field, CA, USA
pp. 192-201

Automatic composition of data structures to represent relations (PDF)

D. Cohen , USC/Inform. Sci. Inst., Marina del Rey, CA, USA
N. Campbell , USC/Inform. Sci. Inst., Marina del Rey, CA, USA
pp. 182-191

Efficiently computing derived performance data (PDF)

Y. Liao , NEC Syst. Lab. Inc., Princeton, NJ, USA
pp. 172-181

Managing design knowledge to provide assistance to large-scale software development (PDF)

P.G. Selfridge , AT&T Bell Lab., Murray Hill, NJ, USA
L.G. Terveen , AT&T Bell Lab., Murray Hill, NJ, USA
pp. 163-170

Explorations on the formal frontier of distributed system design (PDF)

M.S. Feather , USC/Inform. Sci. Inst., Marina del Rey, CA, USA
pp. 154-162

Simulating the Gries/Dijkstra design process (PDF)

R.B. Terwilliger , Dept. of Comput. Sci., Colorado Univ., Boulder, CO, USA
pp. 144-153

Towards a logic-based reconstruction of software configuration management (PDF)

M. Jarke , Lehrstuhl Inf. V., RWTH, Aachen, Germany
M. Jeusfeld , Lehrstuhl Inf. V., RWTH, Aachen, Germany
pp. 132-141
89 ms
(Ver 3.3 (11022016))