Register | Log in | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

leonardo's 2007 [148 articles]

Recent papers added to leonardo's library classified by the tag 2007. You can also see everyone's 2007.
  • Formal proof of a program: Find
    Science of Computer Programming, Vol. 64, No. 3. (1 February 2007), pp. 332-340.
    by Jean C Filliâtre
    posted to 2007 formal proof by leonardo on 2008-06-29 17:10:04 as **
  • An UML-Based Approach for Validation of Software Architecture Descriptions
    Trends in Enterprise Application Architecture (2007), pp. 158-171.
    by Mohamed Kacem, Mohamed Jmaiel, Ahmed Kacem, Khalil Drira
    posted to 2007 _marcia software_architecture _to_download_springer uml validation by leonardo on 2008-05-05 13:19:56 as *** along with 3 people marcia buchgeher robertlischke
  • Efficient Analysis of DynAlloy Specifications
    ACM Trans. Softw. Eng. Methodol., Vol. 17, No. 1. (December 2007), pp. 1-34.
    by Marcelo Frias, Carlos L Pombo, Juan P Galeotti, Nazareno Aguirre
    posted to analysis alloy 2007 by leonardo on 2008-04-23 13:32:15 as **** along with 1 person newdawn
  • Modelchecking Correctness of Refactorings - Some Experiments
    Electronic Notes in Theoretical Computer Science, Vol. 187 (15 July 2007), pp. 3-17.
    by Christian H Estler, Thomas Ruhroth, Heike Wehrheim
    posted to 2007 _hardcopy model_checking refactoring by leonardo on 2008-04-21 19:02:44 as **
  • Modular typestate checking of aliased objects
    OOPSLA '07 (2007), pp. 301-320.
    by Kevin Bierhoff, Jonathan Aldrich
    posted to 2007 statecharts by leonardo on 2008-04-20 18:59:04 as **
  • A Formal Model for the Building of State Machines: A Lightweight Approach
    Software Engineering Workshop, 2007. SEW 2007. 31st IEEE (2007), pp. 194-203.
    by Fernando V Barajas
    posted to statecharts alloy _hardcopy 2007 by leonardo on 2008-02-26 00:15:07 as *****
  • Towards a taxonomy of software change
    Journal of Software Maintenance and Evolution: Research and Practice, Vol. 17, No. 5. (2005), pp. 309-332.
    by Jim Buckley, Tom Mens, Matthias Zenger, Awais Rashid, Günter Kniesel
    posted to 2007 _paper_2 taxonomy transformation by leonardo on 2008-02-25 13:53:12 as **** along with 1 person jpbernardy
  • Formal Derivation of Object-Oriented Designs
    (2007)
    by Timothy Mccomb
    posted to 2007 bibtex-import formal_derivation ood thesis _to_download by leonardo on 2008-02-25 12:32:08 as ****
  • Test synthesis from UML models of distributed software
    Software Engineering, IEEE Transactions on, Vol. 33, No. 4. (2007), pp. 252-269.
    by Simon Pickin, Claude Jard, Thierry Jéron, Jean M Jézéquel, Yves Le Traon
    posted to 2007 statecharts tests uml by leonardo on 2008-01-03 23:07:59 as ***
  • Fixing Inconsistencies in UML Design Models
    (2007), pp. 292-301.
    by Alexander Egyed
    posted to 2007 inconsistency uml by leonardo on 2007-12-31 15:55:51 as ** along with 1 person pegah
  • Model-driven Development of Complex Software: A Research Roadmap
    (2007), pp. 37-54.
    by Robert France, Bernhard Rumpe
    posted to roadmap mdd _marcia 2007 by leonardo on 2007-12-31 15:54:47 as *** along with 4 people paulampkelly marcia RalfMitschke snyder84
  • A Systematic Approach to Domain-Specific Language Design Using UML
    (2007), pp. 2-9.
    by Bran Selic
    posted to 2007 _marcia uml by leonardo on 2007-12-31 15:53:38 as ** along with 2 people and 1 group JavaJoe francoisl modeling
  • Matching and merging of statecharts specifications
    Software Engineering, 2007. ICSE 2007. 29th International Conference on (2007), pp. 54-63.
    by Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Steve Easterbrook, Pamela Zave
    posted to 2007 merging statecharts _to_print by leonardo on 2007-12-31 15:29:53 as ** along with 1 person and 1 group gsaval PReCISE
  • Program Refactoring, Program Synthesis, and Model-Driven Development
    Compiler Construction (2007), pp. 156-171.
    by Don Batory
    posted to 2007 mdd refactoring _to_download_springer by leonardo on 2007-12-18 16:14:46 as **** along with 1 person jpbernardy
  • Verifying UML Diagrams with Model Checking: A Rewriting Logic Based Approach
    Quality Software, 2007. QSIC '07. Seventh International Conference on (2007), pp. 356-362.
    by Farid Mokhati, Patrice Gagnon, Mourad Badri
    posted to 2007 model_checking rewriting uml by leonardo on 2007-12-18 16:05:45 as **
  • USE: A UML-based specification environment for validating UML and OCL
    Science of Computer Programming, Vol. 69, No. 1-3. (1 December 2007), pp. 27-34.
    by Martin Gogolla, Fabian Buttner, Mark Richters
    posted to 2007 ocl uml validation by leonardo on 2007-12-18 16:01:52 as ** along with 1 person gjuggler
  • A Taxonomy of Asymmetric Requirements Aspects
    Early Aspects: Current Challenges and Future Directions (2007), pp. 1-18.
    by Nan Niu, Steve Easterbrook, Yijun Yu
    posted to 2007 aspects _marcia requirements taxonomy by leonardo on 2007-12-16 02:10:43 as * along with 1 person marcia
  • An Expressive Aspect Composition Language for UML State Diagrams
    Model Driven Engineering Languages and Systems (2007), pp. 514-528.
    by Jon Whittle, Ana Moreira, Jo, Praveen Jayaraman, Ahmed Elkhodary, Rasheed Rabbi
    posted to 2007 aspects composition statecharts _to_download_springer uml by leonardo on 2007-12-09 19:29:17 as ***
  • On the Correctness of Model Transformations in the Development of Embedded Systems
    Composition of Embedded Systems. Scientific and Industrial Issues (2007), pp. 1-18.
    by Gábor Karsai, Anantha Narayanan
    posted to 2007 embedded_system model_transformation _to_download_springer by leonardo on 2007-12-08 01:54:43 as ****
  • Abstract State Machines for the Classroom
    Logics of Specification Languages (2008), pp. 15-46.
    by Wolfgang Reisig
    posted to 2007 asm classroom _to_download_springer by leonardo on 2007-12-07 10:53:07 as ****
  • New Mutations for Evaluation of Specification and Implementation Levels of Adequacy in Testing of Statecharts Models
    Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION, 2007. TAICPART-MUTATION 2007 (2007), pp. 151-160.
    by Mark Trakhtenbrot
    posted to 2007 mutations statecharts test by leonardo on 2007-12-05 23:08:03 as ***
  • Visualizing Formalisms with ORM Models
    On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops (2007), pp. 709-718.
    by S Overbeek, P van Bommel, H Proper, D Rijsenbrij
    posted to 2007 statecharts _to_download_springer visualization by leonardo on 2007-12-01 16:42:32 as **
  • A Survey on Continuous Time Computations
    New Computational Paradigms (2008), pp. 383-423.
    by Olivier Bournez, Manuel Campagnolo
    posted to 2007 _to_download_springer by leonardo on 2007-12-01 15:52:24 as **
  • Agile Elicitation of Semantic Goals by Wiki
    Web Information Systems Engineering – WISE 2007 Workshops (2007), pp. 248-259.
    by David Lambert, Stefania Galizia, John Domingue
    posted to 2007 goals _marcia requirements _to_download_springer wiki by leonardo on 2007-12-01 15:47:09 as ** along with 2 people jeffmcneill splzdnkl
  • Improving Interactive Systems Usability Using Formal Description Techniques: Application to HealthCare
    HCI and Usability for Medicine and Health Care (2007), pp. 21-40.
    by Philippe Palanque, Sandra Basnyat, David Navarre
    posted to 2007 formal_methods _to_download_springer by leonardo on 2007-12-01 14:56:04 as ***
  • Object-Oriented Structure Refinement - A Graph Transformational Approach
    Electronic Notes in Theoretical Computer Science, Vol. 187 (15 July 2007), pp. 145-159.
    by Xiaojian Liu, Zhiming Liu, Liang Zhao
    posted to 2007 graph_transformation refinement uml by leonardo on 2007-11-29 12:12:35 as ****
  • Integrating UML and Formal Methods
    Electronic Notes in Theoretical Computer Science, Vol. 184 (12 July 2007), pp. 97-112.
    by Rafael M Borges, Alexandre C Mota
    posted to 2007 formal_methods uml by leonardo on 2007-11-29 12:07:21 as *** along with 1 group SRG
  • Tools for support of automata-based programming
    Programming and Computer Software, Vol. 33, No. 6. (27 November 2007), pp. 343-355.
    by V Gurov, M Mazin, A Narvsky, A Shalyto
    posted to 2007 automata_based_programming statecharts tool uml by leonardo on 2007-11-28 21:06:39 as ****
  • Synthesis of Safe Message-Passing Systems
    FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science (2007), pp. 277-289.
    by Nicolas Baudru, Rémi Morin
    posted to 2007 msc safe_message_passing _to_download_springer by leonardo on 2007-11-28 21:03:44 as **
  • Aspects at the Right Time
    Transactions on Aspect-Oriented Software Development IV (2007), pp. 54-113.
    by Pablo Sánchez, Lidia Fuentes, Andrew Jackson, Siobhán Clarke
    posted to 2007 aspects _marcia by leonardo on 2007-11-27 18:24:44 as ** along with 1 person marcia
  • Mapping visual notations to MOF compliant models with QVT relations
    (2007), pp. 1037-1038.
    by Matthias Erche, Michael Wagner, Christian Hein
    posted to 2007 model_transformation mof qvt by leonardo on 2007-11-27 14:33:09 as *** along with 1 person paulampkelly
  • Creating and reconciling diagrams after executing model transformations
    Science of Computer Programming, Vol. 68, No. 3. (1 October 2007), pp. 155-178.
    by Marcus Alanen, Torbjörn Lundkvist, Ivan Porres
    posted to 2007 model_merging model_transformation by leonardo on 2007-11-27 13:25:46 as ***
  • Towards an automated test generation for the verification of model transformations
    (2007), pp. 998-1005.
    by Maher Lamari
    posted to 2007 mda model_transformation test verification by leonardo on 2007-11-27 13:19:57 as ** along with 1 person bb
  • A software framework for automated verification
    (2007), pp. 1031-1032.
    by Ivo Raedts, Marija Petkovic, Alexander Serebrenik, Jan M van der Werf, Lou Somers, Maarten Boote
    posted to 2007 model_verification by leonardo on 2007-11-27 12:57:14 as ***
  • Holistic testing with basic statecharts
    Vol. 106 (2007), pp. 91-100.
    by Fevzi Belli, Axel Hollmann
    edited by Wolf G Bleek, Henning Schwentner, Heinz Züllighoven, Wolf G Bleek, Henning Schwentner, Heinz Züllighoven
    posted to 2007 statecharts test _to_download by leonardo on 2007-11-25 19:45:52 as ***
  • Architectural Aspects in UML
    Model Driven Engineering Languages and Systems (2007), pp. 301-315.
    by Jon Oldevik, Øystein Haugen
    posted to 2007 aspects _marcia software_architecture uml by leonardo on 2007-11-23 16:35:08 as ** along with 1 person marcia
  • Testing for Refinement in CSP
    Formal Methods and Software Engineering (2007), pp. 151-170.
    by Ana Cavalcanti, Marie C Gaudel
    posted to 2007 csp refinement test by leonardo on 2007-11-20 17:15:04 as **** along with 1 person mishra_satish
  • Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)
    (11 June 2007)
    by Erich Grädel, Phokion G Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y Vardi, Yde Venema, Scott Weinstein
    posted to 2007 _book finite_model nopdf _to_download_springer by leonardo on 2007-11-16 14:36:55 as ** along with 3 people AbnerCYH masteraka JakubSzymanik
  • Modelling Distributed Systems (Texts in Theoretical Computer Science. An EATCS Series)
    (26 September 2007)
    by Wan Fokkink
    posted to 2007 _book distributed_systems nopdf _to_download_springer by leonardo on 2007-11-16 14:26:34 as ***
  • Model-Driven Architecture in Practice: A Software Production Environment Based on Conceptual Modeling
    (31 July 2007)
    by Oscar Pastor, Juan C Molina
    posted to 2007 _book _marcia mda _to_download_springer by leonardo on 2007-11-16 13:55:11 as **
  • Applying Model Transformation By-Example on Business Process Modeling Languages
    Advances in Conceptual Modeling – Foundations and Applications (2007), pp. 116-125.
    by Michael Strommer, Marion Murzek, Manuel Wimmer
    posted to 2007 by_example model_transformation by leonardo on 2007-11-15 22:13:20 as ***
  • Recursive Petri nets
    Acta Informatica, Vol. 44, No. 7. (10 December 2007), pp. 463-508.
    by Serge Haddad, Denis Poitrenaud
    posted to 2007 petrinets recursion by leonardo on 2007-11-15 22:10:12 as **
  • Pointcuts, advice, refinements, and collaborations: similarities, differences, and synergies
    Innovations in Systems and Software Engineering (2008)
    by Sven Apel, Christian Kästner, Martin Kuhlemann, Thomas Leich
    posted to 2007 aspects refinement synergy by leonardo on 2007-11-15 21:54:47 as **
  • Extending OCL to Ensure Model Transformations
    Advances in Conceptual Modeling – Foundations and Applications (2007), pp. 126-136.
    by François Lagarde, François Terrier, Charles André, Sébastien Gérard
    posted to 2007 model_transformation ocl by leonardo on 2007-11-15 21:32:09 as **
  • An Ontology for Requirements
    Advances in Conceptual Modeling – Foundations and Applications (2007), pp. 224-224.
    by John Mylopoulos, Ivan Jureta, Stéphane Faulkner
    posted to 2007 _marcia ontology requirements by leonardo on 2007-11-15 21:30:35 as ** along with 2 people asilva marcia
  • Agent Based Executable Conceptual Models Using i* and CASO
    Advances in Conceptual Modeling – Foundations and Applications (2007), pp. 276-285.
    by Aniruddha Dasgupta, Aneesh Krishna, Aditya Ghose
    posted to 2007 istar _marcia _to_download_springer by leonardo on 2007-11-15 00:44:13 as *
  • On the Adequacy of i* Models for Representing and Analyzing Software Architectures
    Advances in Conceptual Modeling – Foundations and Applications (2007), pp. 296-305.
    by Gemma Grau, Xavier Franch
    posted to 2007 istar _marcia _to_download_springer by leonardo on 2007-11-15 00:43:22 as ** along with 1 person marcia
  • Using Practitioners for Assessing the Understandability of UML Statechart Diagrams with Composite States
    Advances in Conceptual Modeling – Foundations and Applications (2007), pp. 213-222.
    by José, Marcela Genero, Sandro Morasca, Mario Piattini
    posted to 2007 experiment statecharts uml by leonardo on 2007-11-15 00:11:10 as ****
  • Developing State Diagrams Using a State Specialization Technique
    Advances in Conceptual Modeling – Foundations and Applications (2007), pp. 86-95.
    by Il Y Song, Ki Lee
    posted to 2007 refinement statecharts uml by leonardo on 2007-11-15 00:09:30 as *****
  • A Survey of UML Models to XML Schemas Transformations
    Web Information Systems Engineering – WISE 2007 (2007), pp. 184-195.
    by Eladio Domínguez, Jorge Lloret, Beatriz Pérez, Áurea Rodríguez, Ángel Rubio, María Zapata
    posted to 2007 model _to_download_springer transformation uml xml by leonardo on 2007-11-10 00:46:28 as * along with 1 person dagmar
    • Note: You may cite this page as: http://www.citeulike.org/user/leonardo/tag/2007

    Result page: 1 2 3 Next RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.