This book presents the proceedings of the 32nd Conference on Current Trends in Theory and Practice of Computer Science, held in Merin, Czech Republic. The 45 revised full papers, presented together with 10 invited contributions were carefully reviewed and selected from 157 submissions. The papers were organized in four topical tracks on computer science foundations, wireless, mobile, ad hoc and sensor networks, database technologies, and semantic Web technologies.On the one hand, to verify the refinement conditions we can translate the UML diagram back to Object-Z using already developed ... Description: In the refinements we have analyzed so far the abstract and concrete classes have been conformal, i.e., here has been a 1-1 ... Example: the flight booking system specified in the schema BookingSystemD in figure 3 records a sequence of flights which can beanbsp;...
|Title||:||SOFSEM 2006: Theory and Practice of Computer Science|
|Author||:||Jirí Wiedermann, Gerard Tel, Jaroslav Pokorný, Mária Bieliková, Július Štuller|
|Publisher||:||Springer - 2005-12-18|