PROGRAM OF SEKE'94 _____________________________________________________________________________________________ MONDAY, JUNE 20 17:00 - Registation and Welcoming Reception _____________________________________________________________________________________________ TUESDAY, JUNE 21 8:30 - 9:30 Opening (J. Barzdins, A. Berztiss, S.-K. Chang) Keynote address: S.-K. Chang (USA) 9:50 - 11:10 Session 1: Requirements engineering H.M. Atchan (USA) An experiment in eliminating the separation between data, functional, and behavioral models during requirements specification P. Holm (Sweden) The COMMODIUS method - COMmunication MODelling as an aid to describe the Organisational Use of Software M. Kirikova, J. Bubenko (Sweden) Software requirements acquisition through enterprise modelling C. Rolland (France) A contextual approach for the requirements engineering process 11:20 - 12:40 Session 2: Software development I S.K. Abd-El-Hafiz, V.R. Basili (USA) A tool for assisting the understanding and formal development of software S. Badr, Luqi (USA) Automation support for concurrent software engineering J. Barzdins, A. Kalnins, K. Podnieks, I. Etmane, A. Auzins, A. Kalis, P. Krastins, S. Rozenfelds (Latvia) GRADE Windows: an integrated CASE tool for information system development P. Brereton, P. Singleton (UK) A deductive infrastructure for exploratory software evolution 14:00 - 15:20 Session 3: Software development II B.H.C. Cheng, R.H. Bourdeau, G.C. Gannod (USA) An object-oriented development of a distributed multimedia environmental information system D. Landes (Germany) A language for the design of knowledge-based systems S. Park (USA) Automated support to system modeling from informal software requirements H. Pranevitchius, V. Pilkauskas (Lithuania) Tools for validation and simulation of Estelle/Ag specifications 15:40 - 17:00 Session 4: Tests, proofs, debugging L.B. Arfa, M. Lamarche, R. Mili, A. Mili, D. Skuce (Canada - Tunisia) A process for verification based inspections M. Auguston (USA) A language for debugging automation H. Zhu, P.A.V. Hall, J.H.R. May (UK) Knowledge engineering helps testing protection software A. Pliuskeviciene (Lithuania) Specialization of derivations in Hoare-like logic with recursive procedures Special evening session: Demonstration of the GRADES project G. Barzdins, J. Barzdins, J. Bicevskis, J. Borzovs, I. Etmane, J. Strods, U. Sukovskis, A. Teilans, M. Treimanis, E. Vilums (Latvia) Excursion to Riga _____________________________________________________________________________________________ WEDNESDAY, JUNE 22 8:30 - 9:50 Session 5: Specification methods P. Alexander (USA) Combining transformational and derivational analogy in Larch specification generation L. Durante, R. Sisto, A. Valenzano (Italy) A LOTOS specification of the SERCOS field-bus protocol K. Jackson, A. Llamosi, R. Puigjaner (Spain - UK) Specification of performance constraints in real-time systems S. Miyakawa, N. Yonezaki (Japan) Temporal logic extended with object creation and destruction components 10:00 - 11:20 Session 6: Metrics and their use A. Abran, J.D. Desharnais, D. Meyerhoff, M. Mullerburg, D. St-Pierre (Germany - Canada) Structured hypertext for using and learning function point analysis P.A. Hausler, R.C. Linger (USA) From software craft to software engineering: the Cleanroom method N. Meskens, R. Soenen (Belgium) A knowledge-based system for software quality analysis R.G. Reynolds (USA) The inductive learning of software measures from examples 11:40 - 13:00 Session 7: Visual aspects of software development W. D. Hurley (USA) Deducing structure in systems with separable user interfaces A.Kalnins (Latvia) Extensions of GRAPES/4GL for Windows style input/output J. Koskinen, J. Paaki, A. Salminen (Finland) Program text as hypertext: using program dependences for transient linking M. Zajicek, K. Brownsley (UK) Investigating formal specification of graphical interface design for an interactive constraint based resource allocation system 14:00 - 15:20 Session 8: Reengineering and concurrent engineering V. Berzins (USA) Software merge: models and properties G. Canfora, G.A. Di Lucca, M. Tortorella (Italy) Recovering object classes and inheritance relationships from existing code T. Cheatham, A. Fahmy, D. Stefanescu (USA) Supporting multiple evolving compilers S. Jarzabek, W.-M. Lim (Singapore) Modeling in strategic re-engineering 15:40 - 17:00 Session 9: Temporal aspects J.C.A. de Figueiredo, A. Perkusich, S.K. Chang (Brazil - USA) Timing analysis of real-time software systems using fuzzy time Petri nets R. Pliuskevicius (Lithuania) Saturated deductive systems for temporal specifications J. Sakalauskaite (Lithuania) A complete sequent calculus for a first order branching temporal logic Conference dinner _____________________________________________________________________________________________ THURSDAY, JUNE 23 8:30 - 9:50 Session 10: Data base and knowledge base methods I O. Cairo, S. Guardati, T. Boom (Mexico) A formal methodology for acquiring and representing knowledge from multiple experts D.E. Cooke, R. Duran, A. Gates, V. Kreinovich (USA) Bag languages, concurrency, Horn logic programs, and linear logic V. Farrell, D. Riches, S. Tansley (UK) Giving KBS an "OO"! - object-oriented techniques and KADS S. Guo, W. Sun, N. Rishe, Y. Deng (USA) Semantic query optimization by class reference reduction in object-oriented data models 10:00 - 11:20 Session 11: Data base and knowledge base methods II J. Krogstie, G. Sindre (Norway) Extending a temporal rule language with deontic operators F. Pachet, J.-F. Perrot (France) Rule firing with metarules J. Reinfelds, K. Kaugars (USA) Visualization and transformation of SGML knowledge representation structures N. Rishe, W. Sun (USA) A pipeline CASE tool for database design 11:40 - 13:00 Session 12: Data base and knowledge base methods III S. Shi, D.A. Bell, M.E.C. Hull (UK) On combining and updating evidence J. Vanthienen, G. Wets (Belgium) Managing decision table knowledge in a relational database environment A.I. Verkamo (Finland) Cooperation of KBS development environments and CASE environments M. Vestli, I. Nordbo, A. Solvberg (Norway) Developing well-structured knowledge-based systems 14:00 - 15:20 Session 13: Software reuse J. van den Elst. F. van Harmelen, G. Schreiber, M. Thonnat (France - Netherlands) A functional specification of reusing software components M. Ramachandran (UK) Knowledge based support for developing reusable software G. Spanoudakis, P. Constantopoulos (Greece) Measuring similarity between software artifacts H. Suzuki, N. Takahashi (Japan) Associative program retrieval using partially-ordered behavioral abstractions of a program 15:40 - Session 14: Shorter presentations F. Abbattista, F. Lanubile, G. Visaggio (Italy) Open architecture for a process-centered development environment T. Arndt, A. Guercino, G. Pacini, G. Tortora (Italy - USA) Symbolic execution of logic programs A. Azem, F. Belli (Germany) Reliability determination of Prolog programs F. Belli, O. Jack (Germany) A test environment for Prolog H.L. Chau, G.K. Chan (Hong Kong) A visual logic specification of flexible manufacturing systems Y. Chen, Y. Usuda (USA) Design and implementing of a knowledge based BPA/BPR tool: EUOBFE S.C.Y. Chiang, J.T.L. Wangh, M.P. Bieber, P. Chappidi, V. Shah, P.A. Ng (USA) DocFlow: an event-driven visual programming environment for office automation through document processing A. De Lucia, C. Di Cristo, G. Tortora, M. Tucci (Italy) Program parallelization in WSDW B. Dunin-Keplicz, J. Jablonowski, W. Lukaszewicz, E. Madalinska-Bugaj (Poland) CAProDel: a system for computer aided program development M.R. Girardi, B. Ibrahim (Switzerland) A similarity measure for retrieving software artifacts J. Jablonowski, E. Madalinska-Bugaj (Poland) Procedure handling in computer aided program development B. Kraemer (Germany) Rule-enhanced Petri nets for software process modeling Luqi (USA) Some suggestions for progress in software analysis, synthesis and certification E. Tovar (Spain) Applicability of the complexity McCabe's metric to knowledge engineering products C.P. Willis, D.J. Paddon (UK) Specification reuse for safety-critical software S.B. Yoo, P.C.-Y. Sheu (USA) A knowledge-based program transformation system Latvian Midsummernight Eve celebration in the countryside _____________________________________________________________________________________________ FRIDAY, JUNE 24 Postconference excursion _____________________________________________________________________________________________ ************************************************************************** The conference hotel, which belongs to the Latvian government, is right on the beach: "Rigas Jurmala" Juras iela 23/25 LV-2015 Jurmala Latvia Unfortunately, as the result of many years of Soviet occupation of Latvia, the sea is too polluted for swimming. But the hotel has a swimming pool, sauna, and tennis courts. There are frequent trains to Riga, which is about 30 minutes away. The train station for the hotel is Majori. However, all conference participants will be met at the airport, ferryport, or railway station in Riga, and taken to the hotel. Money should be changed at the airport. There are no restrictions on changing foreign currency into lats, or lats back into foreign currency. However, it would be advisable to take one of the more common currencies with you. The hotel does not accept credit cards or travellers' checks, but you will not need much spending money at the hotel itself. Communications: The best arrangement is to send incoming messages by fax. The fax number of the hotel is +371 2 762368. International outgoing calls can be made from the hotel at the rate of USD 3:00 per minute. E-mail facilities will be made available. The weather in June is usually mild during daytime, but a heavy sweater or a jacket is recommended for the cooler evenings and nights. If you arrive early, or want to stay longer in Latvia, but not at the conference hotel, please let a travel agency make your hotel reservation. June, because of Midsummer, is the main tourist season, and hotels in Riga are booked out. They are also expensive. More travel information: the most economical way of traveling in the summer is by American Trans Air. They fly direct New York - Riga with a stop at Shannon in Ireland). Phone: 800-382-5892.