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 BibTeX
Opening
Session 1:
Requirements engineering
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 BibTeX
- Salah Badr, Luqi:
Automation support for concurrent software engineering.
46-53 BibTeX
- 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 BibTeX
- Pearl Brereton, Paul Singleton:
A deductive infrastructure for exploratory software evolution.
62-69 BibTeX
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 BibTeX
- Daniel E. Cooke, Richard Duran, Ann Q. Gates, Vladik Kreinovich:
Bag languages, concurrency, Horn logic programs, and linear logic.
289-297 BibTeX
- Veronique Farrell, Dave Riches, Stewart Tansley:
Giving KBS an OO! - object-oriented techniques and KADS.
298-305 BibTeX
- Sha Guo, Wei Sun, Naphtali Rishe, Yi Deng:
Semantic query optimization by class reference reduction in object- oriented databases.
306-313 BibTeX
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 BibTeX
- Timothy Arndt, Angela Guercio, Giuliano Pacini, Genny Tortora:
Symbolic execution of logic programs.
414-421 BibTeX
- Alireza Azem, Fevzi Belli:
Reliability determination of Prolog programs.
422-429 BibTeX
- Fevzi Belli, Oliver Jack:
A test environment for Prolog.
430-437 BibTeX
- H. Lewis Chau, K. Gary Chan:
A visual logic specification of flexible manufacturing systems.
438-445 BibTeX
- Yigang Chen, Yutaka Usuda:
Design and implementation of a knowledge based BPA/BPR tool: EUOBFE.
446-453 BibTeX
- 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 BibTeX
- Andrea De Lucia, C. Di Cristo, Genny Tortora, Maurizio Tucci:
Program parallelization in WSDW.
462-469 BibTeX
- Barbara Dunin-Keplicz, Janusz Jablonowski, Witold Lukaszewicz, Ewa Madalinska-Bugaj:
CAProDel: a system for computer aided program development.
470-477 BibTeX
- M. R. Girardi, Bertrand Ibrahim:
A similarity measure for retrieving software artifacts.
478-485 BibTeX
- Janusz Jablonowski, Ewa Madalinska-Bugaj:
Procedure handling in computer aided program development.
486-492 BibTeX
- Bernd J. Krämer:
Rule-enhanced Petri nets for software process modeling.
493-500 BibTeX
- Luqi, Joseph A. Goguen:
Suggestions for progress in software analysis, synthesis and certification.
501-507 BibTeX
- Edmundo Tovar:
Applicability of McCabe's complexity metric to knowledge engineering products.
508-515 BibTeX
- Claire P. Willis, Derek J. Paddon:
Specification reuse for safety-critical software.
516-523 BibTeX
- Phillip C.-Y. Sheu, Song Bong Yoo:
A deductive program transformation system.
524-531 BibTeX
Copyright © Sat May 16 23:37:25 2009
by Michael Ley (ley@uni-trier.de)
