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

(59)

<< < 1 | 2 | 3 > >>

A compositional semantics of UML-RSDS
Kevin Lano Software and Systems Modeling 8(1):85--116 (February 2009)
to 2009 semantics model\_transformation \_pdf uml by leonardo on Mar 10, 2009, 4:38 AM
URL | DOI | BibTeX (0)
Redesign of UML class diagrams: a formal approach
Piotr Kosiuczenko Software and Systems Modeling (2009)
to 2009 ocl formal\_methods \_pdf uml \_to\_appear refactoring by leonardo on Mar 10, 2009, 4:36 AM
URL | DOI | BibTeX (0)
Model checking action system refinements
Graeme Smith, and Kirsten Winter Formal Aspects of Computing 21(1-2):155--186 (February 2009)
to 2009 model\_checking refinement semantics \_pdf by leonardo on Mar 10, 2009, 4:36 AM
URL | DOI | BibTeX (0)
Semantic inheritance in unifying theories of programming
Yifeng Chen Formal Aspects of Computing (2009)
to 2009 semantics \_pdf utp inheritance \_to\_appear by leonardo on Mar 10, 2009, 4:36 AM
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 2009 metamodelling tests model-based\_testing model\_transformation \_pdf \_to\_appear by leonardo on Mar 10, 2009, 4:35 AM
URL | DOI | BibTeX (0)
A UTP semantics for Circus
Marcel Oliveira, Ana Cavalcanti, and Jim Woodcock Formal Aspects of Computing 21(1-2):3--32 (February 2009)
to 2009 refinement semantics \_pdf utp circus by leonardo on Mar 10, 2009, 4:34 AM
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 \_pdf \_to\_appear by leonardo on Mar 10, 2009, 4:32 AM
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 2009 \_hardcopy alloy model\_transformation \_pdf uml \_to\_appear by leonardo on Mar 10, 2009, 4:32 AM
URL | DOI | BibTeX (0)
CSP with Hierarchical State
Robert Colvin, and Ian Hayes (2009)
to 2009 \_pdf hierarchy csp by leonardo on Mar 10, 2009, 4:32 AM
URL | DOI | BibTeX (0)
Assessing the understandability of UML statechart diagrams with composite states—A family of empirical studies
José Cruz-Lemus, Marcela Genero, M. Manso, Sandro Morasca, and Mario Piattini Empirical Software Engineering (2009)
to 2009 statecharts \_pdf empirical uml \_to\_appear understandability by leonardo and 1 other user on Mar 10, 2009, 4:32 AM
URL | DOI | BibTeX (0)
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)
Using Formal Specifications to Support Testing
R. M. Hierons, K. Bogdanov, J. P. Bowen, R. Cleaveland, J. Derrick, J. Dick, M. Gheorghe, M. Harman, K. Kapoor, P. Krause, G. Luettgen, A. J. H. Simons, S. Vilkomir, M. R. Woodward, and H. Zedan ACM Computing Surveys (2008)
to 2009 formal_specification tests by leonardo on Feb 11, 2009, 8:14 PM
BibTeX (0)
A dynamic assertion-based verification platform for UML statecharts over rhapsody
A. Banerjee, S. Ray, P. Dasgupta, P. P. Chakrabarti, S. Ramesh, P. Vignesh, and V. Ganesan TENCON 2008 - 2008, TENCON 2008. IEEE Region 10 Conference, page 1--6. (2008)
to 2009 _to_download_ieee rhapsody statecharts uml by leonardo on Feb 11, 2009, 8:11 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)
Graph transformations for object-oriented refinement
Liang Zhao, Xiaojian Liu, Zhiming Liu, and Zongyan Qiu Formal Aspects of Computing 21(1-2):103--131 (February 2009)
to 2009 refinement graph_transformation object by leonardo and 1 other user on Feb 11, 2009, 8:10 PM
URL | DOI | BibTeX (0)
An analysis of the most cited articles in software engineering journals – 2002
C. Wohlin Information and Software Technology 51(1):2--6 (January 2009)
to 2009 citation writing by leonardo and 1 other user on Feb 11, 2009, 8:10 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)
Beautiful Architecture: Leading Thinkers Reveal the Hidden Beauty in Software Design
Diomidis Spinellis, and Georgios Gousios O'Reilly Media, Inc., (January 2009)
to 2009 _marcia _book by leonardo and 1 other user on Feb 11, 2009, 8:10 PM
URL | BibTeX (0)
Model checking action system refinements
Graeme Smith, and Kirsten Winter Formal Aspects of Computing 21(1-2):155--186 (February 2009)
to 2009 refinement semantics model_checking by leonardo and 1 other user on Feb 11, 2009, 8:10 PM
URL | DOI | BibTeX (0)
Adherence preserving refinement of trace-set properties in STAIRS: exemplified for information flow properties and policies
Fredrik Seehusen, Bjornar Solhaug, and Ketil Stolen Software and Systems Modeling 8(1):45--65 (February 2009)
to 2009 refinement by leonardo on Feb 11, 2009, 8:10 PM
URL | DOI | BibTeX (0)

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

a gripper