program. - VII Krajowa Konferencja Inżynierii

program. - VII Krajowa Konferencja Inżynierii

WTOREK
18.10.2005
ŚRODA
09.00
S1.
19.10.2005
CZWARTEK
INAUGURACJA KONFERENCJI / OPENING
S5.
20.10.2005
SESJA PRZEMYSŁOWA / INDUSTRY SESSION
OTWARCIE / OPENING
MOTOROLA
Prof. Niklaus WIRTH
VII KKIO
KRAKÓW
18-21.10.2005
PROCESY INŻYNIERII OPROGRAMOWANIA / SOFTWARE
ENGINEERING PROCESSES
KAWA /COFFEE
Barbara Begier
The UID Approach − the Balance between Hard and
Soft Methodologies
Ilona Bluemke, Anna
Derezińska
Internet Laboratory Instructions for Advanced
Software Engineering Course
Michał Śmiałek, Andrzej
Kardas
Model Management Based on a Visual Transformation
Language
Marek Bukowy, Larry Wilder,
Susan Finch, David Nunn
Agile Software Development at Sabre Holdings
Marcin Jarzab, Jacek Kosinski, Configuration Management of Massively Scalable
Krzysztof Zielinski
Systems
Włodzimierz Funika, Arkadiusz
Workflow Management System in Software Production
Interoperability of monitoring tools with JINEXT
Janik
and Maintenance
Architecture of Parallel Spatial Data Warehouse:
Sławomir Samolej, Tomasz
TCPN-based Tool for Timing Constraints Modelling
Balancing Algorithm and Resumption of Data
Szmuc
and Validation
Extraction
OBIAD / LUNCH
UML - MODELOWANIE SYSTEMÓW OPROGRAMOWANIA / UMLS7.
BASED SOFTWARE MODELING
Bogumiła Hnatkowska, Zbigniew
Huzar, Lech Tuzinkiewicz
Anna Bobkowska, Krzysztof
Reszke
Radosław Klimek, Paweł
Skrzyński, Michał Turek
Data modeling with UML 2.0
Usability of UML Modeling Tools
On some problems with modelling of exceptions in
UML
The ISMS Business Environment Elaboration Using
a UML Approach
16.00 - 16.30
S4.
INŻYNIERIA WYMAGAŃ / REQUIREMENTS ENGINEERING
Michał Godowski, Dariusz
Czyrnek
S. Szejko, M. Brochocki, H.
Łyskawa, W. E. Kozłowski
Tomasz Nowak, Mirosław
Głowacki
Radosław Adamus, Edgar
Głowacki, Tomasz Serafiński,
Kazimierz Subieta
Lech Madeyski
Preliminary Analysis of the Effects of Pair Programming
and Test-Driven Development on the External Code
Quality
Mariusz Jadach, Bogumiła
Hnatkowska
Codespector - a Tool for Increasing Source Code
Quality
17.45
18.00 - 23.00
KOPALNIA SOLI W WIELICZCE / Excursion to the
SALT MINE in Wieliczka and DINNER underground
POSTERS 1
A.Gąsienica-Samek,
T.Stachowicz, J.Chrząszcz,
A.Schubert
M.Graboń, J.Małek, M.Surkont,
P.Wroszczuk, R.Fotrzyk,
A.Huzar, A.Kaliś
Maciej Dorsz, Jerzy Nawrocki,
Anna Demuth
Implementation of the Requirements Driven Quality
Control Method in a Small IT Company
System definition and implementation plan driven by
non-linear Quality Function Deployment model
Change Management with Dynamic Object Roles
and Overloading Views
POSTERS 2
METODOLOGIE INŻYNIERII OPROGRAMOWANIA / SOFTWARE
PROCESS METHODOLOGIES
Lilianna Wierzchoń
Requirement Management in Practice
KAWA / COFFEE
17.15
18.00 - 20.00 BANKIET /
OPENING RECEPTION
MODELOWANIE OPROGRAMOWANIA I WERYFIKACJA /
SOFTWARE MODELING AND VERIFICATION
Conceptual Modeling and Automated Implementation of
Rule-Based Systems
POSTERS 1
KAWA / COFFEE
S10.
Use-Cases Engineering with UC Workbench
Grzegorz J. Nalepa i Antoni
Ligęza
Andrzej Białas
16.15 - 16.30
Jerzy Nawrocki, Łukasz Olek
Grid enabled Virtual Storage System using Service
Oriented Architecture
S3.
14.30 - 14.45
OPROGRAMOWANIE I JEGO ASPEKTY PRAWNE / THE LEGAL ASPECTS OF
SOFTWARE ENGINEERING
Łukasz Skitał, Renata Słota,
Darin Nikolow, Jacek Kitowski
13.00 - 14.30
BBJ TUTORIAL
TECHNOLOGIE SOA / TECHNOLOGIES FOR SOA
S9. OPROGRAMOWANIE A PRAWO / SOFTWARE AND LAW
Software Process Maturity and the Success of Free
Software Projects
Marcin Gorawski
CROSSGRID
TUTORIAL
S6.
21.10.2005
Martin Michlmayr
Paweł Markowski
13.00
Software Complexity Analysis for Multitasking
Krzysztof Trocki, Mariusz Czyz Systems Implemented in the Programming
Language C
KAWA / COFFEE
Good ideas, or bad ones in retrospect?
10.30 - 11.00
S2.
/tba/
PIĄTEK
S8.
SYSTEMY BAZ WIEDZY I PROTOTYPOWANIE / KNOWLEDGE
BASE SYSTEMS AND PROTOTYPING
J. Koźlak, A. Zygmunt, A.
Łuszpaj, K. Szymański
The Process of Integrating Ontologies for Knowledge
Base Systems
Krzysztof Goczyła, Teresa
Grabowska, Wojciech
Waloszek, Michał Zawadzki
Anna Zygmunt, Marek A.
Valenta, Tomasz Kmiecik
Marcin Szpyrka, Grzegorz J.
Nalepa
Dariusz Król, Małgorzata
Podyma, Bogdan Trawiński
19.30 - 22.00
Designing World Clousers for Knowledge-based
System Engineering
The Specifics of Dedicated Data warehouse
Solutions
Formal Approach to Prototyping and Analysis of
Modular Rule-Based Systems
Selection and Testing of Reporting Tools for
an Internet Cadastre Information System
UCZTA U WIERZYNKA / GALA DINNER in the
WIERZYNEK Restaurant
POSTERS 2
CMMI Process Improvement Project in ComputerLand
Krzysztof Sacha
Evaluation of Software Quality
KOTEK: Clustering Of The Enterprise Code
Krzysztof Goczyła, Teresa
Grabowska, Wojciech
Waloszek, Michał Zawadzki
Inference Mechanisms for Knowledge Management
System in E-health Environment
RAD Tool for Object Code Generation: A Case Study
Krzysztof Dorosz, Sebastian
Gurgul
Open Source - Ideology or Methodology?
ATG 2.0: the platform for automatic generation of
trainings simulations
Marcin Szpyrka
Development of Safety-Critical Systems with RTPCnet Support
Błażej Pietrzak, Bartosz Walter Exploring bad code smells dependencies
Grzegorz Rogus, Tomasz
Szmuc
KKIO VIII
Modeling and verification of reactive software using
LOTOS
oraz
ZAKOŃCZENIE / CLOSING