International Conference on 
																		
																

Principles of Information Technology and Applications (PITA'08)

																

																		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