============================================================================== SEKE'93 The Fifth International Conference on Software Engineering and Knowledge Engineering Co-Sponsored by Knowledge Systems Institute The Johns Hopkins University Applied Physics Laboratory In Cooperation with IEEE Computer Society and ACM SIGSOFT Tutorials, June 14-15 Technical Program, June 16-18 Hotel Sofitel, San Francisco Bay, USA Technical Program The conference brings together researchers, practitioners and developers to exchange ideas and results related to software engineering and knowledge engineering. A variety of session formats, as well as demonstrations of software tools and two days of tutorials, have been organized to foster a congenial atmosphere with an easy exchange of ideas. In a special panel session, the Workshop on Software Automation will report its findings. The SEKE conference is an international scientific conference, with participants from twenty three different countries. Conference Chair: C. V. Ramamoorthy, UC, Berkeley Program Chairs: Bruce I. Blum, Johns Hopkins Univ. C. L. Chang, Lockheed Steering Committee: Bruce Buchanan, Univ. Pittsburgh Shi-Kuo Chang, Univ. Pittsburgh and Knowledge Systems Institute C. V. Ramamoorthy, UC, Berkeley Tutorial Chair: Ralph D. Semmel (USA) Demonstration Chair: Lawrence Miller (USA) Program Committee Members: Vincenzo Ambriola (Italy) Guillermo Arango (USA) Timothy Arndt (USA) Victor Basili (USA) Don Batory (USA) Michael Beldishevski (Georgia) Fevzi Belli (Germany) Jan H. van Bemmel (The Netherlands) Alfs Berztiss (USA) Patrick O. Bobbie (USA) Nick G. Bourbakis (USA) Tiziana Catarci (Italy) William Chu (USA) Aniello Cimitile (Italy) Daniel E. Cooke (USA) Maria F. Costabile (Italy) Ugo De Carlini (Italy) Yi Deng (USA) David Eichmann (USA) Rolf Engelbrecht (Germany) Michael Evangelist (USA) Rodolfo A. Fiorini (Italy) Eddy Flerackers (Belgium) Mehdi T. Harandi (USA) Frank van Harmelen (The Netherlands) Barbara Hayes-Roth (USA) W. D. Hurley (USA) Natalia Juristo (Spain) Waldemar W. Koczkodaj (Canada) Arun Lakhotia (USA) Filippo Lanubile (Italy) Rudolf J. Lauber (Germany) Xiaopeng Li (USA) Enrico Maim (France) James Mayfield (USA) T. Murata (USA) Charles Nicholas (USA) E. K. Park (USA) Hoang Pham (USA) James Purtilo (USA) Balasubramaniam Ramesh (USA) Robert G. Reynolds (USA) Giuseppe Santucci (Italy) Masakazu Sato (Japan) Walt Scacchi (USA) Peter G. Selfridge (USA) Elliot Soloway (USA) Scott M. Stevens (USA) Wei Sun (USA) Murat M. Tanik (USA) Genny Tortora (Italy) Jeffrey Tsai (USA) W. T. Tsai (USA) Maurizio Tucci (Italy) Juan E. Vargas (USA) Giuseppe Visaggio (Italy) Clement Yu (USA) Pre-Conference Tutorials: T1 Cleanroom Software Engineering for Zero-Defect Software P. Hausler (June 14 9am - noon) [Grand Salon] T2 Object-Oriented Design and Analysis: A Knowledge Engineering Approach D. P. Silberberg (June 14 9am - noon) [Salon IV] T3 Conceptual Modeling for Database Design and Query Formulation R. D. Semmel (June 14 1:30pm - 4:30pm) [Grand Salon] T4 Object-Oriented Specification & Prototyping of Complex Information Systems S. K. Chang and Yi Deng (June 14 1:30pm - 4:30pm) [Salon IV] T5 Data Dictionaries and their Role in Cooperative Information Systems G. Santucci (June 15 9am - noon) [Grand Salon] T6 Program Understanding and Problems in Software Reuse A. Quilici and L. Miller (June 15 9am - noon) [Salon IV] T7 Non-Functional Requirements and Safety Issues in Software Engineering A. Berztiss (June 15 1:30pm - 4:30pm) [Grand Salon] T8 Visual Query Systems: Analysis and Comparison T. Catarci (June 15 1:30pm - 4:30pm) [Salon IV] ============================================================================== Wednesday, June 16 ============================================================================== 8:00-9:30 Registration [Ballroom Foyer] 9:30-10:00 Plenary Session [Champagne] Welcome, Bruce I. Blum, Program Chair Invitation to SEKE94, Alfs Berztiss Introduction of Keynote Speaker, S. K. Chang Keynote Address, Software Automation Professor C. V. Ramamoorthy 10:00-10:30 Break [Ballroom Foyer] 10:30-12:00 Session 2A Knowledge-Based Query Processing [Champagne] Tiziana Catarci (Italy) and C. L. Chang (USA) A Framework for Query Processing Incorporated with Knowledge Atsuo Yoshitaka, Masahito Hirakawa, and Tadao Ichikawa (Japan) An Office Document Retrieval System with the Capability of Processing Incomplete and Vague Queries Qianhong Liu, Jason T. L. Wang and Peter A. Ng (USA) Knowledge Representation for Intelligent Query Processing Ralph Semmel (USA) DARET: A Logic-Based Language in Object-Oriented Databases Tak-Wai Chan and Wen-Cheng Wang (Taiwan) 10:30-12:00 Session 2B Object Orientation in SE & KE Genny Tortora (Italy) and William Chu (USA) [Grand Salon] The Design of Real-Time Distributed Information Systems with Object-Oriented and Fault-Tolerant Characteristics S.K. Chang, A. Perkusich, J. C. A. de Figueiredo, Y. Bing, and M. H. Ehrenberger (USA) Executable Specifications for the Design of Object-Oriented Systems Yi Deng, Raimund K. Ege, and Wei Sun (USA) The SAOS Approach to Software Lifecycle Support Toshimi Minoura, Sungwoon Choi, and Anil Srivastava (USA) CLOS: A Key Issue To Bridge the Gap Between Object-Oriented and Logic Programming Vincenzo Loia and Michel Quaggetto (Italy) 10:30-5:00 Demo of CASE and Software tools [Salon IV] 12:00-1:30 Lunch 1:30-3:00 Session 3A Panel: The Workshop on Software Automation [Champagne] Results of the Workshop on Software Automation (Panel) Daniel Cooke, et al. (USA) 1:30-3:00 Session 3B Reverse Engineering [Grand Salon] Giuseppe Visaggio (Italy) and David Eichmann (USA) An Expert Tool for Automatic VLSI Reverse Engineering: The Layout Version Nikolaos G. Bourbakis (USA) Programs as Databases: Treating Code and Comments as First Class Objects Antonio Massari, Gennaro Costagliola, Panos K. Chrysanthis, and Shi Kuo Chang (USA) Reverse Engineering Structured Code to an Object-Oriented Representation Don McFall, Gillian Sleith and John Hughes (Northern Ireland) A Reverse Engineering Tool for Large Scale Software Reuse William C. Chu and Sukesh Patel (USA) 1:30-3:00 Session 3C Invited Panel: Information Technology 2000: National Programs for Infrastructure and Competitiveness [Salon I] Juzar Motiwalla, Moderator (Singapore) > Mr. Hirai, Japan, Prof. Kyochul Kang, Korea, and Panelist from Taiwan 3:00-4:00 Small-Group Presentations (Concurrent with break) [Champagne] The Small-Group Presentations will be organized to permit one-on-one discussion of the authors' work, which will be published in full in the proceedings. The setting will be informal, and the atmosphere will be similar to that of a "meet-the-expert" session in which the authors are encouraged to explain the context of their work and their research abjectives. The following papers will be presented in this format. Catastrophe Prevention in Safety-Critical Systems Alfs T. Berztiss (USA) Acquisition, Analysis and Validation of Informal Requirements Brigitte Biebow and Sylvie Szulman (France) A High Level Programming Language Based Upon Ordered Multisets Daniel E. Cooke (USA) BENTON: A Multi-agent Blackboard System for Larch Specification Generation Perry Alexander (USA) Temporal Structures and Medical Knowledge Representation M. Dojat and C. Sayettat (France) Rule-Based Programming for Real-Time Knowledge-Based Systems Development Frank P. Coyle, Murat M. Tanik, and Dennis J. Frailey (USA) The Use of Refinement Metrics to Assess Programming Language Support for the Stepwise Refinement Process Robert G. Reynolds and Jonathan I. Maletic (USA) Intelligent Assistance for Transformation-Based Environments Michael DeBellis (USA) The Design and Specification of SEMAL - A Cost Language Based on the Calculus of Self-Modifiable Algorithms Eugeniusz Eberbach (Canada) Closing the Knowledge Engineering Gap Mari Georges (France) Engineering Issues for Nonmonotonic Knowledge: Structuring, Specification, Modules Grigoris Antoniou (Germany) BizMod: A Business-Oriented Model for Systems Specification and Generation Trent R. Jaeger and Atul Prakash (USA) A Knowledge Process Language and Its Parallel Inference System Cui Zhang, Qinping Zhao, and Jiafu Xu (USA) Virtual Agents and Virtual Communities: An Agent-Oriented Software and Knowledge Engineering Paradigm for Distributed Cooperative Systems Wen-Ran Zhang and Mei-Ying Cheng (USA) 4:00-5:30 Panels: Advances in SE & KE There will be short presentations of interesting work in a set of parallel panel sessions. Each author will describe the problem being addressed, the approach to the solution, the resultsrecorded, and the goals of the future research. The work will be described in the proceedings, and informal parallel sessions will be organized on Friday for more complete discussion of those topics of most interest to the SEKE93 attendees. 4:00-5:30 Panels: Advances in SE & KE Session 4A Advances in SE & KE - I [Champagne] Daniel Cook (USA) and Alfs Berztiss (USA) Issues in the Development and Application of Reuse Metrics in a Corporate Environment Jeffrey S. Poulin (USA) A Neural Net-Based Approach to Software Metrics G. Boetticher, K. Srinivas, and D. Eichmann (USA) A New Complexity Metric for OPS5 Rule-Based Systems Albert Mo Kim Cheng (USA) An Experimental Analysis for Classifying Specification Processes Seiichi Komiya, Motoshi Saeki, Kazuhito Ohmaki, Shinichi Honiden, Junzou Kato, Akra Ohmori, Hisayuki Horai, and Shgeru Ohsuki (Japan) Application of Testing Techniques in Conventional Software to Knowledge- Based Software N. Juristo (Spain) Software Creation: Towards Automatic Software Design by Simulating Human Designers Zenya Koono, Behrouz H. Far, Takeshi Baba, Yasukiyo Yamasaki, Mari Ohmori, and Ken-ichiroh Hatae (Japan) Software Creation: Implementation and Application of Design Process Knowledge in Automatic Software Design Zenya Koono, Behrouz H. Far, Takeshi Takizawa, Mari Ohmori, Ken-ichiroh Hatae, Yasukiyo Yamasaki, and Takeshi Baba (Japan) Using Software Engineering Principles to Design Intelligent Cooperative Systems H. Bachat TAP: A New Model for Software Process: Tasks-Agents-Products Naoki Yonezaki, Tapani Kinnula, Motoshi Saeki, and Jan Ljungberg (Japan) Two Models for Describing Software Design Process: Object-Centered Model and Phase-Centered Model Sumio Mochizuki, Akira Yamauchi, and Takuya Katayama (Japan) Visual Software Requirements Specification Language: VRDL Atsushi Ohnishi (Japan) Restricted Abduction in Constraint Logic Programs Enrico Ma m (France) More Expressive Temporal Logic for Specifications Noriaki Yoshiura and Naoki Yonezaki (Japan) *********************************************************** Session 4B Advances in SE & KE - II [Grand Salon] Ralph D. Semmel (USA) and Mehdi T. Harandi (USA) A Common Architecture To Encourage Reuse Of Natural Language/Text Processing Tools T. Richard MacMillan, Martha L. Farinacci, Sharon J. Laskowski, Elaine P. Lusher, and Leonard J. Seligman (USA) Multi-Layer Repertory Grid Classification for Increasing Software Reusability Sen-Tarng Lai and Chien-Chiao Yang (Taiwan) HyperKnowledge Engineering: The Next Generation of Intelligent Hypertext Documents Israel Hilerio, Roger Lippert, and Murat M. Tanik (USA) Hypermedia and Knowledge Representation: An Object-Oriented Design Based on Fuzzy Logic M. Vazirgiannis, K. Petrou, A. Tsobanidis, and M. Hatzopoulos (Greece) Reuse-Oriented Knowledge Engineering with MoMo Hans and Angi Voss (Germany) A Version and Configuration Model for Software Evolution Salah Badr and Luqi (USA) Operations for Evolving Specifications Sudin Bhat and Kanth Miriyala (USA) A Case for Declarative Programming-in-the-Large Paul Singleton and Pearl Brereton (England) Executable Graphical Specifications in Automation Projects Kari Kaarela and Ari Okkonen (Finland) Structured Specifications, Semantics, and System Semantics Ping Hung Karl R. Leung and Haizhou Li (Hong Kong) Using Datalog as a Language for Data Dictionary Design: A Deductive Support Fiora Pirri and Clara Pizzuti (Italy) Modeling Semantic Data Concepts with VDM Rgine Laleau and Philippe Facon (France) Mode Based Type Inference for Prolog Programs Dongwook Shin, Youngmin Chung, and Hyunsoo Yoon (Korea) ********************************************** Session 4C Advances in SE & KE - III [Salon 1] W. D. Hurley (USA) and W. T. Tsai (USA) Machine Learning for Program Transformations in Software Reuse C. P. Willis and D. J. Paddon (England) Machine Learning Techniques for Knowledge Acquisition and Refinement F. Esposito, D. Malerba, and G. Semeraro (Italy) A Computational Theory of Knowledge Discovery and Revision Aizhong Li and Xuhua Liu (China) Knowledge Engineering in Fault Diagnostic Problem Solving Lianhui Chen and Paul Voumard (Australia) An Expert Solution to Functional Testability Analysis of VLSI Circuits M. Bombana, G. Buonanno, P. Cavalloro, F. Ferrandi, D. Sciuto, and G. Zaza (Italy) A Generic Shell-Specialized Knowledge Acquisition Tool for Developing Network Management Software Chau-Young Lin, Chih-Cheng Chien, and Cheng-Seen Ho (Taiwan) INTEK: A Software Tool for an Intermediate Knowledge Representation Formalism Sang C. Suh, Clenio F. Salviano, and Murat M. Tanik (USA) Formalism for Hierarchical Organization and Flexible Abstraction of Program Knowledge Javed I. Khan and Isao Miyamoto (USA) Object-Oriented Design of a Distributed Blackboard Kernel Michael Weiss (Germany) VCFS: A File System for Transparent Version Control Chye-Lin Chee, Sevki S. Erdogan, and Chon-Keat Wong (Singapore) Supporting Tool for Cooperative Specification Processes Motoshi Saeki, Kazuhisa, and Masanori Shinohara (Japan) Rapid Prototyping of User Interfaces in the KIWIS System Francois Staes, Laura Tarantino, and Dirk Vermeir (Italy) Definition of Properties of User Interfaces Using Action-Based Temporal Logic Fabio Patern" (Italy) ************************************ END OF PROGRAM UPDATE 6:30-9:30 Reception/Dinner ============================================================================== Thursday, June 17 ============================================================================== 8:30-10:00 Session 5A Knowledge-Level V&V [Champagne] Nik G. Bourbakis (USA) and Tadao Ichikawa (Japan) Debugging in Requirements Specification D a FRORL Approach Jeffrey J. P. Tsai, Alan Liu, and Krishnakumar Nair (USA) A Framework for Systematic Testing of Software Specifications Wei-Tek Tsai, Weiwen Xie, Imran A. Zualkernan, and Satish K. Musukula (USA) Using the Inference Engine Strategy in the Automatic Construction of Test Cases for a Knowledge-Based System Ruddy Lelouche and Laurence Vignollet (France) Perspectives in Knowledge Base Verification Du Zheng (USA) 8:30-10:00 Session 5B Tools and Environments [Bordeaux] Yi Deng (USA) and Natalia Juristo (Spain) Towards a Formalized Context for Designing User Interface Management Systems W. David Hurley and Niels V. Carlsen (USA) An Intelligent Simulation Environment Alex Quilici and Lawrence Miller (USA) The Tool Development Language TDL for the Software Development Environment WSDW A. De Lucia, M. Napoli, G. Tortora, and M. Tucci (Italy) An Intelligent Documentation Support Environment Jason T. L. Wang, Fortune S. Mhlanga, Qianhong Liu, Wen-Chung Shang, and Peter A. Ng (USA) 8:30-3:00 Demo of CASE and Software Tools [Salon IV] 10:00-10:30 Break [Ballroom Foyer] 10:30-12:00 Session 6A Program-Level V&V [Champagne] Fevzi Belli (Germany) and Wei Sun (USA) An Empirical Study of Intelligent Test Case Generation Methods for Software Branch Coverage Kai H. Chang, James H. Cross II, Homer Carlisle, and Shih-Sung Liao (USA) Experience Verifying a Rule-based Program as Part of a Cleanroom Project: AOEXPERT/MVS Todd R. Kushner and Deborah S. Eisenberg (USA) Developing and Analyzing Classification Rules for Predicting Faulty Software Components Adam A. Porter (USA) How Semantical Design Languages Help to Preserve Specification/Design- Consistency Cristian Stary and Rudolph Freund (Austria) 10:30-12:00 Session 6B Panel: KE in Concurrent Engineering and Experience Factories [Bordeaux] Panel: Knowledge Engineering in Concurrent Engineering and Experience Factories D. Eichmann and others (USA) 12:00-1:30 Lunch 1:30-3:30 Plenary Session [Champagne] Keynote Address, Processing Egineering Dr. Raymond T. Yeh Panel: Software Engineering in the Year 2000 Bruce I. Blum, Victor Basili, S. K. Chang, Michael Evangelist, C. V. Ramamoorthy, and Raymond T. Yeh 3:30-12:00 Social Program This year's SEKE social program includes a bus tour of San Francisco, an unescorted tour of the Fishermans' Wharf area of San Francisco followed by a harbor cruise with a shipboard dinner, and dancing with a live band. ============================================================================== Friday, June 18 ============================================================================== 8:30-10:00 Session 8A Reuse [Champagne] Robert G. Reynolds (USA) and Ugo De Carlini (Italy) Reusing a Large Domain-Independent Knowledge Base Thomas Pirlein (Germany) Architecture-driven Reuse of Code in KASE Sanjay Bhansali (USA) Acquiring Design Schema for Software Reuse Mehdi T. Harandi and Hing-Yan Lee (USA) An Environment for the Control and Software Integration of Expert Systems Robert Chun and Brad Perry (USA) 8:30-10:00 Session 8B Testing and Understanding Programs Arun Lakhotia (USA) and Enrico Maim (France) [Bordeaux] Reverse Engineering and Interactive Animation of Ada Programs G. Canfora, A. Cimitile, U. De Carlini, and L. Sansone (Italy) Partial Evaluation for the Understanding of FORTRAN Programs Sandrine Blazy and Philippe Facon (France) Implementation-Oriented Testing and Reliability Determination of Prolog Programs Alireza Azem, Fevzi Belli, and Jack Oliver (Germany) Recovering Conceptual Data Models is Human Intensive Fabio Abbattista, Filippo Lanubile, and Guiseppe Visaggio (Italy) 8:30-10:00 Session 8C Workshop: Education in SE & KE [Grand Salon] Gertrude Levine (USA) This workshop will focus on integration reuse into software education. Its objectives are to identify and develop the criteria that support the reuse of software assets in academia, industry, and government. These include but are not limited to: incentives for reuse among faculty and students (and/or management and employees); incorporation of current technology for development, maintenance, and retrieval of software components; issues in designing for reuse (e.g., software project appropriateness, language constructs, documentation, and project continuity); and a discussion of textbooks and other available resource materials. The intent is to examine how the theory and practice of reuse can be presented in an educational setting; a long term objective is to produce guidelines for integration of reuse practices into a software engineering curriculum. Suggestions and contributions may be sent to: levine@sun490.fdu.edu. 10:00-10:30 Break [Ballroom Foyer] 10:30-12:00 Session 9A Panel: Knowledge-Based Support for Reverse Engineering [Champagne] Knowledge Based Support for Reverse Engineering Frank W. Calliss, James Cross II, Vaclav Rajlich, and Joseph Urban (USA) 10:30-12:00 Session 9B The Dynamics of Model Construction [Bordeaux] Murat M. Tanik (USA) and Willem Jonker (Germany) Object Evolution M. Magnan and C. Oussalah (France) Induction of Generic Data Models by Conceptual Clustering Guy Mineau, Robert Godin, and Rokia Missaoui (Canada) Multiview Modeling in Software Engineering Markku Oivo (Finland) Cardinality Evolution in Specifications Martin S. Feather (USA) 10:30-12:00 Session 9C Workshop: Software Engineering and Knowledge Engineering [Grand Salon] Pierre Deransart (France) Among the various tasks involved in SE & KE, requirements engineering, specification, prototyping, and validation are regarded as particularly important since they decide whether a software system fulfills the user expectations. Formal methods have been suggested to support these tasks. Though formal methods are still being used rarely, they are getting more and more attention, especially in industry, The workshop will gather practices and experiences of people confronted with the delicate task of developing systems using formal methods for requirements engineering, specification, prototyping, and validation. Such methods may be based on the use of knowledge representation languages, formal specification languages (denotational semantics, algebraic specifications, Z, VDM, Prolog, Larch etc.), or other formalisms with formal semantics. The aim of the workshop is to analyze successes and difficulties in using such approaches and to identify problems raised by their industrial application. The workshop will be organized on the basis of short presentations and discussions. Suggestions and contributions may be sent to: Pierre.Deransart@inria.fr. 12:00-1:30 Lunch 1:30-3:00 Session 10A Panel: Future Directions of the KBSA Program [Champagne] Panel: Future Directions in the Rome Laboratory KBSA Program Michael Evangelist, Michael Debellis, Yi Deng, Walt Scacchi, and Douglas White (USA) 1:30-3:00 Session 10B Prototyping [Bordeaux] Rodolfo A. Firoini (Italy) and Luqi (USA) Developing Knowledge-Based Systems with Active Expert Participation Kristian Sandahl (Sweden) Prototyping in Transformation-Based CASE Environments Odd Lvar Lindland, Geir Willumsen, and Jon Atle Gulla (Norway) Automated Merging of Software Prototypes David A. Dampier, Luqi, and Valdis Berzins (USA) A Package for Multicast Software in Distributed Systems Chen Chen, Elizabeth L. White, and James M. Purtilo (USA) 1:30-3:00 Section 10C Program Chair's Session: A Context for Software Development [Grand Salon] Bruce I. Blum (USA) and toomas Timpka (Sweden) Situated Software Design Hubert F. Hofmann, Rolf Pfeifer, and Erik Vinkhuyzen (Switzerland) Action Design: From Modeling To Support of the Software Process Toomas Timpka, James M. Nyce, Cecilia Sojberg, and Mikael Johansson (Sweden) The International Symposium on Engineered Software Systems David W. Russell (USA) Software Maturity Raymond Paul (USA) 3:00-3:30 Break [Ballroom Foyer] 3:30-5:00 Session 11A SE & KE Process Issues [Champagne] Walt Scacchi (USA) and Michael Beldishevski (Georgia) A Meta Knowledge Structure for Program Development Support Chunye Li and Setsuo Ohsuga (USA) KBS Development: From Design Models to Implementations Willem Jonker and Bob Goedhart (Germany) Plan-Based Guidance for Knowledge-Based Software Engineering William C. Sasso and Michael DeBellis (USA) Software Engineering Disciplines in the Visual Era Charles R. Kirklen and Murat M. Tanik (USA) 3:30-5:00 Session 11B Diversity in Formal Methods [Bordeaux] Jeffrey Tsai (USA) and Pierre Deransart (France) An Integrated Development Environment for Formal Specifications Michael R. Laux, Robert H. Bourdeau, and Betty H. C. Cheng (USA) Transforming Postconditions To Aid Program Development Jianxin Li (USA) Attributed State Machines for Behavior Specification of Reactive Systems Shiyuan Ding and Takuya Katayama (Japan) Formal Program Development by Transformation and Non-Functional Properties Evaluations. An Application to Numerical Programs Yamine Ait-Ameur (France) ============================================================================== Discount Airfares on United Airline: The official carrier for SEKE'93 is available through Birkmayer Travel. You can get 10% off on regular airfare, or 5% off on supersaver airfare. Call 800-338-5735 for details. How to Dress for San Francisco in June: It can be chilly at times ! Please bring a jacket or a light coat, especially when we go on the bus tour and the cruise. People dress casually in San Francisco, and there is no dress code during the conference. Hotel Sofitel San Francisco Bay at Redwood Shores 223 Twin Dolphin Drive, Redwood City, California 94065 Tel: (415) 598-9000 Fax: (415) 598-0459 From South: Take 101 North. Exit Holly Street, Follow sign for Redwood Shores Parkway. At second street, turn left on Twin Dolphin Drive. Hotel is 1/2 Mile down on right side. From North: Take 101 South. Exit Ralston/Belmont, Follow sign for Marine World Parkway. At second traffic signal, turn right on Twin Dolphin Drive. Hotel is 1/2 mile down of left side. Form the airport: There is free shuttle bus from San Francisco Int'l Airport to the hotel. When you arrive at the airport, use the courtesy phone in the baggage claim area, or the pay phone to call 415-598-9000 and ask for the bus. Hotel also has free parking if you intend to drive. ============================================================================== SEKE'94 Sixth International Conference on Software Engineering and Knowledge Engineering CALL FOR PAPERS June 21-23, 1994 JURMALA, LATVIA The main theme of the International Conferences on Software Engineering and Knowledge Engineering is the interplay between software engineering and knowledge engineering: how knowledge engineering methods can assist the software engineer and how software engineering techniques can be applied in knowledge engineering. To this end SEKE'94 aims to bring together academic and industrial researchers and software developers from many countries to exchange ideas and results. Preference will be given to papers that emphasize the main theme, but outstanding papers on software engineering or knowledge engineering alone are also being solicited. The conference is founded and organized by Knowledge Systems Institute, in cooperation with IEEE Computer Society, the IEEE Task Force on Multimedia Computing and ACM SIGSOFT. The conference will also feature several half-day tutorials. Conference Chair: J. Barzdins, University of Latvia Program Chair: Alfs Berztiss, University of Pittsburgh Steering Committee: Bruce Buchanan, University of Pittsburgh Shi-Kuo Chang, University of Pittsburgh, and Knowledge Systems Institute C. V. Ramamoorthy, University of California, Berkeley SOME SUGGESTED TOPICS: - Knowledge engineering in software engineering - Software engineering in knowledge engineering - Software process models - Requirements elicitation - Formal specification and transformation techniques - Visual specification techniques - Reverse software engineering - Software maintenance and reuse - Software reliability - Design and evaluation of CASE tools - Specification and design of distributed multimedia systems - New languages for software and/or knowledge engineering PAPER SUBMISSION: Paper must be written in English, with a 200-word abstract, and be no more than 22 pages of DOUBLE-spaced text, including figures and references (longer papers will not be refereed). Four copies of the paper are to reach the Program Chairman before November 15, 1993: Professor Alfs Berztiss Department of Computer Science University of Pittsburgh Pittsburgh, PA 15260, USA (Tel: 412-624-8401; Fax: 412-624-8854; E-mail: alpha@cs.pitt.edu) IMPORTANT DATES: Paper Submission Deadline: November 15, 1993 Notification of Acceptance: January 15, 1994 Camera Ready Copy Due: March 1, 1994 ============================================================================== International Journal of Software Engineering and Knowledge Engineering Call for Papers The International Journal of Software Engineering and Knowledge Engineering is published quarterly, March, June, September and December of each year. It is intended to serve as a forum for researchers, practitioners, and developers to exchange ideas and results for the advancement of software engineering and knowledge engineering. Three types of papers will be published: (1) research papers reporting original research results; (2) technology trend reviews reviewing an area of research in software engineering and knowledge engineering; and (3) survey articles surveying a broad area in software engineering and knowledge engineering. In addition, tool reviews (no more than three manuscript pages) and book reviews (no more than two manuscript pages) are also welcome. A central theme of this journal is the interplay between software engineering and knowledge engineering. The journal publishes papers in the areas of software engineering methods and practices, object-oriented systems, rapid prototyping, software reuse, cleanroom software engineering, stepwise refinement/enhancement, formal methods of specification, visual specification, impact of CASE on software development life cycle, knowledge engineering methods and practices, logic programming, expert systems, knowledge-based systems, distributed knowledge-based systems, deductive database systems, knowledge representations, knowledge-based systems in language translation & processing, software and knowledge-ware maintenance, reverse engineering in software design, and applications in various domains of interest. Suggestions for special issues are welcome. To propose a special issue, a one-page proposal should be submitted to the Editor-in-Chief, containing the following information: title; purpose; scope; a list of potential contributors and tentative paper titles; time-table (submission deadline, review deadline, intended publication date); and guest editor's address, phone, fax and e-mail address. Once approved, the guest editor will be fully responsible for the special issue and should follow the normal review procedure of IJSEKE. Form of Manuscript Four copies of the manuscript and copies of all figures are required. In addition, one eproducible set of figures (professionally drafted ink originals of line drawings; glossy prints of halftones will be required if the paper is accepted. Manuscripts should be typewritten, double-spaced on one side of 8.5 X 11 in white paper with 1 inch margins. Page 1 should contain the article title, author(s), and affiliation(s); and the name and complete mailing address of the erson to whom correspondence should be sent. Any footnotes to the title (indicated by *, +, etc.) should be placed at the bottom of page 1. Page 2 should contain a short abstract (100-150 words), and a list of keywords. Send Papers and Correspondence to Dr. S. K. Chang, Knowledge Systems Institute 3420 Main Street, Skokie, IL. 60076, U.S.A. Tel: 708-835-1426, Fax: 708-679-3166, e-mail: chang@cs.pitt.edu ============================================================================== SEKE93 REGISTRATION FORM ______________________________________________________________________________ | NAME ACM/IEEE Membership Number: | | | | ADDRESS: | | | | PHONE: FAX: E_MAIL: | |____________________________________________________________________________| | | | | | Please check | Before May 1, 1993 | After May 1, 1993 | |___________________________|__________________________|_____________________| | |ACM/IEEE member | $240 | $280 | | | registration | | | |___|_______________________|__________________________|_____________________| | |non-member | $325 | $375 | | | registration | | | |___|_______________________|__________________________|_____________________| | | Full-time student | $140 | $170 | | | (no proc. and dinner) | (tutorials $50) | (tutorials $60) | |___|_______________________|__________________________|_____________________| | | Tutorial 1 | $100 | $120 | | | Tutorial 2 | $100 | $120 | | | Tutorial 3 | $100 | $120 | | | Tutorial 4 | $100 | $120 | | | Tutorial 5 | $100 | $120 | | | Tutorial 6 | $100 | $120 | | | Tutorial 7 | $100 | $120 | | | Tutorial 8 | $100 | $120 | |___|_______________________|__________________________|_____________________| | |Extra copy proceedings*| $45 | $50 | |___|_______________________|__________________________|_____________________| | |Extra dinner & cruise | $55 | $65 | | |ticket inc. SF bus tour| (1st-come-1st-serve) | (1st-come-1st-serve)| |___|_______________________|__________________________|_____________________| | | 1st extra page charge | $100 | $100 | |___|_______________________|__________________________|_____________________| | | 2nd extra page charge | $100 | $100 | | | maximum 2 extra pages | | | |___|_______________________|__________________________|_____________________| | | IJSEKE Journal | Individual Rate | Institutions and | | | (for airmail add $25 per volume) | Libraries Rate | | | Volume One (1991) | $64 | $133 | | | Volume Two (1992) | $70 | $145 | | | Volume Three (1993) | $80 | $165 | |___|_______________________|__________________________|_____________________| | | Hotel first night | I will stay from | $101 | | | deposit | June ____ to June ____ | (Tax not included | | | special rate | ( )single ( ) double | single or double) | |___|_______________________|__________________________|_____________________| | Total Amount Due | | |______________________________________________________|_____________________| | Please send check payable to: SEKE93, Knowledge Systems | | Institute, 3420 Main Street, Skokie, Il 60076, USA | |____________________________________________________________________________| |Note 1: Hotel Sofitel is located at 223 Twin Dolphin Drive, Redwood City, | | CA 94065 Tel: 415-598-9000 Fax: 415-598-0459 | | There isfree shuttle bus form San Francisco Int'l Airport to the hotle. | |When you arrive at the airport, use the courtesy phone in the baggage claim | |area, or the pay phone to call 415-598-9000 and ask for the bus. Hotel also | |has free parking if you intend to drive. | | | |Note 2: The attendees of Software Automation Workshop, the panelists of all | |panel sessions and all authors must pay full registration fee. For multiple| |papers by the same author, separate registration fee must be paid for each | |paper. The conference is supported primarily by registration income. | | | |* Domestic first-class mail add US$8.00, International by air add US$35.00, | | International by surface add US$15.00. | |____________________________________________________________________________|