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 BibTeX
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 BibTeX
- Brigitte Biebow, Sylvie Szulman:
Acquisition, Analysis and Validation of Informal Requirements.
109-116 BibTeX
- Daniel E. Cooke:
A High Level Programming Language Based Upon Ordered Multisets.
117-124 BibTeX
- Perry Alexander:
BENTON: A Multi-Agent System for Larch Specification Generation.
125-133 BibTeX
- Michel Dojat, Claudette Sayettat:
Temporal Reasoning in a Medical Expertise.
134-141 BibTeX
- Frank P. Coyle, Murat M. Tanik, Dennis J. Frailey:
Rule-Based Programming for Real-Time Knowledge-Based Systems Development.
142-149 BibTeX
- Robert G. Reynolds, Jonathan I. Maletic:
The Use of Refinement Metrics to Assess Programming Language Support for the Stepwise Refinement Process.
150-157 BibTeX
- Michael DeBellis:
Intelligent Assistance for Transformation-Based Environments.
158-165 BibTeX
- Eugeniusz Eberbach:
The Design and Specification of SEMAL - A Cost Language Based on the Calculus of Self-Modifiable Algorithms.
166-173 BibTeX
- Mari Georges:
Closing the Knowledge Engineering Gap.
174-182 BibTeX
- Grigoris Antoniou:
Engineering Issues for No monotonic Knowledge: Structuring, Specification, Modules.
183-190 BibTeX
- Trent Jaeger, Atul Prakash:
BIZSPEC: A Business-Oriented Model for Specification and Analysis of Office Information Systems.
191-198 BibTeX
- Cui Zhang, Qinping Zhao, Jiafu Xu:
A Knowledge Processing Language and Its Parallel Inference System.
199-206 BibTeX
- 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 BibTeX
Panels:
Advances in SE & KE
- Aizhong Li, Xuhua Liu:
A Computational Theory of Knowledge Discovery and Revision.
215-218 BibTeX
- Atsushi Ohnishi:
Visual Software Requirements Specification Language: VRDL.
219-221 BibTeX
- Enrico Maim:
Restricted Abduction in Constraint Logic Programs.
222-224 BibTeX
- Salah Badr, Luqi:
A Version and Configuration Model for Software Evolution.
225-227 BibTeX
- Regine Laleau, Philippe Facon:
Modeling Semantic Data Concepts with VDM.
228-230 BibTeX
- 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 BibTeX
- Chau-Young Ivan Lin, Chih-Cheng Chien, Cheng-Seen Ho:
A Generic Shell-Specialized Knowledge Acquisition Tool for Developing Network Management Software.
235-238 BibTeX
- Dongwook Shin, Youngmin Chung, Hyunsoo Yoon:
Mode Based Type Inference for Prolog Programs.
239-243 BibTeX
- Albert Mo Kim Cheng:
A New Complexity Metric for OPS5 Rule-Based Systems.
244-247 BibTeX
- Chye-Lin Chee, Sevki S. Erdogan, Chon-Keat Wong:
VCFS: A File System for Transparent Version Control.
248-251 BibTeX
- Sen-Tarng Lai, Chien-Chiao Yang:
Multi-Layer Repertory Grid Classification for Increasing Software Reusability.
252-254 BibTeX
- Lianhui Chen, Paul Voumard:
Knowledge Engineering in Fault Diagnostic Problem Solving.
255-257 BibTeX
- Jeffrey S. Poulin:
Issues in the Development and Application of Reuse Metrics in a Corporate Environment.
258-262 BibTeX
- Massimo Bombana, Giacomo Buonanno, Patrizia Cavalloro, Fabrizio Ferrandi, Donatella Sciuto, Giuseppe Zaza:
An Expert Solution to Functional Testability Analysis of VLSI Circuits.
263-265 BibTeX
- 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 BibTeX
- Gary D. Boetticher, K. Srinivas, David Eichmann:
A Neural Net-Based Approach to Software Metrics.
271-274 BibTeX
- Claire P. Willis, Derek J. Paddon:
Machine Learning for Program Transformations in Software Reuse.
275-277 BibTeX
- Israel Hilerio, Roger Lippert, Murat M. Tanik:
Hyperknowledge Engineering: The Next Generation of Intelligent Hypertext Documents.
278-281 BibTeX
- Natalia Juristo Juzgado:
Application of Testing Techniques in Conventional Software to Knowledge-Based Software.
282-284 BibTeX
- Michael Weis:
Object-Oriented Design of a Distributed Blackboard Kernel.
285-287 BibTeX
- Sang C. Suh, Clenio F. Salviano, Murat M. Tanik:
INTEK: A Software Tool for an Intermediate Knowledge Representation Formalism.
288-290 BibTeX
- Sumio Mochizuki, Akira Yamauchi, Takuya Katayama:
Two Models for Describing Software Design Process: Object-Centered Model and Phase-Centered Model.
291-295 BibTeX
- Kari Kaarela, Ari Okkonen:
Executable Graphic Specifications in Automation Projects.
296-300 BibTeX
- Javed I. Khan, Isao Miyamoto:
Formalism for Hierarchical Organization and Flexible Abstraction of Program Knowledge.
301-303 BibTeX
- Fiora Pirri, Clara Pizzuti:
Using Datalog as a Language for Data Dictionary Design: A Deductive Support.
304-308 BibTeX
- H. Bachatène, Michel Coriat, Amal El Fallah-Seghrouchni:
Using Software Engineering Principles to Design Intelligent Cooperative Systems.
309-313 BibTeX
- Fabio Paternò:
Definition of Properties of User Interfaces Using Action-Based Temporal Logic.
314-318 BibTeX
- Floriana Esposito, Donato Malerba, Giovanni Semeraro:
Machine Learning Techniques for Knowledge Acquisition and Refinement.
319-323 BibTeX
- Ping Hung Karl R. Leung, Haizhou Li:
Structured Specifications, Semantics, and System Semantics.
324-326 BibTeX
- 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 BibTeX
- 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 BibTeX
- Michalis Vazirgiannis, K. Petrou, A. Tsobanidis, Michael Hatzopoulos:
Hypermedia and Knowledge Representation: An Object-Oriented Design Based on Fuzzy Logic.
337-342 BibTeX
- Sudin Bha, Kanth Miriyala:
Operations for Evolving Specifications.
343-345 BibTeX
- Naoki Yonezaki, Tapani Kinnula, Motoshi Saeki, Jan Ljungberg:
TAP: A New Model for Software Process: Tasks-Agents-Products.
346-350 BibTeX
- Motoshi Saeki, Kazuhisa Iguchi, Masanori Shinohara:
Supporting Tool for Cooperative Specification Processes.
351-354 BibTeX
- François Staes, Laura Tarantino, Dirk Venneir:
Rapid Prototyping of User Interfaces in the KIWIS System.
355-359 BibTeX
- Paul Singleton, Pearl Brereton:
A Case for Declarative Programming-in-the-Large.
360-362 BibTeX
- Noriaki Yoshiura, Naoki Yonezaki:
More Expressive Temporal Logic for Specifications.
363-366 BibTeX
- Hans Voß, Angi Voß:
Reuse-Oriented Knowledge Engineering with MoMo.
367-371 BibTeX
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 BibTeX
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
Prototyping
A Context for Software Development
SE & KE Process Issues
Diversity in Formal Methods
Copyright © Sat May 16 23:37:25 2009
by Michael Ley (ley@uni-trier.de)