The Community for Technology Leaders
Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering (1992)
Capri, Italy
June 15, 1992 to June 20, 1992
ISBN: 0-8186-2830-8
TABLE OF CONTENTS

An open system protocol for agent-oriented programming (PDF)

Wen-Ran Zhang , Dept. of Comput. Sci., Lamar Univ., Beaumont, TX, USA
Wenhua Wang , Dept. of Comput. Sci., Lamar Univ., Beaumont, TX, USA
A. Guercio , Dept. of Comput. Sci., Lamar Univ., Beaumont, TX, USA
pp. 616-623

SESAM-simulating software projects (PDF)

J. Ludewig , Dept. of Comput. Sci., Stuttgart Univ., Germany
T. Bassler , Dept. of Comput. Sci., Stuttgart Univ., Germany
M. Deininger , Dept. of Comput. Sci., Stuttgart Univ., Germany
K. Schneider , Dept. of Comput. Sci., Stuttgart Univ., Germany
J. Schwille , Dept. of Comput. Sci., Stuttgart Univ., Germany
pp. 608-615

An iterative-cyclic software process model (PDF)

M. Rauterberg , Work & Org. Psychol. Unit, Swiss Federal Inst. of Technol., Zurich, Switzerland
pp. 600-607

Maintainability via structure models and software metrics (PDF)

F. Lanubile , Dipartimento di Informatica, Bari Univ., Italy
G. Visaggio , Dipartimento di Informatica, Bari Univ., Italy
pp. 590-599

A process model for software process management (PDF)

A. Hazeyama , Inf. Technol. Promotion Agency, Tokyo, Japan
S. Komiya , Inf. Technol. Promotion Agency, Tokyo, Japan
pp. 582-589

Software process modeling and evolution in EPOS (PDF)

L. Jaccheri , Div. of Comput. Syst. & Telematics, Norwegian Inst. of Technol., Trondheim, Norway
J.O. Larsen , Div. of Comput. Syst. & Telematics, Norwegian Inst. of Technol., Trondheim, Norway
R. Conradi , Div. of Comput. Syst. & Telematics, Norwegian Inst. of Technol., Trondheim, Norway
pp. 574-581

Layout algorithms for DFD processors (PDF)

K.P. Tan , Dept. of Inf. Syst. & Comput. Sci., Nat. Univ. of Singapore, Singapore
T.C. Tan , Dept. of Inf. Syst. & Comput. Sci., Nat. Univ. of Singapore, Singapore
pp. 567-573

Decomposition of data flow diagrams (PDF)

T. Arndt , Dept. of Comput. Sci., Lamar Univ., Beaumont, TX, USA
pp. 560-566

The renaissance of CASE through computer aided reverse engineering (CARE) (PDF)

J. Wagner , Siemens Nixdorf Informationsystems, Munich, Germany
pp. 551-559

The SEAR tool suite: CASE for expert system development in OPS5 (PDF)

P.A. Lynch , Artificial Intelligence Technol. Center, Digital Equipment Corp., Marlboro, MA, USA
T.A. Cooper , Artificial Intelligence Technol. Center, Digital Equipment Corp., Marlboro, MA, USA
pp. 545-550

Mapping of conceptual specifications into object-oriented programs (PDF)

N. Kraiem , Lab. MASI, Paris VI Univ., France
J. Brunet , Lab. MASI, Paris VI Univ., France
pp. 544-639

Parallelism profiling of an Ops5 production system interpreter (PDF)

A. Sohn , Dept. of Comput. & Inf. Sci., New Jersey Inst. of Technol., Newark, NJ, USA
pp. 534-543

A software engineering environment for modeling and developing knowledge-intensive systems (PDF)

G. Bruno , Dipartimento di Autom. Inf., Politecnico di Torino, Italy
G. Macario , Dipartimento di Autom. Inf., Politecnico di Torino, Italy
pp. 519-533

Supporting inheritance in relational database systems (PDF)

Wei Sun , Sch. of Comput. Sci., Florida Int. Univ., Miami, FL, USA
Sha Guo , Sch. of Comput. Sci., Florida Int. Univ., Miami, FL, USA
F. Arafi , Sch. of Comput. Sci., Florida Int. Univ., Miami, FL, USA
pp. 511-518

A constraint satisfaction system on the entity and relationship model (PDF)

M. Sato , ATR Commun. Syst. Res. Labs., Kyoto, Japan
M. Hashimoto , ATR Commun. Syst. Res. Labs., Kyoto, Japan
pp. 503-510

MERA: meta language for software engineering (PDF)

K. Takeda , Dept. of Inf. & Comput. Sci., Honolulu Univ., Hawaii, HI, USA
D.N. Chin , Dept. of Inf. & Comput. Sci., Honolulu Univ., Hawaii, HI, USA
I. Miyamoto , Dept. of Inf. & Comput. Sci., Honolulu Univ., Hawaii, HI, USA
pp. 495-502

Operational construction of integrity constraints (PDF)

A.T. Berztiss , Dept. of Comput. Sci., Pittsburgh Univ., PA, USA
pp. 487-494

An introduction to BagL (PDF)

D.E. Cooke , Dept. of Comput. Sci., Univ. Technol. El Paso, TX, USA
A. Gutierrez , Dept. of Comput. Sci., Univ. Technol. El Paso, TX, USA
pp. 479-486

Querying and analysis of software specifications (PDF)

A.F. Abate , Dip. Inf. ed Applicazioni, Salerno Univ., Italy
C. D'Apolito , Dip. Inf. ed Applicazioni, Salerno Univ., Italy
G. Nota , Dip. Inf. ed Applicazioni, Salerno Univ., Italy
pp. 470-478

Towards integrating logic, object, frame, and production (PDF)

Tak-Wai Chan , Inst. of Comput. Sci. & Electron. Eng., Nat. Central Univ., Chun-li, Taiwan
Wei-Ren Hwang , Inst. of Comput. Sci. & Electron. Eng., Nat. Central Univ., Chun-li, Taiwan
pp. 463-469

A simulation-based SDL support system (PDF)

Xiaofeng Li , C&C Software Dev. Lab., NEC America Inc., Irving, TX, USA
O. Shigo , C&C Software Dev. Lab., NEC America Inc., Irving, TX, USA
pp. 284-291

Correctness of full first-order specifications (PDF)

W. Reif , Inst. fur Logik, Karlsruhe Univ., Germany
pp. 276-283

An object-oriented analysis model of an iconic interface to Macsyma (PDF)

A.M. Olson , Dept. of Comput. & Inf. Sci., Purdue Univ., Indianapolis, IN, USA
pp. 253-260

Automatic layout of diagrams for software specification (PDF)

K. Sugihara , Dept. of Inf. & Comput. Sci., Hawaii Univ., Honolulu, HI, USA
pp. 245-252

Distributed intelligent control and management: concepts, methods and tools for developing DICAM applications (PDF)

F. Hayes-Roth , Cimflex Teknowledge Corp., Palo Alto, CA, USA
L.D. Erman , Cimflex Teknowledge Corp., Palo Alto, CA, USA
A. Terry , Cimflex Teknowledge Corp., Palo Alto, CA, USA
pp. 235-244

Prototyping an inconsistency checking tool for software process models (PDF)

J.-K. Hao , Parc Sci. Georges Besse, LERI/EERIE, Nimes, France
F. Trousset , Parc Sci. Georges Besse, LERI/EERIE, Nimes, France
pp. 227-234

Linear programming supporting Ada-tasking static analysis: a Petri net approach (PDF)

Shengru Tu , Dept. of Comput. Sci., New Orleans Univ., LA, USA
pp. 222-226

The software development workbench WSDW (PDF)

A. De Lucia , Dipartimento di Inf. ed Applicazioni, Salerno Univ., Italy
A. Imperatore , Dipartimento di Inf. ed Applicazioni, Salerno Univ., Italy
M. Napoli , Dipartimento di Inf. ed Applicazioni, Salerno Univ., Italy
G. Tortora , Dipartimento di Inf. ed Applicazioni, Salerno Univ., Italy
M. Tucci , Dipartimento di Inf. ed Applicazioni, Salerno Univ., Italy
pp. 213-221

ProTest: a knowledge analysis tool for the development of expert systems (PDF)

I. Watson , Dept. of Surveying, Salford Univ., UK
M. Norman , Dept. of Surveying, Salford Univ., UK
pp. 206-212

TEDIUM's window into design (PDF)

B.I. Blum , App. Phys. Lab., Johns Hopkins Univ., Laurel, MD, USA
pp. 200-205

Prototyping in the GEDBLOG system (PDF)

D. Aquilino , Ist. Elaborazione Inf., CNR, Pisa, Italy
P. Asirelli , Ist. Elaborazione Inf., CNR, Pisa, Italy
P. Inverardi , Ist. Elaborazione Inf., CNR, Pisa, Italy
pp. 194-199

Automatic configuration management in a General Object-Based Environment (PDF)

L. Bendix , Dipartimento di Inf., Pisa Univ., Italy
pp. 186-193

A rule-based tool for reverse engineering from source code to graphical models (PDF)

H. Huang , Dept. of Inf. & Comput. Sci., Hawaii Univ., Honolulu, HI, USA
K. Sugihara , Dept. of Inf. & Comput. Sci., Hawaii Univ., Honolulu, HI, USA
I. Miyamoto , Dept. of Inf. & Comput. Sci., Hawaii Univ., Honolulu, HI, USA
pp. 178-185

The reuse of software design and software architecture (PDF)

H. Li , Fac. of Math. & Comput. Sci., Delft Univ. of Technol., Netherlands
J. van Katwijk , Fac. of Math. & Comput. Sci., Delft Univ. of Technol., Netherlands
A.M. Levy , Fac. of Math. & Comput. Sci., Delft Univ. of Technol., Netherlands
pp. 170-177

Supporting multiple domains in a single reuse repository (PDF)

D. Eichmann , Dept. of Stat. & Comput. Sci., West Virginia Univ., Morgantown, WV, USA
pp. 164-169

A knowledge-based approach to encouraging reuse of simulation and modeling programs (PDF)

L. Miller , Dept. of Comput. Syst. Res., Aerosp. Corp., El Segundo, CA, USA
pp. 158-163

Reusing software with ESTRO (Evolving Software Repository) (PDF)

B. Macchini , Finsiel Group, Italsiel SpA IRI, Roma, Italy
pp. 150-157

Towards reuse reengineering of old software (PDF)

A. Cimitile , Dept. of 'Inf. e Sistemistica', Naples Univ., Italy
pp. 140-149

Extracting procedural knowledge from software systems using inductive learning in the PM system (PDF)

R.G. Reynolds , Dept. of Comput. Sci., Wayne State Univ., Detroit, MI, USA
J.I. Maletic , Dept. of Comput. Sci., Wayne State Univ., Detroit, MI, USA
E. Zannoni , Dept. of Comput. Sci., Wayne State Univ., Detroit, MI, USA
pp. 131-139

Applying metrics to rule-based systems (PDF)

P. Doyle , Sch. of Comput. Applications, Dublin City Univ., Ireland
R. Verbruggen , Sch. of Comput. Applications, Dublin City Univ., Ireland
pp. 123-130

Expert-supported object-oriented analysis in knowledge engineering (PDF)

H. Schaschinger , Dept. of Comput. Sci., Linz Univ., Austria
pp. 116-122

Compiling rules and queries in knowledge base systems: a substitution-based approach (PDF)

Jonghoon Chun , Dept. of Electr. Eng. & Comput. Sci., Northwestern Univ., Evanston, IL, USA
L.J. Henschen , Dept. of Electr. Eng. & Comput. Sci., Northwestern Univ., Evanston, IL, USA
pp. 109-115

A knowledge base management system on relation model and term rewriting (PDF)

Jinpeng Huai , Dept. of Comput. Sci., Beijing Univ. of Aeronaut. & Astronaut., Beijing, China
pp. 102-108

Uncertain temporal knowledge management (PDF)

Chen Ziqiang , CEA/DTA/LETI/DEIN, CE-Saclay, Gif-sur-Yvette, France
pp. 94-100

Modularity for logical knowledge bases (PDF)

G. Antoniou , Dept. of Comput. Sci., Osnabrueck Univ., Germany
pp. 87-93

A support environment for knowledge-based software design (PDF)

M.T. Harandi , Dept. of Comput. Sci., Illinois Univ., Urbana, IL, USA
pp. 71-78

Network-based simple recursive answer evaluation for deductive databases in parallel environment (PDF)

K. Kim , Dept. of Electr. Eng. & Comput. Sci., Northwestern Univ., Evanston, IL, USA
L.J. Henschen , Dept. of Electr. Eng. & Comput. Sci., Northwestern Univ., Evanston, IL, USA
pp. 63-70

A kernel architecture for a computer aided knowledge engineering workbench (PDF)

Z. Karssen , Cap Gemini Innovation, Paris, France
C. Toussaint , Cap Gemini Innovation, Paris, France
pp. 55-62

Recognizing objects from constraints (PDF)

E. Maim , Constraint Resolution Res. Group, Syseca, Saint-Cloud, France
pp. 47-54

An integrated system for query formulation and database design (PDF)

R.D. Semmel , Appl. Phys. Lab., Johns Hopkins Univ., Laurel, MD, USA
pp. 40-46

Knowledge acquisition and validation for implicit expertise (PDF)

Gwo-Jen Hwang , Comput. Center, Nat. Chiao Tung Univ., Hsinchu, Taiwan
pp. 32-39

A knowledge-based method for engineering navigational capability into user interface software (PDF)

M. St. Jacques , GTE Data Services, Temple Terrace, FL, USA
D. Stevens , GTE Data Services, Temple Terrace, FL, USA
J. Getchius , GTE Data Services, Temple Terrace, FL, USA
L. Lau , GTE Data Services, Temple Terrace, FL, USA
pp. 26-31

Program refinement using generic object (PDF)

Y. Sato , Fac. of Eng., Hiroshima Univ., Japan
Y. Morimoto , Fac. of Eng., Hiroshima Univ., Japan
T. Ichikawa , Fac. of Eng., Hiroshima Univ., Japan
pp. 18-25

Knowledge-based transformational programming (PDF)

J. Liu , FB3 Inf. & Math., Bremen Univ., Germany
O. Traynor , FB3 Inf. & Math., Bremen Univ., Germany
B. Krieg-Bruckner , FB3 Inf. & Math., Bremen Univ., Germany
pp. 17-639

An optimized concurrency control algorithm for transaction processing (PDF)

Shiwei Wang , Aiken Comput. Lab., Harvard Univ., Cambridge, MA, USA
U.O. Gagliardi , Aiken Comput. Lab., Harvard Univ., Cambridge, MA, USA
pp. 9-16

CASE approach in telecom. software development (PDF)

C. Caporaso , Alcatel Face, Salerno, Italy
G. De Rosa , Alcatel Face, Salerno, Italy
G. Fortunato , Alcatel Face, Salerno, Italy
F.A. Marra , Alcatel Face, Salerno, Italy
A. Pierri , Alcatel Face, Salerno, Italy
pp. 443-454

Quality control within an expert system prototype development (PDF)

P. Flauto , Crisalide Res. Center, Datitalia Processing SpA, Napoli, Italy
S. Musella , Crisalide Res. Center, Datitalia Processing SpA, Napoli, Italy
pp. 435-442

Knowledge engineering for protein structure and motifs: design of a prototype system (PDF)

S. Subramaniam , Dept. of Physiol. & Biophys., Illinois Univ., Urbana, IL, USA
D.K. Tcheng , Dept. of Physiol. & Biophys., Illinois Univ., Urbana, IL, USA
Kexiang Hu , Dept. of Physiol. & Biophys., Illinois Univ., Urbana, IL, USA
H. Ragavan , Dept. of Physiol. & Biophys., Illinois Univ., Urbana, IL, USA
L.A. Rendell , Dept. of Physiol. & Biophys., Illinois Univ., Urbana, IL, USA
pp. 420-434

Opportunistic production planning through interactive problem solving (PDF)

E. Bertolotti , AI Dept., Bull R&D Div., Pregnana Milanese, Italy
pp. 404-411

Incremental, high level implementation of Prolog in an open system framework (PDF)

V. Loia , Dipartimento di Inf. ed Applicazioni, Salerno Univ., Baronissi, Italy
G. Cattaneo , Dipartimento di Inf. ed Applicazioni, Salerno Univ., Baronissi, Italy
pp. 394-403

Unifying multi-paradigms in software system design (PDF)

Yi Deng , Dept. of Comput. Sci., Pittsburgh Univ., PA, USA
Shi-Kuo Chang , Dept. of Comput. Sci., Pittsburgh Univ., PA, USA
pp. 386-393

Object-oriented programming testing methodology (PDF)

Chi-Ming Chung , Dept. of Comput. Sci., Tamkang Univ., Taipei, Taiwan
Ming-Chi Lee , Dept. of Comput. Sci., Tamkang Univ., Taipei, Taiwan
pp. 378-385

Quality-driven validation: a link between four research traditions (PDF)

I. Tervonen , Dept. of Inf. Process. Sci., Oulu Univ., Finland
pp. 370-377

Two real-time expert systems for the monitoring and maintenance of digital exchanges (PDF)

F. Alcaraz , Telefonica I+D, Madrid, Spain
M. Nunez , Telefonica I+D, Madrid, Spain
A. Hernandez , Telefonica I+D, Madrid, Spain
J.L. Blazquez , Telefonica I+D, Madrid, Spain
pp. 364-369

The development of a knowledge based system for predicting strategic building maintenance (PDF)

I. Watson , Dept. of Surveying, Salford Univ., UK
P. Brandon , Dept. of Surveying, Salford Univ., UK
A. Basden , Dept. of Surveying, Salford Univ., UK
pp. 356-363

A hierarchical blackboard architecture for distributed AI systems (PDF)

M. Weiss , Lehrstuhl fur Praktische Inf., Mannheim, Germany
F. Stetter , Lehrstuhl fur Praktische Inf., Mannheim, Germany
pp. 349-355

A software engineering approach to the design of a medical expert system (PDF)

R. Stamper , Programming Res. Group, Oxford Univ., UK
B.S. Todd , Programming Res. Group, Oxford Univ., UK
P.M. Macpherson , Programming Res. Group, Oxford Univ., UK
pp. 341-348

Formal specification of a rule-based expert system (PDF)

B.S. Todd , Programming Res. Group, Oxford Univ., UK
R. Stamper , Programming Res. Group, Oxford Univ., UK
pp. 333-340

A blackboard model to design integrated intelligent software maintenance environment (PDF)

G. Avellis , Adv. Software Technol., Tecnopolis CSATA Novus Ortus, Valenzano, Italy
pp. 325-332

System design as derivation via rewriting (PDF)

F. Parisi-Presicce , Dipartimento di Matematica Pura ed Applicata, L'Aquila Univ., Italy
A. Pierantonio , Dipartimento di Matematica Pura ed Applicata, L'Aquila Univ., Italy
pp. 317-324

Integrated specification of method and graphic knowledge (PDF)

A.H.M. ter Hofstede , Software Eng. Res. Centre, Utrecht, Netherlands
T.F. Verhoef , Software Eng. Res. Centre, Utrecht, Netherlands
E.R. Nieuwland , Software Eng. Res. Centre, Utrecht, Netherlands
G.M. Wijers , Software Eng. Res. Centre, Utrecht, Netherlands
pp. 307-316

A graph proof procedure for real time logic (PDF)

Jung-Hong Kao , Dept. of Electr. Eng. & Comput. Sci., Northwestern Univ., Evanston, IL, USA
pp. 300-306

A Petri net semantics for logic programs with negation (PDF)

T. Shimura , Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA
J. Lobo , Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA
T. Murata , Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA
pp. 292-299
95 ms
(Ver 3.3 (11022016))