S E K E' 97 ----------------------------------------------------- 9th INTL. CONFERENCE ON SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING June 17-20, 1997 Hotel Princesa, Madrid (SPAIN) SPONSORS: - Knowledge Systems Institute - Spanish Council for Science and Research - Computer Associates - IBM - Iberdrola IN COOPERATION WITH: - ACM (SIGSOFT) - IEEE Computer Society (TC on Software) Conference Co-Chairs: - Stephen E. Cross - J. Luis Mateacute Steering Committee: - Vic Basili - Bruce Buchanan - Shi-Kuo Chang - C. V. Ramamoorthy Advisory Committee: - Aldana, Fernando - Blum, Bruce - Botella, Pere - Cuena, José - Maestre, Pedro - Zadeh Lotfi A. Program Co-Chairs: - Natalia Juristo Campus de Montegancedo - Tomas San Feliu TUESDAY 17 June. TUTORIALS. 9:30 - 13:30 TUTORIAL I: Reuse Strategies Richard T. Due. TUTORIAL II: Analysis & Verification of Real-Time Rule-Based Systems M.K.Cheng TUTORIAL III: Software Engineering for Knowledge Engineering Environments and Knowledge Sharing A.R. Puerta, H. Eriksson 14:30 - 18:30 TUTORIAL IV: Systematic Evaluation and Certification of Software Products Hans-L. Hausen TUTORIAL V: Agent Based Modeling J. Ramirez 20:00 Welcome Cocktail WEDNESDAY 18 June. 9:00 - 9:15 Opening 9:15 - 10:15 Key Speaker Talk CHAIR: Shi-Kuo Chang "Towards User-Centered Software Engineering" Steve Cross. Software Engineering Institute Director USA 10:15 - 10:30 Coffe Break 10:30 - 12:15 SESSION A1: Software Process I CHAIR: Roland Mitterneir Universitat Klagenfurt (Austria) * Managing IS Strategy Through a Process and Object Model: An Experience Report Raymonde Le Delliou * An Environment for Model-Based Trace Capture Klaus Pohl, Ralf Domges * Management Process of WWW Services: An Experience Report Markus Schranz * Capturing and Formalizing Best Practices in a Software Development Organization Scott Henninger * A Knowledge Engineering Software Development Methodology Applied to a Spiral/Conical Life Cycle Alonso Amo, Fernando, J.L. Fuertes, L. Martínez, C. Montes SESSION A2: Modeling CHAIR: J. L. Freire Universidad de La Coruña (Spain) * A Requirements Evolution Model for Computer Aided Prototyping Valdis Berzins, Osman Ibrahim, Luqi * Object-Oriented Analysis from Textual Specifications Ana M. Moreno * Making Knowledge Engineering Technology Work V. Richard Benjamins, Dieter Fensel, Christine Pierret, Enrico Motta, Rudi Studer, Marie-Christine Rousset, Bob Wielinga * A Mathematical Functions-Based Approach for Analysing Elicited Knowledge Fernando Martín-Rubio, Rodrigo Martínez-Bejar * Intelligent Tutoring Systems for Software Development W. David Hurley, Srdjan Kovacevic 12:15 - 12:30 Break 12:30 - 14:15 SESSION B1: Software Process II CHAIR: R. Sadananda Asian Institute of Technology (Thailand) * MAM Nets: A Petri-net based Approach to Software Process Modeling, Analysis and Management Sang-Yoon Min, Doo-Hwan Bae * Symbiosis of Software and Knowledge Engineering: A Multilevel Software Process Cycle Model Silvia Teresita Acuña, Graciela Elisa Barchini, Cecilia María Lasserre * Software Development Process Reuse Based on Patterns Claudia M. L. Werner, Francisco M. de Vasconcelos * Software Process Modeling and Assessment Rick Gibson * Using knowledge transformation to improve the software development process. L.Montero, C. T. Scott SESSION B2: Reuse I CHAIR: Fernando Martín Rubio Universidad de Murcia (Spain) * Program Development with Reuse of Programming Processes Saeko Matsuura, Hironobu Kuruma, Shinichi Honiden * Transformational Based Problem Solving Reuse Fatma Mili * An Integrated Process Model of Software Configuration Management for Reusable Components Oh Cheon Kwon, Cornelia Boldyreff, Malcolm Munro * Reasoning about Functions for Design Patterns and Modules Beat Liver * Object-Oriented Software Reusability: A Rigorous Method Liliana Favre, Maricel Carbajo, Gabriela Diez, Cristina Palomeque 14:15 - 15:30 Lunch 15:30 - 16:30 Key Speaker Talk ## CHAIR: ???? "What are SE Best Practices, anyway?" Alan Davis. University of Colorado at Colorado Springs. (USA) 16:30 - 16:45 Coffe Break 16:45 - 18:45 SESSION C1: Reuse II CHAIR: Richard Benjamins University of Amsterdam (The Netherlands) * Reusable Components for Building Conventional and Knowledge-based Systems: The KSM Approach Martín Molina, Alberto Gómez, José L. Sierra * Combining Formal Concepts Analysis and Ripple Down Rules to support the reuse of knowledge Debbie Richard, Paul Compton * An Appro8ach to Automatic KBS Construction From Reusable Domain-specific Components Ahmed Rafea, Yasser Abdelhamid, Hesham Hassan * Reusing a Flexible Task-Method Framework to Prototype a Knowledge Based System Francky Trichet, Pierre Tchounikine * The role of the Relation Theory in Ontology Reuse J.C. Marty, C. Roche, G. Lopez, D. Fumey, S. Lacroix * Games: A New Scenario for Software and Knowledge Reuse Asunción Gómez, C. Linares-López, U. D. Estevez-Garrido, L. M. Sánchez-Acera SESSION C2: Cooperative Software Development CHAIR: Valdis Berzins Naval Postgraduate School (USA) * DRAFT: A Rule-based Process Model for Cooperative Software Projects ## Hans-Ludwig Hausen * The Argo Project Jacques Lonchamp, François Seguin * Cooperative Intelligent Redesign Francisco Triguero, J.L. Caro, R. Conejo, A. Guevara, J.L. Pérez-de-la-Cruz * A Blackboard Framework for Supporting Teams in Software Development Elif Demirörs * Modeling a Cooperative Environment Based on An Object-Based Modular Petri Net Angelo Perkusich, Dalton D.S. Guerrero, Jorge C.A. de Figueiredo * Maintaning Consistency of Cooperative Software Development Hala Skaf, C. Godart, F. Charoy 19:30 - 23:00 Banquet THURSDAY 19 June. 9:00 - 10:00 Key Speaker Talk ## CHAIR: ???? "Epistemological Approach to SE&KE" Juan Pazos. Universidad Politécnica de Madrid. (Spain) 10:00 - 10:15 Coffe Break 10:15 - 12:30 SESSION D1: Testing and Product Evaluation CHAIR: Hong Zhu Nanjing University (China) * Defining a Program Behavior Model for Dynamic Analyzers Ann Q. Gates, Mikhail Auguston, Michelle Lujan * Usage-Based Test Scenario Generation for Multi-Layer State Transition Diagrams Kai H.Chang, Shih-Sung Liao, R. Chapman, C. Rodger * Testing Safety-Critical Systems. A Reuse-Oriented Approach Wei Tek Tsai, Mustafa Poonawala, Satish Subramanian, Ramir Mojdehbakhsh, Lynn Elliott * An Efficient Interprocedural Slicing Method for Large Programs István Forgács, Tibor Gyimóthy * Comon framework for evaluation of traditional software and knowledge based software Juristo, N. * From Computer Algebra to AI. Application to Verification and Automated Proving in Knowledge Systems based on multivalued logics Luis Laita, E. Roanes-Lozano, E. Roanes-Macías, A.M. García SESSION D2: Visual Software Development CHAIR: Pere Botella Universidad Politécnica de Barcelona (Spain) * Towards Graphical Visual Programming for Distributed Systems Kang Zhang, Jiannong Cao, Da-Qian Zhang * Framework Comprehension and Design Patterns: A Reverse Engineering Approach Marcelo Campo, Claudia Marcos, Alvaro Ortigosa * Customizable Notations for Software Design Spiros Mancoridis * A Visualization Tool for Knowledge Acquisition using a Julia Set Methodology for Dynamic System Explanation David W. Russell, James J. Alpigini * Visual Abstraction in the Visual Design Process Shi-Kuo Chang, W. Hua, C.W. Yoo * Applying of Graph Rewriting Rules in Tool Construction and Integration Da-Qian Zhang 12:30 - 12:45 Break 12:45 - 14:15 SESSION E1: Specification Methods CHAIR: Angelo Perkusich Universidad Federal de Paraiba (Brasil) * Specifying Knowledge-Based Systems with Reusable Components Dieter Fensel, Rix Groenboom * A Specification Language of Stochastic Real-Time System Hong Zhu, Lingzi Jin * View-Directed Requirements Engineering: A Framework and Metamodel Hans W. Nissen, Renate Motschnig-Pitrik, Matthias Jarke * Specification and Analysis of Security Requirements for Distributed Applications Young-Chul Shim, Han-Gyoo Kim SESSION E2: Software Architecture and Design I CHAIR: Heinz-D. Knoell Fachhochschule (Germany)2 * OO Design & Implementation of a Flexible Software Architecture for Decision Support Systems Wolfgang Pree, Fabio Beckenkamp, Sergio Viademonte * Object-Oriented Design of Semantic Networks using Structural Invariants Panos A. Patsouris * ComProLab: A Component Programming Laboratory Xavier Franch, Pere Botella Xavier Burgués, Josep M. Ribó * Truly Intelligent CASE Environments profit from Linguistics J.F.M. Burg, R.P. van de Riet 14:15 - 15:30 Lunch 15:30 - 16:30 Key Speaker Talk ## CHAIR: ???? "Adaptative Design" Bruce Blum. John Hopkins University. USA 16:30 - 16:45 Coffee Break 16:45 - 18:15 SESSION F1: Agent-Based Software Development CHAIR: José Ramirez Universidad Simón Bolivar (Venezuela) * An Automated Agent-based Reasoning and Learning System J. M. Corchado, B. Lees, C. Fyfe, N. Rees * A Multi-Agent and Pseudo-natural Language Approach for Intelligent Information Service Ruqian Lu, Zhi Jin * A Framework for Adaptive Software by Agent and Thesaurus Fumihiro Kumeno, Shinichi Honiden * A Prototype Web-At-a-Glance System for Intelligent Information Retrieval T. Catarci, S.K. Chang, L.B. Dong, G. Santucci SESSION F2: Data Mining CHAIR: Daniel Borrajo Universidad Carlos III. (Spain) * Knowledge Discovery from Software Engineering Measurement Data: A Comparative Study of Two Analysis Techniques Sandro Morasca, Günther Ruhe * Knowledge Discovery in Relational Databases Luis Eduardo Munera * Adding Database Access to a Functional Language José L. Freire, Victor M. Gulías, Xesus M. López 18:15 - 18:30 Coffee Break 18:30 - 20:00 Presentation "Results of European Research Projects" CHAIR: Natalia Juristo Universidad Politécnica de Madrid (Spain) Speakers: A. Pantoja TESTLIB Project - ESPRIT Nº 21216 Integracion y Sistemas de Medida J. Olaskoaga DOCTES Project - ESPRIT Nº 21306 Tekniker A. Marqués SPIDER Project - ESPRIT Nº 21394 Etra, S.A. J. J. Domingo HEMATITAS Project - ESPRIT Nº XXXX Sip O. Etxevarria ISPI Project- ESPRIT Nº 21405 IBERMATICA FRIDAY 20 June. 10:00 - 11:45 SESSION G1: Representation Formalisms CHAIR:Vicente Martínez Universidad Politécnica de Madrid (Spain) * Typed Logic Objects with Non-monotonic Inheritance Dianxiang Xu, Guoliang Zheng * Object-Oriented Modeling of Rule-Based Programming Xindong Wu, Xiaoya Lin * Knowledge Representation with Smart Elements in the Domain 'Mining' Reiner Inderst, P.N. Martens * Knowledge Representation and Reasoning in Scientific Research Programmes Claudio Delrieux SESSION G2: Reuse III CHAIR: Ahmed Rafea University of El Cairo (Egypt) * A Proposal of Retrieval and Classification Method for A Case Library Reuse Danielle Boulanger, G. Talens, I. Dedum, S. Commeau * A Cognitive Approach to Software Reuse applying Case-Based Reasoning to mutant cases Hector Gómez * A Knowledge-based Approach to Support Software Reuse in Object-oriented Libraries Pedro A. González, Carmen Fernández * Using a Large Linguistic Ontology for Internet-Based Retrieval of Object-Oriented Components Stefano Borgo, Nicola Guarino, Claudio Masolo, Guido Vetere * Towards Automated Component Adaptation Perry Alexander, John Penix 11:45 - 12:00 Coffee Break 12:00 - 14:30 Round Table "Perspectives on Software Development" CHAIR: J.L. Morant Dean Computer Science School Universidad Politécnica de Madrid (Spain) Speakers: G. Grunberg (Director, European Software Institute) E.G. Guinea (Director Principal of Information Systems, European Patent Office) V. Izquierdo (Vicepresident of the Spanish Gouvernamental Commision for Computer Systems Acquisition) P. Maestre (Former Director General of Computer Systems, Spanish Ministery of Social Security) L. F. Paradela (Former Director General of the Data Process Center, Ministery of Education) 14:30 - 15:30 Lunch 15:30 - 16:30 SESSION H1: Measurement CHAIR: Jean Charles Marty Université de Savoie (France) * F-Metric: A Flexible WWW-Based Framework for Supporting Evolution of Metrics Databases C. L. Chee, W.L. Chong, M.Y. Kun, C.W. Kwok, L.S. Yau, R. Paul * Toward an Automatic Software Metrics for C++ Inheritance Hierarchies Chun-Chia Wang, Timothy K. Shih * Requirements for the Knowledge-Based Support of Software Engineering Measurement Plans Christiane Gresse, Lionel C. Briand SESSION H2: Software Architecture and Design II CHAIR: Juan Ares Universidad de La Coruña (Spain) * A Coordination Perspective on Software System Design Chrysanthos Dellarocas * Building An Application Framework for Computer Network Management Systems Masaki Hamada, Katsuyoshi Kageyama, Tomohiro Fujisaki, Yoko Hikosaka, Takashi Arano, Hiroshi Aono * An Efficient Implementation of Optimization Problems Using the SDO Neural Model Fernando Díaz Martín, Verónica Canivell Castillo ============================================================================= ====================================================== SEKE'97 :: JUNE 18-JUNE 20, 1997 :: REGISTRATION ====================================================== ______________________________________________________________________________ | NAME ACM/IEEE Membership Number: | | | | ADDRESS: | | | | PHONE: FAX: E_MAIL: | |____________________________________________________________________________| |____________________________________________________________________________| | | | | | Please check | Before April 1, 1997 | After April 1, 1997 | |___________________________|__________________________|_____________________| | | ACM/IEEE member | | | | | registration* | $335 | $415 | |___|_______________________|__________________________|_____________________| | | Non-member | | | | | registration* | $415 | $495 | |___|_______________________|__________________________|_____________________| | | Student | | | | | registration* | $315 | $395 | |___|_______________________|__________________________|_____________________| | | tutorial I | $100 | $120 | |___|_______________________|__________________________|_____________________| | | tutorial II | $100 | $120 | |___|_______________________|__________________________|_____________________| | | tutorial III | $100 | $120 | |___|_______________________|__________________________|_____________________| | | tutorial IV | $100 | $120 | |___|_______________________|__________________________|_____________________| | | tutorial V | $100 | $120 | |___|_______________________|__________________________|_____________________| | | Extra copy proceedings| $60 | $60 | |___|_______________________|__________________________|_____________________| | |Mail proceedings by | | | | |( ) domestic 1st class| $8 | $8 | | |( ) int'l surface mail| $15 | $15 | | |( ) int'l airmail | $35 | $35 | |___|_______________________|__________________________|_____________________| | | | | | | | Extra banquet ticket | $70 | $70 | |___|_______________________|__________________________|_____________________| | | | TOTAL: USD ______________ | | | | ( ) Charge to my credit card (ONLY VISA or MASTER CARD accepted) | | ( ) VISA card number: _______________ | | ( ) MASTER card number: _______________ | | Full name as appeared on the card: ____________________ | | Expiration date: (month) _____ (day) _____ (year) _____ | | My signature: _________________________ | | | | ( ) I will pay by check | | Please make checks payable to SEKE'97, and send them to | | | | SEKE'97 | | Knowledge Systems Institute | | 3420 Main Street Tel: +1-847-679-3135 | | Skokie, IL 60076 Fax: +1-847-679-3166 | | USA E-mail: seke@ksi.edu | | | |____________________________________________________________________________| |*For an accepted paper to appear in the proceedings, at least one author | | must register. Separate registrations are required for separate papers. | | Therefore, if an author has two accepted papers, one of the co-authors must| | register for the second paper. Registration fee includes the proceedings, | | all coffee breaks, the reception and the conference banquet. Extra banquet | | ticket or extra copy of proceedings can be purchased using this registra- | | form. Other meals can be purchased at the conference site. They are not | | included in the registration fee. Registration must be accompanied by | | payment. Just mailing this form does not constitute registration. | |____________________________________________________________________________| ============================================================================== ****************************************************************************** REGISTRATION HOTEL FORM ****************************************************************************** Please, fill it in capital letters and send it to: CARLSON WAGONLIT TRAVEL Virgen de los Peligros, 2 - 1º 28.013 MADRID (Spain) Tlf: (+34 1) 532.88.08 Fax: (+34 1) 532.50.80 e-mail: intersol@mad.servicom.es ________________________________________________________________________ NAME:___________________ SURNAME:__________________________________ MAIL ADDRESS:________________________________ CITY:________________ POSTAL CODE: ___________ STATE: ______________ COUNTRY:____________ TELEPHONE:______________ FAX: _____________ E-MAIL: _______________ ------------------------------------------------------------------------ HOTEL INFORMATION: HOTEL DOUBLE ROOM DOUBLE For Single Use HUSA PRINCESA HOTEL ***** 19.367 Ptas. 18.297 Ptas. MONCLOA GARDEN HOTEL *** 13.450 Ptas. 11.150 Ptas. Rates per room, per night, breakfast and tax included. Please Reserve: [] Double Room [] Double for single use room Arrival day: ____________ Departure day: ____________ Number of nights: ______ (A) First night Deposit as reservation guaranty.............. __________ Ptas. ------------------------------------------------------------------------------ _______________________________________________________________________________ SOCIAL PROGRAM INFORMATION: Wednesday 18 Full day excursion to Toledo........ 7.650 Ptas. X ____ persons = ______ Ptas. Thursday 19 Half day Madrid artistic city tour.. 4.900 Ptas. X ____ persons = ______ Ptas. Friday 20 Half day excursion to El Escorial .. 5.300 Ptas. X ____ persons = ______ Ptas. (B) TOTAL EXCURSION............................................. ________ Ptas. ------------------------------------------------------------------------------- FORM OF PAYMENT [] Please charge to my credit card: [] VISA [] AMERICAN EXPRESS [] DINERS Number: _________________ Expire Date:___/___/___ Amount:________ Pesetas (A+B) [] Enclosed Certified banck check number___________________, in the amount of (A+B) __________ Pesetas, payable to CARLSON WAGONLIT TRAVEL and issued in a bank with a Branch in Madrid. (Personal chcks are not accepted) Signature:___________________________ Date: ________________________ ============================================