sign in · help · news · about ·

BibSonomy :: user :: leonardo ::

tag user group author concept BibTeX key search:all search:leonardo

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(20)

<< < 1 > >>

Towards the Automated Verification of Semi-structured Documents
F. Weitl, M. Jaksic, and B. Freitag Data \& Knowledge Engineering (November 2008)
to 2009 _to_appear by leonardo on Feb 11, 2009, 8:47 PM
URL | DOI | BibTeX (0)
A Belief-theoretic Framework for the Collaborative Development and Integration of Para-consistent Conceptual Models
E. Bagheri, and A. Ghorbani Journal of Systems and Software (October 2008)
to 2009 _to_appear by leonardo on Feb 11, 2009, 8:11 PM
URL | DOI | BibTeX (0)
Bidirectional model transformations in QVT: semantic issues and open questions
Perdita Stevens Software and Systems Modeling (2009)
to model_transformation 2009 biderectional open_questions qvt _to_appear by leonardo on Feb 11, 2009, 8:10 PM
URL | DOI | BibTeX (0)
Unifying theories in ProofPower-Z
Marcel Oliveira, Ana Cavalcanti, and Jim Woodcock Formal Aspects of Computing (2009)
to 2009 utp z _to_appear circus by leonardo on Feb 11, 2009, 8:10 PM
URL | DOI | BibTeX (0)
Towards an integrated graph-based semantics for UML
Sabine Kuske, Martin Gogolla, Hans J. Kreowski, and Paul Ziemann Software and Systems Modeling (2009)
to 2009 graph semantics uml _to_appear by leonardo and 2 other users on Feb 11, 2009, 8:10 PM
URL | DOI | BibTeX (0)
Formalizing the structural semantics of domain-specific modeling languages
Ethan Jackson, and Janos Sztipanovits Software and Systems Modeling (2009)
to 2009 semantics domain_modeling _to_appear sos by leonardo and 2 other users on Feb 11, 2009, 8:10 PM
URL | DOI | BibTeX (0)
Redesign of UML class diagrams: a formal approach
Piotr Kosiuczenko Software and Systems Modeling (2009)
to 2009 formal_methods ocl uml _to_appear refactoring by leonardo and 1 other user on Feb 11, 2009, 8:10 PM
URL | DOI | BibTeX (0)
An aspect-oriented methodology for designing secure applications
Geri Georg, Indrakshi Ray, Kyriakos Anastasakis, Behzad Bordbar, Manachai Toahchoodee, and Siv H. Houmb Information and Software Technology (2009)
to 2009 _to_appear by leonardo and 1 other user on Feb 11, 2009, 8:09 PM
URL | DOI | BibTeX (0)
Incorporating message weights in UML-based analysis of behavioral dependencies in distributed systems
Vahid Garousi Software and Systems Modeling (2009)
to 2009 uml _to_appear by leonardo on Feb 11, 2009, 8:09 PM
URL | DOI | BibTeX (0)
Qualifying input test data for model transformations
Franck Fleurey, Benoit Baudry, Pierre A. Muller, and Yves Traon Software and Systems Modeling (2009)
to model_transformation 2009 model-based_testing metamodelling tests _to_appear by leonardo and 1 other user on Feb 11, 2009, 8:09 PM
URL | DOI | BibTeX (0)
Generating instance models from meta models
Karsten Ehrig, Jochen Küster, and Gabriele Taentzer Software and Systems Modeling (2009)
to 2009 instance_model metamodel _to_appear by leonardo and 1 other user on Feb 11, 2009, 8:09 PM
URL | DOI | BibTeX (0)
Towards the efficient development of model transformations using model weaving and matching transformations
Didonet, and Patrick Valduriez Software and Systems Modeling (2009)
to model_transformation 2009 model_matching _to_appear weaving by leonardo and 2 other users on Feb 11, 2009, 8:09 PM
URL | DOI | BibTeX (0)
Modularization of model transformations through a phasing mechanism
Jes'us Cuadrado, and Jes'us Molina Software and Systems Modeling (2009)
to model_transformation 2009 _to_appear by leonardo and 1 other user on Feb 11, 2009, 8:09 PM
URL | DOI | BibTeX (0)
Semantic inheritance in unifying theories of programming
Yifeng Chen Formal Aspects of Computing (2009)
to 2009 semantics utp inheritance _to_appear by leonardo on Feb 11, 2009, 8:09 PM
URL | DOI | BibTeX (0)
Reusing semi-specified behavior models in systems analysis and design
Iris R. Berger, Dov Dori, and Shmuel Katz Software and Systems Modeling (2009)
to 2009 _to_appear by leonardo on Feb 11, 2009, 8:09 PM
URL | DOI | BibTeX (0)
Model transformation by example using inductive logic programming
Zolt'an Balogh, and D'aniel Varr'o Software and Systems Modeling (2009)
to 2009 by_example model_tranformation _to_appear by leonardo on Feb 11, 2009, 8:09 PM
URL | DOI | BibTeX (0)
Nivel: a metamodelling language with a formal semantics
Timo Asikainen, and Tomi Männistö Software and Systems Modeling (2009)
to 2009 formal metamodelling semantics _to_appear by leonardo on Feb 11, 2009, 8:09 PM
URL | DOI | BibTeX (0)
On challenges of model transformation from UML to Alloy
Kyriakos Anastasakis, Behzad Bordbar, Geri Georg, and Indrakshi Ray Software and Systems Modeling (2009)
to model_transformation 2009 _hardcopy alloy uml _to_appear by leonardo on Feb 11, 2009, 8:09 PM
URL | DOI | BibTeX (0)
Automatic generation of basic behavior schemas from UML class diagrams
Manoli Albert, Jordi Cabot, Cristina G'omez, and Vicente Pelechano Software and Systems Modeling (2009)
to 2009 uml _to_appear by leonardo on Feb 11, 2009, 8:09 PM
URL | DOI | BibTeX (0)
Process mining: a two-step approach to balance between underfitting and overfitting
W. van der Aalst, V. Rubin, H. Verbeek, B. van Dongen, E. Kindler, and C. Günther Software and Systems Modeling (2009)
to 2009 csp _to_appear by leonardo on Feb 11, 2009, 8:09 PM
URL | DOI | BibTeX (0)

<< < 1 > >>publications per page: 5 10 20 50 100

a gripper