Регистрация | Вход в службу | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

leonardo library [1705 articles]

Статьи, недавно добавленные в библиотеку leonardo .
  • Polyphony in Architecture
    icse, Vol. 0 (2004), pp. 533-542.
    by Bas van der Raadt, Jasper Soetendal, Michiel Perdeck, Hans van Vliet
    posted to _marcia 2004 by leonardo on 2008-07-22 19:26:23 as **
  • Completeness of ASM Refinement
    Electronic Notes in Theoretical Computer Science, Vol. 214 (28 June 2008), pp. 25-49.
    by Gerhard Schellhorn
    posted to no-tag by leonardo on 2008-07-22 18:33:12 as **
  • An aspect-oriented methodology for designing secure applications
    Information and Software Technology, Vol. In Press, Corrected Proof
    by Geri Georg, Indrakshi Ray, Kyriakos Anastasakis, Behzad Bordbar, Manachai Toahchoodee, Siv H Houmb
    posted to no-tag by leonardo on 2008-07-22 18:32:55 as **
  • General Refinement, Part Two: Flexible Refinement
    Electronic Notes in Theoretical Computer Science, Vol. 214 (28 June 2008), pp. 309-329.
    by Steve Reeves, David Streader
    posted to no-tag by leonardo on 2008-07-22 18:29:31 as **
  • Copying Subgraphs Within Model Repositories
    Electronic Notes in Theoretical Computer Science, Vol. 211 (28 April 2008), pp. 133-145.
    by Pieter Van Gorp, Hans Schippers, Dirk Janssens
    posted to no-tag by leonardo on 2008-07-22 18:23:57 as **
  • Experimenting Formal Proofs of Petri Nets Refinements
    Electronic Notes in Theoretical Computer Science, Vol. 214 (28 June 2008), pp. 231-254.
    by Christine Choppy, Micaela Mayero, Laure Petrucci
    posted to no-tag by leonardo on 2008-07-22 18:21:39 as **
  • General Refinement, Part One: Interfaces, Determinism and Special Refinement
    Electronic Notes in Theoretical Computer Science, Vol. 214 (28 June 2008), pp. 277-307.
    by Steve Reeves, David Streader
    posted to no-tag by leonardo on 2008-07-22 18:16:25 as **
  • Alloy as a Refactoring Checker?
    Electronic Notes in Theoretical Computer Science, Vol. 214 (28 June 2008), pp. 331-357.
    by H-Christian Estler, Heike Wehrheim
    posted to refactoring _hardcopy checker alloy 2008 by leonardo on 2008-07-22 18:12:01 as *****
  • Linking Event-B and Concurrent Object-Oriented Programs
    Electronic Notes in Theoretical Computer Science, Vol. 214 (28 June 2008), pp. 159-182.
    by Andrew Edmunds, Michael Butler
    posted to no-tag by leonardo on 2008-07-22 18:09:53 as **
  • Automated traceability analysis for UML model refinements
    Information and Software Technology, Vol. In Press, Corrected Proof (2008)
    by Lionel C Briand, Yvan Labiche, Tao Yue
    posted to no-tag by leonardo on 2008-07-22 18:09:18 as **
  • The role of modelling in achieving information systems success: UML to the rescue?
    Information Systems Journal, Vol. 9999, No. 9999. (2008)
    by Tor J Larsen, Fred Niederman, Moez Limayem, Joyce Chan
    posted to no-tag by leonardo on 2008-07-21 16:37:00 as **
  • A Scalable Multilevel Algorithm for Graph Clustering and Community Structure Detection
    Algorithms and Models for the Web-Graph (2008), pp. 117-128.
    by Hristo Djidjev
    posted to no-tag by leonardo on 2008-07-21 16:23:04 as **
  • Specification and Verification of Multi-agent Systems Interaction Protocols Using a Combination of AUML and Event B
    Interactive Systems. Design, Specification, and Verification (2008), pp. 102-107.
    by Jemni, Fatma Siala
    posted to no-tag by leonardo on 2008-07-19 13:33:23 as **
  • Addressing Cross-Tool Semantic Ambiguities in Behavior Modeling for Vehicle Motion Control
    Model-Driven Development of Reliable Automotive Services (2008), pp. 15-33.
    by Sandeep Neema, Sushil Birla, Shige Wang, Tripti Saxena
    posted to no-tag by leonardo on 2008-07-19 13:29:11 as **
  • Towards Verification of Model Transformations Via Goal-Directed Certification
    Model-Driven Development of Reliable Automotive Services (2008), pp. 67-83.
    by Gabor Karsai, Anantha Narayanan
    posted to no-tag by leonardo on 2008-07-19 13:27:30 as **
  • An Extensible Meta-Model for Program Analysis
    Software Engineering, IEEE Transactions on, Vol. 33, No. 9. (2007), pp. 592-607.
    by D Strein, R Lincke, J Lundberg, W Lowe
    posted to no-tag by leonardo on 2008-07-19 11:35:28 as **
  • Evaluating formal properties of feature diagram languages
    Software, IET, Vol. 2, No. 3. (2008), pp. 281-302.
    by P Heymans, PY Schobbens, JC Trigaux, Y Bontemps, R Matulevicius, A Classen
    posted to no-tag by leonardo on 2008-07-19 11:33:32 as **
  • Formalising model transformation rules for UML/MOF 2
    Software, IET, Vol. 2, No. 3. (2008), pp. 204-222.
    by C Amelunxen, A Schurr
    posted to no-tag by leonardo on 2008-07-19 11:33:29 as **
  • Extending grammars and metamodels for reuse: the Reuseware approach
    Software, IET, Vol. 2, No. 3. (2008), pp. 165-184.
    by J Henriksson, F Heidenreich, J Johannes, S Zschaler, U Assmann
    posted to no-tag by leonardo on 2008-07-19 11:31:54 as **
  • Formal methods: promises and problems
    Software, IEEE, Vol. 14, No. 1. (1997), pp. 73-85.
    by Luqi, JA Goguen
    posted to no-tag by leonardo on 2008-07-19 11:25:13 as **
  • Recursive design of an application-independent architecture
    Software, IEEE, Vol. 14, No. 1. (1997), pp. 61-72.
    by S Shlaer, S Mellor
    posted to _marcia 1997 by leonardo on 2008-07-19 11:24:34 as **
  • Using patterns to improve our architectural vision
    Software, IEEE, Vol. 14, No. 1. (1997), pp. 53-59.
    by NL Kerth, W Cunningham
    posted to software_architecture patterns _marcia 2008 by leonardo on 2008-07-19 11:15:17 as ** along with 2 people peterheng klinsz
  • Architectural styles, design patterns, and objects
    Software, IEEE, Vol. 14, No. 1. (1997), pp. 43-52.
    by RT Monroe, A Kompanek, R Melton, D Garlan
    posted to no-tag by leonardo on 2008-07-19 11:13:20 as ** along with 2 people peterheng klinsz
  • Idioms and patterns as architectural literature
    Software, IEEE, Vol. 14, No. 1. (1997), pp. 36-42.
    by JO Coplien
    posted to software_architecture patterns _marcia idioms 1997 by leonardo on 2008-07-19 11:11:19 as ** along with 2 people peterheng klinsz
  • Bridging the Gap between Systems Design
    sew, Vol. 00 (2005), pp. 34-46.
    by David Garlan, William K Reinholtz, Bradley Schmerl, Nicholas D Sherman, Tony Tseng
    posted to _marcia by leonardo on 2008-07-19 01:10:46 as **
  • Model-Driven Engineering for Requirements Analysis
    Enterprise Distributed Object Computing Conference, 2007. EDOC 2007. 11th IEEE International (2007), pp. 459-459.
    by B Baudry, C Nebut, Y Le Traon
    posted to _marcia by leonardo on 2008-07-19 01:09:39 as ** along with 1 person and 1 group jago Software-Architecture
  • Architecture Knowledge Management: Challenges, Approaches, and Tools
    Software Engineering - Companion, 2007. ICSE 2007 Companion. 29th International Conference on (2007), pp. 170-171.
    by Muhammad A Babar, Ian Gorton
    posted to no-tag by leonardo on 2008-07-19 00:53:46 as ** along with 1 person and 1 group germoglio Software-Architecture
  • Reliable UML Models and Profiles
    Electronic Notes in Theoretical Computer Science, Vol. 217 (21 July 2008), pp. 203-220.
    by Kirsten Berkenkötter
    posted to _marcia by leonardo on 2008-07-18 15:22:50 as **
  • A survey of approaches to automatic schema matching
    VLDB Journal, Vol. 10, No. 10. (2001), pp. 200-1.
    by Erhard Rahm, Philip A Bernstein
    posted to no-tag by leonardo on 2008-07-14 11:57:15 as **
  • On indexing in the Web of Science and predicting journal impact factor
    Journal of Zhejiang University - Science B, Vol. 9, No. 7. (1 July 2008), pp. 582-590.
    by Xiu F Wu, Qiang Fu, Ronald Rousseau
    posted to no-tag by leonardo on 2008-07-07 15:04:58 as * along with 1 person kharke
  • From the How to the What
    Verified Software: Theories, Tools, Experiments (2008), pp. 448-459.
    by Tiziana Margaria, Bernhard Steffen
    posted to no-tag by leonardo on 2008-07-04 15:44:45 as **
  • Analysing Graph Transformation Rules through OCL
    Theory and Practice of Model Transformations (2008), pp. 229-244.
    by Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara
    posted to no-tag by leonardo on 2008-07-04 15:39:09 as **
  • Live Model Transformations Driven by Incremental Pattern Matching
    Theory and Practice of Model Transformations (2008), pp. 107-121.
    by István Ráth, Gábor Bergmann, András Ökrös, Dániel Varró
    posted to no-tag by leonardo on 2008-07-04 15:38:52 as **
  • Proofs-as-Model-Transformations
    Theory and Practice of Model Transformations (2008), pp. 214-228.
    by Iman Poernomo
    posted to no-tag by leonardo on 2008-07-04 15:37:22 as ****
  • Transformations Have to be Developed ReST Assured
    Theory and Practice of Model Transformations (2008), pp. 1-15.
    by Mika Siikarla, Markku Laitkorpi, Petri Selonen, Tarja Systä
    posted to no-tag by leonardo on 2008-07-04 15:35:51 as **
  • Approaches for Model Transformation Reuse: Factorization and Composition
    Theory and Practice of Model Transformations (2008), pp. 168-182.
    by Sánchez, García
    posted to no-tag by leonardo on 2008-07-04 15:33:27 as **
  • Macro-level Traceability Via Media Transformations
    Requirements Engineering: Foundation for Software Quality (2008), pp. 129-134.
    by Orlena Gotel, Stephen Morris
    posted to no-tag by leonardo on 2008-07-04 15:33:17 as **
  • Scalable Software Model Checking Using Design for Verification
    Verified Software: Theories, Tools, Experiments (2008), pp. 337-346.
    by Tevfik Bultan, Aysu B Can
    posted to no-tag by leonardo on 2008-07-04 15:32:39 as **
  • Translation of QVT Relations into QVT Operational Mappings
    Theory and Practice of Model Transformations (2008), pp. 137-151.
    by Raphael Romeikat, Stephan Roser, Pascal Müllender, Bernhard Bauer
    posted to no-tag by leonardo on 2008-07-04 15:31:33 as **
  • Model-Checking Software Using Precise Abstractions
    Verified Software: Theories, Tools, Experiments (2008), pp. 347-353.
    by Marsha Chechik, Arie Gurfinkel
    posted to no-tag by leonardo on 2008-07-04 15:30:21 as **
  • Some Interdisciplinary Observations about Getting the “Right” Specification
    Verified Software: Theories, Tools, Experiments (2008), pp. 64-69.
    by Cliff Jones
    posted to no-tag by leonardo on 2008-07-04 15:29:02 as **
  • Methods and Tools for Formal Software Engineering
    Verified Software: Theories, Tools, Experiments (2008), pp. 31-41.
    by Zhiming Liu, R Venkatesh
    posted to no-tag by leonardo on 2008-07-04 15:28:54 as **
  • Verified Software: Theories, Tools, Experiments Vision of a Grand Challenge Project
    Verified Software: Theories, Tools, Experiments (2008), pp. 1-18.
    by Tony Hoare, Jay Misra
    posted to verified_software _to_download_springer grand_challenge 2008 by leonardo on 2008-07-04 15:07:56 as **
  • Transforming Process Algebra Models into UML State Machines: Bridging a Semantic Gap?
    Theory and Practice of Model Transformations (2008), pp. 61-75.
    by M van Amstel, M van den Brand, Z Protić, T Verhoeff
    posted to uml transformation _to_download_springer statecharts process_algebra 2008 by leonardo on 2008-07-04 14:27:26 as *****
  • Modular Functional Descriptions
    Electronic Notes in Theoretical Computer Science, Vol. 215 (29 June 2008), pp. 23-38.
    by Bernhard Schätz
    posted to statecharts 2008 by leonardo on 2008-07-04 14:21:31 as **
  • A methodology for the selection of requirements engineering techniques
    Software and Systems Modeling, Vol. 7, No. 3. (July 2008), pp. 303-328.
    by Li Jiang, Armin Eberlein, Behrouz Far, Majid Mousavi
    posted to requirements _marcia 2008 by leonardo on 2008-07-04 11:29:03 as ** along with 1 person francoisl
  • Generating instance models from meta models
    Software and Systems Modeling (2009)
    by Karsten Ehrig, Jochen Küster, Gabriele Taentzer
    posted to metamodel instance_model 2009 by leonardo on 2008-07-04 11:06:35 as ** along with 1 person francoisl
  • Correctly defined concrete syntax
    Software and Systems Modeling (2009)
    by Thomas Baar
    posted to concrete_syntax 2009 by leonardo on 2008-07-04 11:05:32 as **
  • Towards the efficient development of model transformations using model weaving and matching transformations
    Software and Systems Modeling (2009)
    by Didonet, Patrick Valduriez
    posted to model_transformation 2009 by leonardo on 2008-07-04 11:04:18 as ** along with 1 person francoisl
  • Static evaluation of software architectures
    Software Maintenance and Reengineering, 2006. CSMR 2006. Proceedings of the 10th European Conference on, Vol. 00 (2006), 10 pp..
    by J Knodel, M Lindvall, D Muthig, M Naab
    posted to _marcia by leonardo on 2008-07-02 16:44:38 as ** along with 1 person arsyed
    • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/user/leonardo

    Result page: 1 2 3 4 5 6 7 8 9 10 Next RIS BibTeX RSS
    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.