. "Component Boxing Model;Portal;University Information System"@en . "Developers used very similar ideas for designing single-purpose web information systems. Similar sort of problems, provided e.g. by user authorization system, users evidence, audit, multilingualism or elimination of users' non-linear techniques in the system, had to solved over and over again. Therefore, at the end of 2001, some developers decided to carry out a complete revision of technologies utilized in developing Faculty and University Information System and developed a set of parametric methods suitable for all these systems. This still increasing set of methods was named (in a rather boasting way) the Theory of Web Information Systems. The newly re-developed University Information System (UIS) of MUAF in Brno was then modified so that it exploited the results of this theory to the utmost. At present, our goal is to formalize this theory by a mathematical model and prove the correctness of the described methods. This poster gives an account of our current results and outlines further plans for f" . "Model skl\u00E1d\u00E1n\u00ED komponent jako technologie pro tvorbu port\u00E1l\u016F"@cs . . "43110" . . "520;523" . "2004-06-29+02:00"^^ . "4"^^ . . . "Moty\u010Dka, Arno\u0161t" . "Bled" . . . "558417" . "University of Ljubljana, Faculty of Computer and Information Science" . "Z(MSM 431100007)" . . "Developers used very similar ideas for designing single-purpose web information systems. Similar sort of problems, provided e.g. by user authorization system, users evidence, audit, multilingualism or elimination of users' non-linear techniques in the system, had to solved over and over again. Therefore, at the end of 2001, some developers decided to carry out a complete revision of technologies utilized in developing Faculty and University Information System and developed a set of parametric methods suitable for all these systems. This still increasing set of methods was named (in a rather boasting way) the Theory of Web Information Systems. The newly re-developed University Information System (UIS) of MUAF in Brno was then modified so that it exploited the results of this theory to the utmost. At present, our goal is to formalize this theory by a mathematical model and prove the correctness of the described methods. This poster gives an account of our current results and outlines further plans for f"@en . "Ljubljana" . . . "RIV/62156489:43110/04:00000180" . "3"^^ . "\u010Cl\u00E1nek popisuje model skl\u00E1d\u00E1n\u00ED komponent jako technologii pro tvorbu port\u00E1l\u016F."@cs . "961-6209-46-9" . . . "\u0160orm, Milan" . "Component boxing model as technology for building portals"@en . . . "[25566335E886]" . "3"^^ . "Component boxing model as technology for building portals"@en . . "Netrefov\u00E1, Hana" . "Component boxing model as technology for building portals" . . "RIV/62156489:43110/04:00000180!RIV/2005/MSM/431105/N" . "IT Innovation in a Changing World. Proceedings of the 10th International Conference of European University Information Systems" . "Component boxing model as technology for building portals" . . "Model skl\u00E1d\u00E1n\u00ED komponent jako technologie pro tvorbu port\u00E1l\u016F"@cs . .