Articles not assigned to an issue (105 articles)

1. 

   Theme Section Paper

   Reuse in model-to-model transformation languages: are we there yet?

   A. Kusel, J. Schönböck, M. Wimmer, G. Kappel…

   Look Inside Get Access

2. 

   Industry Voice

   Improving engineering efficiency with PLM/ALM

   Christof Ebert

   Look Inside Get Access

3. 

   Theme Section Paper

   A model-driven method for enacting the design-time QoS analysis of business processes

   Paolo Bocciarelli, Andrea D’Ambrogio

   Look Inside Get Access

4. 

   Regular Paper

   Formal synthesis of application and platform behaviors of embedded software systems

   Jinhyun Kim, Inhye Kang, Jin-Young Choi, Insup Lee…

   Look Inside Get Access

5. 

   Theme Section Paper

   Model-driven engineering of middleware-based ubiquitous services

   Marco Autili, Mauro Caporuscio, Valérie Issarny…

   Look Inside Get Access

6. 

   Special Section Paper

   Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation

   Yliès Falcone, Mohamad Jaber, Thanh-Hung Nguyen…

   Look Inside Get Access

7. Editorial

   Building European software architecture community: how far have we come?

   Muhammad Ali Babar, Ian Gorton, Flavio Oquendo

   Download PDF (248KB) View Article

8. Editorial

   Introduction to the SoSyM theme issue on models and evolution

   Dalila Tamzalit, Bernhard Schätz, Alfonso Pierantonio…

   Download PDF (234KB) View Article

9. 

   Special Section Paper

   From well-formedness to meaning preservation: model refactoring for almost free

   Friedrich Steimann

   Look Inside Get Access

10. 

    Special Section Paper

    Reengineering component-based software systems with Archimetrix

    Markus von Detten, Marie Christin Platenius, Steffen Becker

    Look Inside Get Access

11. 

    Special Section Paper

    Lightweight string reasoning in model finding

    Fabian Büttner, Jordi Cabot

    Look Inside Get Access

12. 

    Regular Paper

    From subsets of model elements to submodels

    Bernard Carré, Gilles Vanwormhoudt, Olivier Caron

    Look Inside Get Access

13. 

    Special Section Paper

    Stateful component-based performance models

    Lucia Happe, Barbora Buhnova, Ralf Reussner

    Look Inside Get Access

14. 

    Regular Paper

    Environment modeling and simulation for automated testing of soft real-time embedded software

    Muhammad Zohaib Iqbal, Andrea Arcuri, Lionel Briand

    Look Inside Get Access

15. 

    Theme Section Paper

    The KlaperSuite framework for model-driven reliability analysis of component-based systems

    Andrea Ciancone, Mauro Luigi Drago, Antonio Filieri…

    Look Inside Get Access

16. 

    Regular Paper

    Extending the UML use case metamodel with behavioral information to facilitate model analysis and interchange

    Mohammed Misbhauddin, Mohammad Alshayeb

    Look Inside Get Access

17. 

    Special Section Paper

    Verification of B $^+$ trees by integration of shape analysis and interactive theorem proving

    Gidon Ernst, Gerhard Schellhorn, Wolfgang Reif

    Look Inside Get Access

18. 

    Regular Paper

    ESUML-EAF: a framework to develop an energy-efficient design model for embedded software

    Doo-Hwan Kim, Jang-Eui Hong

    Look Inside Get Access

19. 

    Theme Section Paper

    Deriving performance-relevant infrastructure properties through model-based experiments with Ginpex

    Michael Hauck, Michael Kuperberg, Nikolaus Huber…

    Look Inside Get Access

20. Guest Editorial

    Guest editorial to the Theme Section on enterprise modelling

    Tony Clark, Florian Matthes, Balbir Barn, Alan Brown

    Download PDF (275KB) View Article