6. SEKE 1994:
Jurmala,
Latvia
SEKE'94, The 6th International Conference on Software Engineering and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia.
Knowledge Systems Institute 1994 
Opening
Session 1:
Requirements engineering
- Hany M. Atchan, Gordon C. Everest:
An experiment in eliminating the separation between data, functional, and behavioral models during requirements specification.
2-9
- Peter Holm:
The COMMODIOUS method - COMmunication MODelling as an aid to Illustrate the Organisational Use of Software.
10-19
- Marite Kirikova, Janis A. Bubenko Jr.:
Software requirements acquisition through enterprise modelling.
20-27
- Colette Rolland:
A contextual approach for the requirements engineering process.
28-35
Session 2:
Software development I
- Salwa K. Abd-El-Hafiz, Victor R. Basili:
A tool for assisting the understanding and formal development of software.
36-45
- Salah Badr, Luqi:
Automation support for concurrent software engineering.
46-53
- Janis Barzdins, Audris Kalnins, Karlis Podnieks, Ilona Etmane, Andrejs J. Auzins, A. Kalis, P. Krastins, S. Rozenfelds:
GRADE Windows: an integrated CASE tool for information system development.
54-61
- Pearl Brereton, Paul Singleton:
A deductive infrastructure for exploratory software evolution.
62-69
Session 3:
Software development II
Session 4:
Tests,
proofs,
debugging
Session 5:
Specification methods
Session 6:
Metrics and their use
Session 7:
Visual aspects of software development
Session 8:
Reengineering and concurrent engineering
Session 9:
Temporal aspects
Session 10:
Data base and knowledge base methods I
- Osvaldo Cairó, Silvia Guardati, Tomhs Boom:
A formal methodology for acquiring and representing knowledge from multiple experts.
281-288
- Daniel E. Cooke, Richard Duran, Ann Q. Gates, Vladik Kreinovich:
Bag languages, concurrency, Horn logic programs, and linear logic.
289-297
- Veronique Farrell, Dave Riches, Stewart Tansley:
Giving KBS an OO! - object-oriented techniques and KADS.
298-305
- Sha Guo, Wei Sun, Naphtali Rishe, Yi Deng:
Semantic query optimization by class reference reduction in object- oriented databases.
306-313
Session 11:
Data base and knowledge base methods II
Session 12:
Database and knowledge base methods III
Session 13:
Software reuse
Session 14:
Advances in SE & KE
- Fabio Abbattista, Filippo Lanubile, Giuseppe Visaggio:
Open architecture for a process-centered development environment.
405-413
- Timothy Arndt, Angela Guercio, Giuliano Pacini, Genny Tortora:
Symbolic execution of logic programs.
414-421
- Alireza Azem, Fevzi Belli:
Reliability determination of Prolog programs.
422-429
- Fevzi Belli, Oliver Jack:
A test environment for Prolog.
430-437
- H. Lewis Chau, K. Gary Chan:
A visual logic specification of flexible manufacturing systems.
438-445
- Yigang Chen, Yutaka Usuda:
Design and implementation of a knowledge based BPA/BPR tool: EUOBFE.
446-453
- Steve C. Y. Chiang, Jason Tsong-Li Wang, Michael P. Bieber, Peter A. Ng:
DocFlow: an event-driven visual programming environment for office automation through document processing.
454-461
- Andrea De Lucia, C. Di Cristo, Genny Tortora, Maurizio Tucci:
Program parallelization in WSDW.
462-469
- Barbara Dunin-Keplicz, Janusz Jablonowski, Witold Lukaszewicz, Ewa Madalinska-Bugaj:
CAProDel: a system for computer aided program development.
470-477
- M. R. Girardi, Bertrand Ibrahim:
A similarity measure for retrieving software artifacts.
478-485
- Janusz Jablonowski, Ewa Madalinska-Bugaj:
Procedure handling in computer aided program development.
486-492
- Bernd J. Krämer:
Rule-enhanced Petri nets for software process modeling.
493-500
- Luqi, Joseph A. Goguen:
Suggestions for progress in software analysis, synthesis and certification.
501-507
- Edmundo Tovar:
Applicability of McCabe's complexity metric to knowledge engineering products.
508-515
- Claire P. Willis, Derek J. Paddon:
Specification reuse for safety-critical software.
516-523
- Phillip C.-Y. Sheu, Song Bong Yoo:
A deductive program transformation system.
524-531
Copyright © Fri Mar 12 17:20:58 2010
by Michael Ley (ley@uni-trier.de)
