Dagstuhl Seminar Proceedings 06351

Methods for Modelling Software Systems (MMOSS)

E. Brinksma, D. Harel, A. Mader, P. Stevens, R. Wieringa (Eds.)

published by LZI
Host

ISSN  1862 - 4405

Dagstuhl Seminar 06351, 27.08. - 01.09.2006
Additional Information
Seminar Homepage
Copyright
Search Publication Server

Authors
  • Brinksma, Ed
  • Brunet, Greg
  • Cengarle, María Victoria
  • Chechik, Marsha
  • Fischbein, Dario
  • Fox, Jorge
  • Geisberger, Eva
  • Gogolla, Martin
  • Groote, Jan Friso
  • Grünbauer, Johannes
  • Harel, David
  • Jackson, Michael
  • Jezequel, Jean-Marc
  • Juerjens, Jan
  • Mader, Angelika
  • Mathijssen, Aad
  • Pastor, Óscar
  • Reniers, Michel
  • Schätz, Bernhard
  • Stevens, Perdita
  • Uchitel, Sebastian
  • Usenko, Yaroslav
  • Wieringa, Roel
  • van Weerdenburg, Muck
    		•

    		  
    06351 Abstracts Collection -- Methods for Modelling Software Systems (MMOSS)
    Authors: Brinksma, Ed ; Harel, David ; Mader, Angelika ; Stevens, Perdita ; Wieringa, Roel

    Abstract | Document (194 KB) | BibTeX

    06351 Summary -- Methods for Modelling Software Systems (MMOSS)
    Authors: Brinksma, Ed ; Harel, David ; Mader, Angelika ; Stevens, Perdita ; Wieringa, Roel

    Abstract | Document (79 KB) | BibTeX

    A Framework for Analyzing Composition of Security Aspects
    Authors: Fox, Jorge ; Juerjens, Jan

    Abstract | Document (584 KB) | BibTeX

    A Model-Based Approach To Requirements Analysis
    Authors: Schätz, Bernhard ; Geisberger, Eva ; Grünbauer, Johannes

    Abstract | Document (693 KB) | BibTeX

    A Taxonomy of Aspects in Terms of Crosscutting Concerns
    Authors: Fox, Jorge

    Abstract | Document (405 KB) | BibTeX

    Model Development in the UML-based Specification Environment (USE)
    Authors: Gogolla, Martin

    Abstract | Document (94 KB) | BibTeX

    Model Transformation Technologies in the Context of Modelling Software Systems
    Authors: Pastor, Óscar

    Abstract | Document (211 KB) | BibTeX

    Modeling and Aspect Weaving
    Authors: Jezequel, Jean-Marc

    Abstract | Document (933 KB) | BibTeX

    Partial Behavioural Models for Requirements and Early Design
    Authors: Chechik, Marsha ; Brunet, Greg ; Fischbein, Dario ; Uchitel, Sebastian

    Abstract | Document (168 KB) | BibTeX

    Structural Relationships among Models
    Authors: Jackson, Michael

    Abstract | Document (70 KB) | BibTeX

    System model for UML -- The interactions case
    Authors: Cengarle, María Victoria

    Abstract | Document (280 KB) | BibTeX

    The Formal Specification Language mCRL2
    Authors: Groote, Jan Friso ; Mathijssen, Aad ; Reniers, Michel ; Usenko, Yaroslav ; van Weerdenburg, Muck

    Abstract | Document (411 KB) | BibTeX

    		  



    DROPS-Home | Fulltext Search | Imprint
    Published by LZI