Refine your search

Your search returned 154 results.

Sort
Results
Heuristics on the definition of UML refinement patterns by Series: ^p Datos electrónicos (1 archivo : 205 KB)
Material type: Article Article; Literary form: Not fiction
Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

Formal foundations of object-oriented modeling notations by Series: ^p Datos electrónicos (1 archivo : 932 KB)
Material type: Article Article; Literary form: Not fiction
Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

Reasoning about the correctness of software development process by Series: ^p Datos electrónicos (1 archivo : 216 KB)
Material type: Article Article; Literary form: Not fiction
Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

A lightweight approach for the semantic validation of model refinements by Series: ^p Datos electrónicos (1 archivo : 297 KB)
Material type: Article Article; Literary form: Not fiction
Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

Practical verification strategy for refinement conditions in UML models by Series: ^p Datos electrónicos (1 archivo : 100 KB)
Material type: Article Article; Literary form: Not fiction
Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

An OCL-based technique for specifying and verifying refinement-oriented transformations in MDE by Series: ^p Datos electrónicos (1 archivo : 270 KB)
Material type: Article Article; Literary form: Not fiction
Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

Dependency relations between models in the unified process by Series: ^p Datos electrónicos (1 archivo : 691 KB)
Material type: Article Article; Literary form: Not fiction
Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

A formal approach to building a polymorphism metric in object-oriented systems by Series: ^p Datos electrónicos (1 archivo : 146 KB)
Material type: Article Article; Literary form: Not fiction
Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

A formal mechanism for assessing polymorphism in object-oriented systems by Series: ^p Datos electrónicos (1 archivo : 776 KB)
Material type: Article Article; Literary form: Not fiction
Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

Understanding refinement and specialization in the UML by Series: ^p Datos electrónicos (1 archivo : 197 KB)
Material type: Article Article; Literary form: Not fiction
Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

Basis for a course on design patterns : Going beyond the intuition by Series: ^p Datos electrónicos (1 archivo : 120 KB)
Material type: Article Article; Literary form: Not fiction
Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

A domain specific language for the development of collaborative systems by Series: ^p Datos electrónicos (1 archivo : 400 KB)
Material type: Article Article; Literary form: Not fiction
Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

Modeling parallel applications on mobile devices by
Material type: Article Article; Literary form: Not fiction
Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

An algebraic approach for composing model transformations in QVT by Series: ^p Datos electrónicos (1 archivo : 426 KB)
Material type: Article Article; Literary form: Not fiction
Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

Formal specification of software model evolution using contracts by Series: ^p Datos electrónicos (1 archivo : 496 KB)
Material type: Article Article; Literary form: Not fiction
Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

Formalizing the model transformation using metamodeling techniques by Series: ^p Datos electrónicos (1 archivo : 129 KB)
Material type: Article Article; Literary form: Not fiction
Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

Traceability across refinement steps in UML modeling by Series: ^p Datos electrónicos (1 archivo : 231 KB)
Material type: Article Article; Literary form: Not fiction
Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

Revealing undercover refinement in UML modeling by Series: ^p Datos electrónicos (1 archivo : 431 KB)
Material type: Article Article; Literary form: Not fiction
Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

Aplicando MDA al diseño de un datawarehouse temporal by
Material type: Article Article; Literary form: Not fiction
Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

Pages