6. SEKE 1994: Jurmala, Latvia

Opening

Session 1: Requirements engineering

Session 2: Software development I

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

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