default search action
10. ISIM 2007: Hradec nad Moravicí, Czech Republic
- Jaroslav Zendulka:
Proceedings of the 10th International Conference on Information System Implementation and Modeling, Hradec nad Moravicí, Czech Republic, April 23-25, 2007. CEUR Workshop Proceedings 252, CEUR-WS.org 2007
Invited Paper
- Petr Hnetynka, Tomás Bures:
Advanced Features of Hierarchical Component Models.
Software Modeling and Techniques
- Dariusz Gall:
Transformations from EDOC to EJB by Composition of Mapping Operations. - Janis Silins:
Genomial Co-Design: An MDA-compliant Approach for Embedded Architectures. - Petr Weiss, Jaroslav Zendulka:
Modeling of Services and Service Collaboration in UML 2.0.
Software Architectures
- Petr Kroha, Mathias Kurth, Michael Fleischer:
Performance Comparison of Distributed Object Server Implementation. - Janis Osis, Erika Asnina, Andrejs Grave:
Formal Computation Independent Model of the Problem Domain within the MDA. - Marek Rychlý:
Component Model with Support of Mobile Architectures. - Otto Zeleznik, Zdenek Havlice:
Software Architectures for Real-time Embedded Applications for Broadcasting.
Formal Specifications
- Zbigniew Huzar, Grzegorz Loniewski:
Deriving Prototypes from UML 2.0 Sequence Diagrams.
Software Validation and Verification
- Bogumila Hnatkowska:
Verification of Good Design Style of UML Models.
Software Project Management
- Sárka Kvetonová, Zdenek Martinek:
The Unified Approach to Modeling of Software Project Management Processes.
Information Systems in Business Environment
- Anton Andrejko, Michal Barla, Mária Bieliková, Michal Tvarozek:
User Characteristics Acquisition from Logs with Semantics. - Marek Bober, Petr Saloun:
Adaptation of Navigation by the Modified Results of Full Scan Algorithm in Adaptive Hypermedia Systems. - Václav Snásel, Petr Gajdos, Hussam M. Dahwa Abdulla, Martin Polovincak:
Using Matrix Decompositions in Formal Concept Analysis.
Short Papers
- Gundars Alksnis:
The Analysis of UML State Machine Formal Checking Methods. - Antonio Folgueras Marcos, Ángel García-Crespo, Belén Ruíz-Mezcua:
The Art of Project Management: Key Adjustments Factors using Dynamic Techniques. - Ivan Pogarcic, Miro Francic, Vlatka Davidovic:
UML: Abstraction as a Criterion for Defining Class Diagrams and Object Diagrams.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.