International Conference on
Principles of
Information Technology and Applications
(PITA'08)
Program
Tuesday - 2008-10-21
Attention: all the presentations in these sessions will be oral
Session 1:
Software Engineering
9:00-10:50, Room IX
1."Designing
new XML Based Multidimensional Messaging Interface for
the new XWarehouse Architecture"
Ahmed
Bahaa Farid, Prof. Ahmed Sharaf Aldin Ahmed, Prof.Yehia
Mostafa Helmy
2. "Dealing
with redundancies and dependencies in normalization of
XML data"
Tadeusz Pankowski,
Tomasz Pilka
3."Correctness
issues of UML Class and State Machine Models in the C#
Code Generation and Execution Framework"
Anna Derezinska, Romuald Pilitowski
4. "Separation
of crosscutting concerns at the design level: An
extension to the UML metamodel"
Adam
Przybylek
10:50- 11:20
Coffee break
Session 2:
Formal methods and numerical algorithms
11:20-13:00, Room
IX
1. "PAFSV:
A Process Algebraic Framework for SystemVerilog"
Ka Lok Man
2. "Distributed
Internet Systems Modeling Using TCPNs"
Tomasz
Rak, Slawomir Samolej
3. "Exact
difference schemes and difference schemes of arbitrary
order of approximation for heat conduction equations"
Magdalena Lapinska-Chrzczonowicz
4.
"Stability of the Difference
Schemes for Isentropic Gas Dynamics"
Agata
Kolodynska, Piotr Matus