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

Ключевое слово _to_download_springer [133 articles]

Recent papers classified by the tag _to_download_springer.
  • Concepts for Specifying Complex Graph Transformation Systems
    Graph Transformations (2004), pp. 96-111.
    by Boris Böhlen, Ulrike Ranger
    posted to _to_download_springer by leonardo on 2008-03-28 19:40:51 as **
  • Unification of the Models for Types, Classes and State Machines
    Object-Oriented Technologys (1998a), pp. 169-172.
    by Gary Daugherty
    posted to _to_download_springer by leonardo on 2008-01-15 13:51:05 as ***
  • The Reaction Algebra: A Formal Language for Event Correlation
    Pillars of Computer Science (2008), pp. 596-619.
    by César Sánchez, Matteo Slanina, Henny Sipma, Zohar Manna
    posted to _to_download_springer by leonardo on 2008-02-25 13:02:07 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
  • Towards Object-Oriented Graphs and Grammars
    Formal Methods for Open Object-Based Distributed Systems (2003), pp. 16-31.
    by Lüdtke, Leila Ribeiro
    posted to _no_doi _to_download_springer by leonardo on 2007-12-02 21:23:19 as **
  • The event-B Modelling Method: Concepts and Case Studies
    Logics of Specification Languages (2008), pp. 47-152.
    by Dominique Cansell, Dominique Méry
    posted to 2008 b _to_download_springer by leonardo on 2007-12-08 00:28:33 as ** along with 1 person and 1 group jhs06r Event-B
  • Tool Support for OCL and Related Formalisms – Needs and Trends
    Satellite Events at the MoDELS 2005 Conference (2006), pp. 1-9.
    by Thomas Baar, Dan Chiorean, Alexandre Correa, Martin Gogolla, Heinrich Hussmann, Octavian Patrascoiu, Peter Schmitt, Jos Warmer
    posted to _to_download_springer by leonardo on 2007-12-23 13:42:13 as **
  • On Refinement of Software Architectures
    Theoretical Aspects of Computing – ICTAC 2005 (2005), pp. 469-484.
    by Sun Meng, Luís S Barbosa, Zhang Naixiao
    posted to _to_download_springer by leonardo on 2008-03-13 18:52:57 as **
  • Model-Based Test Selection for Infinite-State Reactive Systems
    Formal Methods for Components and Objects (2007), pp. 47-69.
    by Bertrand Jeannet, Thierry Jéron, Vlad Rusu
    posted to _to_download_springer by leonardo on 2008-02-02 16:32:39 as **
  • OCL for (Meta-)Models in Multiple Application Domains
    Models in Software Engineering (2007), pp. 152-158.
    by Dan Chiorean, Birgit Demuth, Martin Gogolla, Jos Warmer
    posted to _to_download_springer by leonardo on 2008-01-24 19:27:19 as **
  • Formal Security Analysis with Interacting State Machines
    Computer Security — ESORICS 2002 (2002), pp. 212-229.
    by David von Oheimb, Volkmar Lotz
    posted to _to_download_springer by leonardo on 2008-02-02 16:38:15 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 **
  • Model Extraction Using Context Information
    Model Driven Engineering Languages and Systems (2006), pp. 380-394.
    by Lucio Duarte, Jeff Kramer, Sebastian Uchitel
    posted to _to_download_springer by leonardo on 2007-12-09 00:00:54 as **
  • Safety Patterns — The Key to Formal Specification of Safety Requirements
    Computer Safety, Reliability and Security (2001), pp. 176-189.
    by Friedemann Bitsch
    posted to _to_download_springer by leonardo on 2008-01-28 14:34:19 as **
  • Modeling and Testing Agent Systems Based on Statecharts
    Applying Formal Methods: Testing, Performance, and M/E-Commerce (2004), pp. 308-321.
    by Heui S Seo, Tadashi Araragi, Yong R Kwon
    posted to 2004 agents _no_doi statecharts test _to_download_springer by leonardo on 2007-12-02 21:09:43 as **
  • Formal Specification of Object-Oriented Meta-modelling
    Fundamental Approaches to Software Engineering (2000), pp. 193-207.
    by Gunnar Övergaard
    posted to _to_download_springer by leonardo on 2008-03-11 02:26:14 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 **
  • The Impact of Models in Software Development
    Mechanizing Mathematical Reasoning (2005), pp. 396-406.
    by Manfred Broy
    posted to _no_doi _to_download_springer by leonardo on 2008-03-12 22:44:31 as **
  • Interactive Verification of Statecharts
    Integration of Software Specification Techniques forApplications in Engineering (2004), pp. 355-373.
    by Andreas Thums, Gerhard Schellhorn, Frank Ortmeier, Wolfgang Reif
    posted to 2004 _no_doi statecharts _to_download_springer verification by leonardo on 2007-12-02 21:27:02 as ***
  • An OCL Semantics Specified with QVT
    Model Driven Engineering Languages and Systems (2006), pp. 661-675.
    by Slaviša Marković, Thomas Baar
    posted to 2006 ocl qvt _to_download_springer uml by leonardo on 2007-12-08 23:54:55 as ***
  • Logics of Specification Languages
    (13 November 2007)
    by Dines Bjørner, Martin Henson
    posted to 2008 language logics nopdf specification _to_download_springer by leonardo on 2007-12-08 00:49:58 as **
  • A Canonical Scheme for Model Composition
    Model Driven Architecture – Foundations and Applications (2006), pp. 346-360.
    by Jean Bézivin, Salim Bouzitouna, Marcos Del Fabro, Marie P Gervais, Frédéric Jouault, Dimitrios Kolovos, Ivan Kurtev, Richard F Paige
    posted to 2006 model_composition _to_download_springer by leonardo on 2007-11-27 13:28:01 as ***
  • AGG: A Graph Transformation Environment for Modeling and Validation of Software
    Applications of Graph Transformations with Industrial Relevance (2004), pp. 446-453.
    by Gabriele Taentzer
    posted to _no_doi _to_download_springer by leonardo on 2008-01-23 21:27:01 as **
  • On Extracting Static Semantics
    The Essence of Computation (2002), pp. 157-171.
    by John Hannan
    posted to 2002 _marcia static_semantics _to_download_springer by leonardo on 2008-03-10 01:32:12 as ****
  • Global and Communicating State Machine Models in Event Driven B: A Simple Railway Case Study
    ZB 2002:Formal Specification and Development in Z and B (2002), pp. 77-100.
    by Antonis Papatsaras, Bill Stoddart
    posted to _to_download_springer by leonardo on 2008-03-11 02:16:59 as **
  • Transformation from CIM to PIM: A Feature-Oriented Component-Based Approach
    Model Driven Engineering Languages and Systems (2005), pp. 248-263.
    by Wei Zhang, Hong Mei, Haiyan Zhao, Jie Yang
    posted to _marcia _to_download_springer by leonardo on 2008-03-12 14:23:17 as ** along with 3 people jomad010 hitwish marcia
  • Hierarchical Program Representation for Program Element Matching
    Intelligent Data Engineering and Automated Learning - IDEAL 2007 (2007), pp. 467-476.
    by Fernando Berzal, Juan C Cubero, Aída Jiménez
    posted to _to_download_springer by leonardo on 2007-12-08 02:00:49 as **
  • Z Logic and Its Applications
    Logics of Specification Languages (2008), pp. 489-596.
    by Martin Henson, Moshe Deutsch, Steve Reeves
    posted to 2008 _to_download_springer z by leonardo on 2007-12-08 00:39:47 as **
  • Total-Correctness Refinement for Sequential Reactive Systems
    Theorem Proving in Higher Order Logics (2000), pp. 320-337.
    by Paul Jackson
    posted to _to_download_springer by leonardo on 2007-12-12 21:30:47 as **
  • A Statechart Framework for Agent Roles that Captures Expertise and Learns Improved Behavior
    Formal Approaches to Agent-Based Systems (2002), pp. 28-36.
    by Bahram Kimiaghalam, Abdollah Homaifar, Albert Esterline
    posted to 2002 _no_doi _to_download_springer by leonardo on 2008-01-29 12:32:01 as ** along with 1 person chihchun_chen
  • Formal Verification of Autonomy Models
    Agent Technology from a Formal Perspective (2006), pp. 311-339.
    by Charles Pecheur, Reid Simmons, Peter Engrand
    posted to _to_download_springer by leonardo on 2008-03-10 00:18:09 as **
  • Automatic Program Generation from Formal Specifications using APTS
    Automatic Program Development (2008), pp. 93-113.
    by Elizabeth I Leonard, Constance L Heitmeyer
    posted to _to_download_springer by leonardo on 2008-01-21 14:59:46 as *
  • Supporting Disciplined Reuse and Evolution of UML Models
    The Unified Modeling Language. «UML»’98: Beyond the Notation (1999), pp. 378-392.
    by Tom Mens, Carine Lucas, Patrick Steyaert
    posted to _no_doi _to_download_springer by leonardo on 2008-01-09 18:32:19 as **
  • Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)
    (11 December 2003)
    by Klaus Schneider
    posted to 2003 reactive_systems verification _book _to_download_springer by leonardo on 2007-11-16 15:00:02 as ***
  • Graph Transformation Systems
    Fundamentals of Algebraic Graph Transformation (2006), pp. 37-71.
    posted to 2006 graph_transformation _to_download_springer by leonardo on 2007-12-08 00:41:41 as ***
  • Aspects for Synthesizing Applications by Refinement
    Software Reuse: Methods, Techniques and Tools (2004), pp. 115-126.
    by David Lesaint, George Papamargaritis
    posted to _no_doi _to_download_springer by leonardo on 2008-04-28 15:20:06 as **
  • notes Symbolic Execution and Model Checking for Testing
    Hardware and Software: Verification and Testing (2008), pp. 17-18.
    by Corina Păsăreanu, Willem Visser
    posted to _to_download_springer by leonardo on 2008-02-05 13:19:14 as ** along with 1 person xxxxxxxxxxx
  • How to Verify and Exploit a Refinement of Component-Based Systems
    Perspectives of Systems Informatics (2007), pp. 297-309.
    by Olga Kouchnarenko, Arnaud Lanoix
    posted to _to_download_springer by leonardo on 2007-12-12 21:37:10 as **
  • An Approach to Formalizing the Semantics of UML Statecharts
    Conceptual Modeling – ER 2004 (2004), pp. 753-765.
    by Xuede Zhan, Huaikou Miao
    posted to 2004 _no_doi semantics statecharts _to_download_springer uml by leonardo on 2007-12-02 21:18:26 as ****
  • Comparing generic state machines
    Computer Aided Verification (1992), pp. 466-476.
    by M Langevin, E Cerny
    posted to _to_download_springer by leonardo on 2008-04-08 16:07:36 as **
  • An MDA-Based Approach for Inferring Concurrency in Distributed Systems
    Scientific Engineering of Distributed Java Applications (2005), pp. 24-37.
    by Raul Silaghi, Alfred Strohmeier
    posted to _no_doi _to_download_springer by leonardo on 2008-03-11 02:05:32 as **
  • 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 ***
  • Manufacturing system modeling and performance evaluation based on improved stochastic statechart
    Frontiers of Mechanical Engineering in China, Vol. 2, No. 4. (23 October 2007), pp. 453-458.
    by Guojun Zhang, Jiabing He, Haiping Zhu, Xuan Chen
    posted to _to_download_springer by leonardo on 2007-12-09 19:04:06 as **
  • Introduction to Subject Area “Charts�?
    Integration of Software Specification Techniques forApplications in Engineering (2004), pp. 322-324.
    by Werner Damm, Bernd Westphal
    posted to _no_doi _to_download_springer by leonardo on 2007-12-02 21:25:50 as **
  • Generating Tests from EFSM Models Using Guided Model Checking and Iterated Search Refinement
    Formal Approaches to Software Testing and Runtime Verification (2006), pp. 85-99.
    by Juhan P Ernits, Andres Kull, Kullo Raiend, Jüri Vain
    posted to 2006 model_checking refinement statecharts test _to_download_springer by leonardo on 2007-11-26 12:18:23 as ***
  • Galois Connections and Fixed Point Calculus
    Algebraic and Coalgebraic Methods in the Mathematics of Program Construction (2002), pp. 89-150.
    by Roland Backhouse
    posted to _to_download_springer by leonardo on 2008-02-02 16:38:09 as ** along with 1 person Scis0000002
  • Applications of Hierarchical Verification in Model Checking
    Formal Methods in Computer-Aided Design (2000), pp. 1-19.
    by Robert Beers, Rajnish Ghughal, Mark Aagaard
    posted to _to_download_springer by leonardo on 2007-12-01 13:31:55 as **
  • Visualizing Early Aspects with Use Case Maps
    Transactions on Aspect-Oriented Software Development III (2007), pp. 105-143.
    by Gunter Mussbacher, Daniel Amyot, Michael Weiss
    posted to _to_download_springer by leonardo on 2007-12-01 15:51:25 as **
  • Connect with Things through Instant Messaging
    The Internet of Things (2008), pp. 276-288.
    by Jongmyung Choi, Chae W Yoo
    posted to _to_download_springer by leonardo on 2008-03-20 07:54:43 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 **
    • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/tag/_to_download_springer

    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.