SEKE'99 Eleventh International Conference on Software Engineering and Knowledge Engineering June 16-19, 1999 in Kaiserslautern, Germany E-mail: seke@ksi.edu http://www.iese.fhg.de/SEKE99 PRELIMINARY PROGRAM Wednesday, Jun 16, 1999 08:00 - 09:00 Registration 09:00 - 12:30 Half-day tutorials: T1: A. Birk and J. J=E4rvinen "Product-driven process improvement using PROFES improvement methodology" T2: T. Menzies "Knowledge maintenance: The state of the art" T3: N. Juristo and A. M. Moreno "Techniques for Software Engineering experimentation" 12:30 - 01:30 Lunch 01:30 - 06:00 Workshop on Learning Software Organizations 01:30 - 05:00 Half-day tutorial: T4: B. Henderson-Sellers "OPEN: A third generation OO methodology" 06:00 - 06:30 Break 06:30 - 08:30 Reception at Betzenberg/Restaurant 1.FC Kaiserslautern Thursday, Jun 17, 1999 08:00 - 09:00 Registration 09:00 - 09:30 Opening Remarks: G. Ruhe, S.K. Chang, and H.D. Rombach 09:30 - 10:30 Keynote Speech: V. Basili "Software improvement feedback loops: The SEL experience" 10:30 - 11:00 Break 11:00 - 12:30 Full Paper Sseeion (FPS) 1: Learning Software Organization M. Broom=E9 and P. Runeson, "Technical Requirements for the Implementation of an Experience Base" K.-D. Althoff et al. "Managing Software Engineering Experience for Comprehensive Reuse" Minna Markkula "Knowledge Management in Software Engineering Projects" 11:00 - 12:30 FPS 2: Specifications S. Tata, G. Canals, and C. Godart "Specifying interactions in Cooperative applications" E. Motta, D. Fensel, M. Gaspari, and A. Benjamins "Specifications of Knowledge Components for Reuse" T. Arndt, S.-K. Chang, and A. Guercio "Formal specification and prototyping of multimedia applications" 12:30 - 02:00 Lunch 02:00 - 03:30 Short Paper Session (SPS) 1: Modeling, Measurement, and Experimentation A. Behle, F. Gatzemeier, and O. Meyer "Graph Technology for Structured Documents" L. Blando, K. Lieberherr, and M. Mezini "Modeling Behavior with Personalities" Y. Kalfoglou and D. Robertson "An experiment in applying ontologies to augment and reason about the correctness of specifications" J. Tian "Taxonomy and Selection of Quality Measurements and Models" A. Valerio, M. Fenaroli, and L. Benedicenti "Software development with domain analysis: a process improvement experiment" M. Vierimaa, D. Hamann, S. Komi-Sirvi=F6, A. Birk, J. J=E4rvinen, and P. Kuvaja "Integrated Use of Software Assessments and Measurements" 02:00 - 03:30 Panel 1, Chair: B. Kraemer Title: "Software Engineering education from an industrial perspective" 03:30 - 04:00 Break 04:00 - 05:30 Tool session (Short presentation of 12 cutting edge methods and tools demonstrated at the SEKE'99 tool exhibition) 04:00 - 05:30 Panel 2, Chair: G. Succi Title: "Product line approach" =09 05:30 - 06:00 Break 06:00 - 08:00 Tool exhibition Friday, Jun 18, 1999 08:00 - 09:00 Registration 09:00 - 10:00 Keynote Speech: R. van de Riet "The use of linguistics in Software and Knowledge Engineering, in particular for information systems design" 10:00 - 10:30 Break 10:30 - 12:00 FPS 3: Knowledge Management A. Abecker, A. Bernardi, and M. Sintek "Proactive Knowledge Delivery for Enterprise Knowledge Management" C. Gresse v. Wangenheim, K.-D. Althoff, and R. Barcia "Intelligent Retrieval of Software Engineering Experienceware" N. Juristo and A. Moreno "Integrated Software Engineering and Knowledge Engineering Teaching Experiences" 10:30 - 12:00 FPS 4: : Software Architectures H. Xudong, G. Zeng, and Y. Deng "Specifying Software Architectural Connectors in SAM" W. Wu and M. Saeki "A Technique to Specify Software Architectures Based on Coloured Petri Nets" A. I. Wang, R. Conradi, and C. Godart "A Multi-Agent Architecture for Cooperative Software Engineering" 12:00 - 01:30 Lunch 01:30 - 03:00 SPS 2: Knowledge Engineering R. Falbo, C. Menezes, and A. R. C. da Rocha "Using Knowledge Servers to Promote Knowledge Integration in Software Engineering Environments" F. Maurer, B. Dellen, and H. Holz "Process Support for Virtual Software Organizations" K. M. Olivera, A. R. C. da Rocha, G. H. Travassos, and C. Menezes " Using Domain- Knowledge in Software Development Environments" M. Oussalah and K. Messaadia "An All-Reuse Methodology for KBS Components Library" K. Shaalan, M. El-Badry, M. Fafea, and A. Rafea "An Agent Approach for Diagnostic Expert Systems Via The Internet" B. Tessem, R. A. Whitehurst, and C. L. Powell "Case-Based Support for Rapid Application Development" 01:30 - 03:00 Panel 3, Chair: R. Conradi=09 Title: "From experience databases to learning software organizations" =09 03:00 - 03:30 Break 03:30 - 05:00 SPS 3: Software Engineering C. Chen, K. Chang, and R. Chapman "Test Scenario and Test Case Generation based on Object-Z Formal Specification" K. Hanakawa, H. Takeda, and T. Nishida "Construction of A Dynamic Document Using Context-Free Pieces" T. Menzies and C. C. Michael "Fewer Slices of PIE: Optimizing Mutation Testing via Abduction" M. Rangarajan and P. Alexander "Application of Proof Obligations in the Design Process" S. Sigman and X. G. Liu "An Intelligent Argumentation Methodology for Capturing and Analyzing Design Rationale From Multiple Perspectives" K. Zang, J. Cao, and D. Zhang "A Design Model for A Visual Language Generation Environment" H. Zhu, L. Jin, and D. Diaper "Application of Task Analysis to the Validation of Software Requirements" 03:30 - 05:00 Panel 4, Chair: K. Lebsanft Title: "Process simulation models: How can they be used to support learning?" =09 05:00 - 05:30 Break 05:30 - 06:00 Poster Session 1 Y. Yang and P. Wojcieszak "Visual Programming Support for Coordination of Web-Based Process Modelling" S. Morasca "Towards a Way to Deal with Continouos Attributes in Decision Trees" W. C. Chu, C. Lu, C. Chang, C. Liao, and Y. Chung "A Parallel Program Generation Environment for Solving PDEs on Distributed Memory Computing Environments A. de Antonio, I. Gracia-Martin, N. Medinilla, and A. M. Moreno "Could Problems in Software Development be Mitigated Through a More Practical Education?" M. Harn, V. Berzins, and Luqi "A Dependency Computing Model for Software Evolution" N. Hanakawa, K. Matumoto, and K. Torii "Application of "Learning Curve Based Simulation Model for Software Development" to Industry" J. Yang, J. Huang, F. Wang, and W. C. Chu "Constructing Control-Flow Based Testing Tools for Web Application" M. Schnaider "Producing Modular Courseware for Share and Reuse Using a Template-Based Approach" 05:30 - 06:00 Poster Session 2: A. Plantec and V. Ribaud "Experiences using and Application Generator Builder" T. Inoue "Dynamic plug-in components for Distributed Objects" H. Chen, H. Takano, H. Abolhassani, and Z. Koono "An Approach to an Integrated Intelligent CASE Tool for Automatic Software Design" D. Job and V. Shankararaman "Hybrid Al Techniques for Software Design" R. L. Feldmann, B. Geppert, and F. R=F6=DFler "Continuous Improvement of Reuse-Driven SDL System Development" H. Voos, R. Habtom, and L. Litz "Development of an Engineering Tool for the Design and Optimization of Knowledge-Based Control Structures" S. Henninger "Decision Support for Selecting Appropriate Software Process Models" M. Kronenburg and C. Peper "Definition and Instantiation of a Reference Model for Problem Specifications" 06:30 Departure from Hotel Dorint to Banquet at Burg Neuleiningen Saturday, June 19, 1999 08:00 - 09:00 Registration 09:00 - 10:00 Keynote Speech: F. J. Radermacher "Knowledge Management for Complex System" 10:00 - 10:30 Break 10:30 - 12:00 FPS 5: Object-Oriented Technology A. Felfernig, G. E. Friedrich, and D. Jannach "UML as domain specific language for the construction of knowledge based configurations systems" J. Guo and Lugi "Object Modeling to Re-enineer Legacy Systems" J. S. Dong, S. Jarzabek, and L. O=B4Brien "From an Object Semantic Model to a Design of SPS" A. Ortigosa and M. Campo "Using Incremental Planning to Foster Applicaton Frameworks Reuse" 10:30 - 12:00 FPS 6: Processes and Systems Engineering S. Goldmann, J. M=FCnch, and H. Holz "Distributed Process Planning Support with MILOS" K. Lebsanft and D. Pfahl "Knowledge Acquisition for Building System Dynamics Simulation Models: An Experience Report from Software Industry" J. Grundy "Supporting aspect-oriented component-based systems engineering" 12:00 - 01:30 Lunch 10:30 Departure from Dorint hotel to excursion to Heidelberg