8:30-9:30	Registration


9:30-10:00	Welcome Address


10:00-11:00	Invited speaker Prof. Dr. Volkmar H. Haase (University of Graz) and Prof. Dr. R. Mitermeir (University of Klagenfurt)

11:30-13:00	Session: Methodologies
		The Enhancement of CASE to Improve Software Quality
		M.B. Dixon

		Formal Methods for Quality Requirements Capture: A Specification of The Single Transferable Voting System
		Michael R. Poppleton

		Mastering complexity through structure understanding
		Maksimiljan Gerkes

14:30-16:00	Session: V&V Methods

		Compositional Object Specification and Verification
		Stefan Conrad

		Usability Verification Methods:
		Tomaz Dogsa
		Test of Rule - Based Systems Using Constraint Programming
		Amar Bendou
16:30-18:00	Session: Metrics

		Measuring the Coupling and Cohesion of an Object - Oriented Program Based on Information Flow
		Yen- Sung Lee

		An Experimental Managerial Metric to Improve Software Quality
		Mauricio Pighin

		The Cultural Influence on Software Quality Systems
		Kerstin V. Siakas


19:00		Social activity

9:00-10:00	Invited speaker
10:30-12:00	Session: V&V Methods and Models

		Software Reliability Model of Telecommunication System	Jernej Virant

		V&V in Development of an Information System for Support of Telephone - Exchange Planning Life Cycle
		Tomaz Kolmanic
		On Constructing protocol Derivation Algorithms for LOTOS - Like Languages
		Monika Kapus - Kolar


13:30-15:00	Session: Software Quality

		Defining a Basic System of Internal Attributes for a Software Product: An Objective Approach
		B.I. Cogan

		A Productivity Evaluation Model BAsed on Software Quality
		Barranco Garcia

		Applaying the "Conventional" Viev-Point of Software Quality to "Non-Conventional" Software Expert Systems
		T.O. Maveeva

15:30-17:00	Poster Session
		Formal Approach For Wan' s Validation Techniques
		Kotulski Leszek

		A Comparative Analysis of the Efectivenes of Some Software verification and Validation Methods
		Ales Bosnjak

		Software Quality Audit
		Ion Ivan

		Software Quality Classes: Problem Statement and the Latvian Case Study
		Juris Borzovs

		Optimising the Software Quality Cost
		Paula Apreutesei
		Practical and Possible Implementations of the Objective Approach to Define a Basic System of Internal Attributes of Software Products
		B.I. Cogan
		The Analysis and Evaluation of the Governmental Public Image
		Gheorghe Ogrinja


20:00	Visit the famous wine-cellar and wine degustation

Wednesday, November 8

9:00-10:00	PROCESSUS - Assesment and Improvement of Software Process Quality	I. Rozman

10:30-11:30	Session: Quality Management Systems

		Software Packages certification - an alternative approach to improve software quality	M. Pivka

		Reengineering and quality management in practise: A case for EasyCODE
		Oliver Karall
		TLA specification of the closing procedure for a light - weight transport protocol connection
		Tatjana Kapus


12:00-13:00	Closing Session