5. SEKE 1993:
San Francisco,
CA,
USA
SEKE'93, The 5th International Conference on Software Engineering and Knowledge Engineering, Tutorials, June 14-15, 1993, Technical Program, June 16-18, 1993, Hotel Sofitel, San Francisco Bay, USA.
Knowledge Systems Institute 1993 
Knowledge-Based Query Processing
Object Orientation in SE & KE
Panel:
The Workshop on Software Automation
Reverse Engineering
Small-Group Presentations
- Alfs T. Berztiss:
Catastrophe Prevention in Safety-Critical Systems.
102-108
- Brigitte Biebow, Sylvie Szulman:
Acquisition, Analysis and Validation of Informal Requirements.
109-116
- Daniel E. Cooke:
A High Level Programming Language Based Upon Ordered Multisets.
117-124
- Perry Alexander:
BENTON: A Multi-Agent System for Larch Specification Generation.
125-133
- Michel Dojat, Claudette Sayettat:
Temporal Reasoning in a Medical Expertise.
134-141
- Frank P. Coyle, Murat M. Tanik, Dennis J. Frailey:
Rule-Based Programming for Real-Time Knowledge-Based Systems Development.
142-149
- Robert G. Reynolds, Jonathan I. Maletic:
The Use of Refinement Metrics to Assess Programming Language Support for the Stepwise Refinement Process.
150-157
- Michael DeBellis:
Intelligent Assistance for Transformation-Based Environments.
158-165
- Eugeniusz Eberbach:
The Design and Specification of SEMAL - A Cost Language Based on the Calculus of Self-Modifiable Algorithms.
166-173
- Mari Georges:
Closing the Knowledge Engineering Gap.
174-182
- Grigoris Antoniou:
Engineering Issues for No monotonic Knowledge: Structuring, Specification, Modules.
183-190
- Trent Jaeger, Atul Prakash:
BIZSPEC: A Business-Oriented Model for Specification and Analysis of Office Information Systems.
191-198
- Cui Zhang, Qinping Zhao, Jiafu Xu:
A Knowledge Processing Language and Its Parallel Inference System.
199-206
- Wen-Ran Zhang, Mei-Ying Cheng:
Virtual Agents and Virtual Communities: An Agent-Oriented Software and Knowledge Engineering Paradigm for Distributed Cooperative Systems.
207-214
Panels:
Advances in SE & KE
- Aizhong Li, Xuhua Liu:
A Computational Theory of Knowledge Discovery and Revision.
215-218
- Atsushi Ohnishi:
Visual Software Requirements Specification Language: VRDL.
219-221
- Enrico Maim:
Restricted Abduction in Constraint Logic Programs.
222-224
- Salah Badr, Luqi:
A Version and Configuration Model for Software Evolution.
225-227
- Regine Laleau, Philippe Facon:
Modeling Semantic Data Concepts with VDM.
228-230
- Seiichi Komiya, Motoshi Saeki, Shinichi Honiden, Junzou Kato, Akira Ohmori, Hisayuki Horai, Shigeru Ohtsuki, Kazuhito Ohmaki:
An Experimental Analysis for Classifying Specification Processes.
231-234
- Chau-Young Ivan Lin, Chih-Cheng Chien, Cheng-Seen Ho:
A Generic Shell-Specialized Knowledge Acquisition Tool for Developing Network Management Software.
235-238
- Dongwook Shin, Youngmin Chung, Hyunsoo Yoon:
Mode Based Type Inference for Prolog Programs.
239-243
- Albert Mo Kim Cheng:
A New Complexity Metric for OPS5 Rule-Based Systems.
244-247
- Chye-Lin Chee, Sevki S. Erdogan, Chon-Keat Wong:
VCFS: A File System for Transparent Version Control.
248-251
- Sen-Tarng Lai, Chien-Chiao Yang:
Multi-Layer Repertory Grid Classification for Increasing Software Reusability.
252-254
- Lianhui Chen, Paul Voumard:
Knowledge Engineering in Fault Diagnostic Problem Solving.
255-257
- Jeffrey S. Poulin:
Issues in the Development and Application of Reuse Metrics in a Corporate Environment.
258-262
- Massimo Bombana, Giacomo Buonanno, Patrizia Cavalloro, Fabrizio Ferrandi, Donatella Sciuto, Giuseppe Zaza:
An Expert Solution to Functional Testability Analysis of VLSI Circuits.
263-265
- T. Richard MacMillan, Martha L. Farinacci, Sharon J. Laskowski, Elaine P. Lusher, Leonard J. Seligman:
A Common Architecture To Encourage Reuse Of Natural Language/Text Processing Tools.
266-270
- Gary D. Boetticher, K. Srinivas, David Eichmann:
A Neural Net-Based Approach to Software Metrics.
271-274
- Claire P. Willis, Derek J. Paddon:
Machine Learning for Program Transformations in Software Reuse.
275-277
- Israel Hilerio, Roger Lippert, Murat M. Tanik:
Hyperknowledge Engineering: The Next Generation of Intelligent Hypertext Documents.
278-281
- Natalia Juristo Juzgado:
Application of Testing Techniques in Conventional Software to Knowledge-Based Software.
282-284
- Michael Weis:
Object-Oriented Design of a Distributed Blackboard Kernel.
285-287
- Sang C. Suh, Clenio F. Salviano, Murat M. Tanik:
INTEK: A Software Tool for an Intermediate Knowledge Representation Formalism.
288-290
- Sumio Mochizuki, Akira Yamauchi, Takuya Katayama:
Two Models for Describing Software Design Process: Object-Centered Model and Phase-Centered Model.
291-295
- Kari Kaarela, Ari Okkonen:
Executable Graphic Specifications in Automation Projects.
296-300
- Javed I. Khan, Isao Miyamoto:
Formalism for Hierarchical Organization and Flexible Abstraction of Program Knowledge.
301-303
- Fiora Pirri, Clara Pizzuti:
Using Datalog as a Language for Data Dictionary Design: A Deductive Support.
304-308
- H. Bachatène, Michel Coriat, Amal El Fallah-Seghrouchni:
Using Software Engineering Principles to Design Intelligent Cooperative Systems.
309-313
- Fabio Paternò:
Definition of Properties of User Interfaces Using Action-Based Temporal Logic.
314-318
- Floriana Esposito, Donato Malerba, Giovanni Semeraro:
Machine Learning Techniques for Knowledge Acquisition and Refinement.
319-323
- Ping Hung Karl R. Leung, Haizhou Li:
Structured Specifications, Semantics, and System Semantics.
324-326
- Zenya Koono, Behrouz H. Far, Takeshi Baba, Yasukiyo Yamasaki, Mari Ohmori, Ken-Ichiroh Hatae:
Software Creation: Towards Automatic Software Design By Simulating Human Designers.
327-331
- Zenya Koono, Behrouz H. Far, Takeshi Takizawa, Mari Ohmori, Ken-Ichiroh Hatae, Takeshi Baba:
Software Creation: Implementation and Application of Design Process Knowledge in Automatic Software Design.
332-336
- Michalis Vazirgiannis, K. Petrou, A. Tsobanidis, Michael Hatzopoulos:
Hypermedia and Knowledge Representation: An Object-Oriented Design Based on Fuzzy Logic.
337-342
- Sudin Bha, Kanth Miriyala:
Operations for Evolving Specifications.
343-345
- Naoki Yonezaki, Tapani Kinnula, Motoshi Saeki, Jan Ljungberg:
TAP: A New Model for Software Process: Tasks-Agents-Products.
346-350
- Motoshi Saeki, Kazuhisa Iguchi, Masanori Shinohara:
Supporting Tool for Cooperative Specification Processes.
351-354
- François Staes, Laura Tarantino, Dirk Venneir:
Rapid Prototyping of User Interfaces in the KIWIS System.
355-359
- Paul Singleton, Pearl Brereton:
A Case for Declarative Programming-in-the-Large.
360-362
- Noriaki Yoshiura, Naoki Yonezaki:
More Expressive Temporal Logic for Specifications.
363-366
- Hans Voß, Angi Voß:
Reuse-Oriented Knowledge Engineering with MoMo.
367-371
Knowledge-Level V&V
Tools and Environments
Program-Level V&V
Panel:
KE in Concurrent Engineering and Experience Factories
- David Eichmann:
Knowledge Engineering in Concurrent Engineering and Experience Factories.
472
Panel:
Software Engineering in the Year 2000
Reuse
Testing and Understanding Programs
Panel:
Knowledge-Based Support for Reverse Engineering
The Dynamics of Model Construction
Panel:
Future Directions of the KBSA Program
- Michael Evangelist:
Intermediate Executable Architectural Specifications for KBSA, Part I.
584
- Michael DeBellis:
The KBSA ADM Process Model.
585
- Yi Deng:
Intermediate Executable Architectural Specifications for KBSA, Part II.
586
- Walt Scacchi:
Process Integration for KBSE Environments.
587
- Douglas A. White:
The Knowledge-Based Software Assistant Program.
588
Prototyping
A Context for Software Development
SE & KE Process Issues
Diversity in Formal Methods
Copyright © Fri Mar 12 17:20:57 2010
by Michael Ley (ley@uni-trier.de)
