新規登録 | ログイン | FAQ      [?] 
Recent | Recommended | Search | Authors | Tags | Export

Group: modeling - with tag bibtex-import [128 articles]

グループ modeling のメンバーが最近追加した論文の一覧 with tag bibtex-import
  • Software Process Engineering Metamodel (SPEM)
    Vol. formal/06-05-02
    by object M Group
    posted to bibtex-import by francoisl to the group modeling on 2007-09-21 09:41:17 as **
  • Model-based DSL Frameworks
    (2006), pp. 602-616.
    by Ivan Kurtev, Jean Bézivin, Frédéric Jouault, Patrick Valduriez
    posted to bibtex-import by francoisl to the group modeling on 2007-09-18 11:09:43 as **
  • UML Profile for Modeling and Analysis of Real-Time and Embedded Systems (MARTE)
    by object M Group
    posted to bibtex-import by francoisl to the group modeling on 2007-09-17 08:14:25 as **
  • Object Constraint Language (OCL)
    by object M Group
    posted to bibtex-import by francoisl to the group modeling on 2007-09-17 08:14:25 as **
  • UML Profile for Modeling Quality of Service and Fault Tolerance Characteristics and mechanisms
    by object M Group
    posted to bibtex-import by francoisl to the group modeling on 2007-09-17 08:14:25 as **
  • UML Profile for Schedulability, Performance and Time (SPT)
    by object M Group
    posted to bibtex-import by francoisl to the group modeling on 2007-09-17 08:14:25 as **
  • OMG home page
    by object M Group
    posted to bibtex-import by francoisl to the group modeling on 2007-09-17 08:14:25 as **
  • Systems Modeling Language (SysML)
    (2007)
    by object M Group
    posted to bibtex-import by francoisl to the group modeling on 2007-09-17 08:14:25 as ** along with 1 person HaraldBrandl
  • Unified Modeling Language, Superstructure
    by object M Group
    posted to bibtex-import by francoisl to the group modeling on 2007-09-17 08:14:25 as **
  • Domain-Specific Program Generation; International Seminar, Dagstuhl Castle
    No. 3016. (2004), pp. 19-29.
    by C Consel
    edited by C Lengauer, D Batory, C Consel, M Odersky
    posted to bibtex-import language by francoisl to the group modeling on 2007-08-30 09:23:35 as **
  • Domain-Specific Program Generation; International Seminar, Dagstuhl Castle
    No. 3016. (2004)
    by C Consel, L Réveillère
    edited by C Lengauer, D Batory, C Consel, M Odersky
    posted to bibtex-import by francoisl to the group modeling on 2007-06-20 14:05:15 as **
  • Processing Domain-Specific Modeling Languages: A Case Study in Telephony Services
    (October 2006)
    by F Latry, J Mercadal, C Consel
    posted to bibtex-import by francoisl to the group modeling on 2007-06-20 14:04:32 as **
  • Model-Driven Development: A Metamodeling Foundation
    IEEE Software, Vol. 20, No. 5. (2003), pp. 36-41.
    by Colin Atkinson, Thomas Kuhne
    posted to bibtex-import by francoisl to the group modeling on 2007-04-27 08:20:14 as **
  • Empirical assessment of using stereotypes to improve comprehension of UML models: A set of experiments.
    Journal of Systems and Software, Vol. 79, No. 5. (2006), pp. 727-742.
    by Miroslaw Staron, Ludwik Kuzniarz, Claes Wohlin
    posted to bibtex-import by francoisl to the group modeling on 2007-04-10 08:50:02 as **
  • Bridging MDA and OWL Ontologies.
    J. Web Eng., Vol. 4, No. 2. (2005), pp. 118-143.
    by Dragan Gasevic, Dragan Djuric, Vladan Devedzic
    posted to bibtex-import by francoisl to the group modeling on 2007-03-26 12:47:48 as **
  • Graph Transformation in a Nutshell
    No. 04101. (2005)
    by Reiko Heckel
    edited by Jean Bezivin, Reiko Heckel
    posted to bibtex-import by francoisl to the group modeling on 2007-02-26 13:38:58 as **
  • Could UML and Contract tackle heterogeneity?
    Symposium on Industrial Embedded Systems (October 2006)
    by François Lagarde, François Terrier, Charles André
    posted to bibtex-import by francoisl to the group modeling on 2006-12-07 13:36:09 as **
  • On Generalization and Overriding in UML 2.0
    (2004), pp. 1-15.
    by Fabian Büttner, Martin Gogolla
    edited by Octavian Patrascoiu
    posted to bibtex-import by francoisl to the group modeling on 2006-12-07 13:36:09 as **
  • Scheduling Algorithms for Real-Time Systems
    No. No. 2005-499. (2005)
    by Arezou Mohammadi, Selim G Akl
    posted to bibtex-import by francoisl to the group modeling on 2006-12-07 13:36:09 as **
  • Active Object: an Object Behavioral Pattern for Concurrent Programming
    Proc.Pattern Languages of Programs, (1995)
    by Greg R Lavender, Douglas C Schmidt
    posted to bibtex-import by francoisl to the group modeling on 2006-05-10 13:31:35 as **
  • Hierarchical Correctness Proofs for Distributed Algorithms
    (April 1987)
    by Mark R Tuttle
    posted to bibtex-import by francoisl to the group modeling on 2006-05-10 13:31:35 as **
  • Team Automata - A Formal Approach to the Modeling of Collaboration Between System Components
    (2003)
    by Ter MH Beek
    posted to bibtex-import by francoisl to the group modeling on 2006-05-10 13:31:34 as **
  • Embedded Software Composition and Verification
    No. ISIS-04-503. (2004)
    by P Volgyesi, M Maroti, S Dora, E Osses, A Ledeczi, T Paka
    posted to bibtex-import by francoisl to the group modeling on 2006-05-10 13:31:34 as **
  • Synchronous and Bidirectional Component Interfaces
    Vol. 2404 (2004), pp. 414-427.
    by Luca, Thomas A Henzinger, Freddy YC Mang
    posted to bibtex-import by francoisl to the group modeling on 2006-05-10 13:31:34 as **
  • Specifying Urgency in Timed I/O Automata
    (September 2005), pp. 64-73.
    by B Gebremichael, FW Vaandrager
    posted to bibtex-import by francoisl to the group modeling on 2006-05-10 13:31:34 as **
  • Timed Interfaces
    (2002)
    by Luca de Alfaro, Thomas A Henzinger, Marielle Stoelinga
    posted to bibtex-import by francoisl to the group modeling on 2006-05-10 13:31:34 as **
  • Formalisation des besoins à l'aide de schémas LSCs
    (2003)
    by Jeanine Souquières, Maritta Heisel
    posted to bibtex-import by francoisl to the group modeling on 2006-05-10 13:31:34 as **
  • Modèles d'intégration d'outils et de composants logiciel/matériel pour la conception des systèmes hétérogènes embarqués
    (May 2004)
    by Mohamed A Dziri
    posted to bibtex-import by francoisl to the group modeling on 2006-05-10 13:31:34 as **
  • Développement de composants Fractal adaptatifs : un langage dédié à l'aspect d'adaptation
    (July 2005)
    by Pierre C David
    posted to bibtex-import by francoisl to the group modeling on 2006-05-10 13:31:34 as **
  • Live sequence charts
    Formal verification of LSC's in the development process, No. 3147. (2004)
    by Matthias Brill, Ralf Buschermöhle, Werner Damm, Jochen Klose, Bernd Westphal, Hartmut Wittke
    posted to bibtex-import by francoisl to the group modeling on 2006-05-10 13:31:34 as **
  • MsPinky's Vinyl Tracking Object
    (Mars 2006)
    by Scott Wardle
    posted to bibtex-import by francoisl to the group modeling on 2006-05-10 13:31:34 as **
  • On Message Specification in OCL
    Compositional Verification in UML, Vol. 101 (2004), pp. 73-93.
    by Marcel Kyas, Frank S de Boer
    posted to bibtex-import by francoisl to the group modeling on 2006-05-10 13:31:34 as **
  • Towards an Engineering Approach to Component Adaptation
    No. CS-TR-939. (January 2006)
    by S Becker, A Brogi, I Gorton, S Overhage, A Romanovsky, M Tivoli
    posted to bibtex-import by francoisl to the group modeling on 2006-05-10 13:31:34 as **
  • Generating Adapters for Concurrent Component Protocol Synchronisation
    (mars 2002)
    by Heinz W Schmidt, Ralf H Reussner
    posted to bibtex-import by francoisl to the group modeling on 2006-05-10 13:31:34 as **
  • Protocol specifications and component adaptors
    ACM Trans. Program. Lang. Syst., Vol. 19, No. 2. (1997), pp. 292-333.
    by Daniel M Yellin, Robert E Strom
    posted to bibtex-import by francoisl to the group modeling on 2006-05-10 13:31:34 as **
  • Coupling simulink and UML models
    (2004)
    by Jozef Hooman, Nataliya Mulyar, Ladislau Posta
    posted to bibtex-import by francoisl to the group modeling on 2006-05-10 13:31:34 as **
  • A Semantics of Communicating Reactive Objects with Timing.
    (2006)
    by J Hooman, M van der Zwaag
    posted to bibtex-import by francoisl to the group modeling on 2006-05-10 13:31:34 as **
  • Integrating protocol aspects with software components to address dependability concerns
    (November 2004)
    by Südholt
    posted to bibtex-import by francoisl to the group modeling on 2006-05-10 13:31:34 as **
  • Interface Automata
    (2001)
    by Luca de Alfaro, Thomas A Henzinger
    posted to bibtex-import by francoisl to the group modeling on 2006-05-10 13:31:34 as **
  • Automated Module Composition
    TACAS (2003)
    by Stavros Tripakis
    posted to bibtex-import by francoisl to the group modeling on 2006-05-10 13:31:34 as **
  • Semantic Anchoring with Model Transformations
    Vol. 3748 / 2005 (November July-October 2005)
    by Kai Chen, Janos Sztipanovits, Sherif Abdelwalhed, Ethan Jackson
    posted to bibtex-import by francoisl to the group modeling on 2006-05-10 13:31:34 as **
  • Y lifecycle and simulation for the co-design of Real Time Systems, From UML to Ptolemy II simulation : a Model Transformation
    (may 2002)
    by Vincent Arnould, André Kramer
    posted to bibtex-import by francoisl to the group modeling on 2006-05-10 13:31:34 as **
  • Using Stereotypes of the Unified Modeling Language in Mechatronic Systems
    (October 2001), pp. 333-338.
    by T Heverhagen, R Tracht
    posted to bibtex-import by francoisl to the group modeling on 2006-05-10 13:31:34 as **
  • ConFract: un système pour contractualiser des composants logiciels hiérarchiques
    No. I3S/RR-2004-31-FR. (october 2004)
    by Philippe Collet, Roger Rousseau
    posted to bibtex-import by francoisl to the group modeling on 2006-05-10 13:31:34 as **
  • On Contracting Different Behavioral Properties in Component-Based Systems
    No. I3S/RR-2005-38-FR. (December 2005)
    by Philippe Collet, Alain Ozanne, Nicolas Rivierre
    posted to bibtex-import by francoisl to the group modeling on 2006-05-10 13:31:34 as **
  • Enforcing Different Contracts in Hierarchical Component-Based Systems
    No. I3S/RR-2005-39-FR. (December 2005)
    by Philippe Collet, Alain Ozanne, Nicolas Rivierre
    posted to bibtex-import by francoisl to the group modeling on 2006-05-10 13:31:34 as **
  • Employing OCL for specifying behavior compliance
    (September 2005)
    by Jiri Samek
    posted to bibtex-import by francoisl to the group modeling on 2006-05-10 13:31:34 as **
  • Model Based Software Engineering, Graph Grammars and Graph Transformations
    (March 2004)
    by Aditya Agrawal
    posted to bibtex-import by francoisl to the group modeling on 2006-05-10 13:31:34 as **
  • Semantic Translation of Simulink/Stateflow models to Hybrid Automata using Graph Transformations
    No. 109. (March 2004), pp. 43-56.
    by Aditya Agrawal, Gyula Simon, Gabor Karsai
    posted to bibtex-import by francoisl to the group modeling on 2006-05-10 13:31:34 as **
  • UML 2 Composition Model
    Journal of Object Technology, Vol. 3 (2004), pp. 47-73.
    by Conrad Bock
    posted to bibtex-import by francoisl to the group modeling on 2006-05-10 13:31:34 as **
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/group/2440/tag/bibtex-import

    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.