Volume 14; Issue 2

Software & Systems Modeling

Volume 14; Issue 2

1

Deontic BPMN: a powerful extension of BPMN with a trusted model transformation

Natschläger, Christine, Kossak, Felix, Schewe, Klaus-Dieter

Journal:

Software & Systems Modeling

Year:

2015

Language:

english

File:

PDF, 2.20 MB

english, 2015

2

A survey of approaches for verifying model transformations

Ab. Rahim, Lukman, Whittle, Jon

Journal:

Software & Systems Modeling

Year:

2015

Language:

english

File:

PDF, 394 KB

english, 2015

3

Specification-driven model transformation testing

Guerra, Esther, Soeken, Mathias

Journal:

Software & Systems Modeling

Year:

2015

Language:

english

File:

PDF, 2.41 MB

english, 2015

4

Formal verification of QVT transformations for code generation

Stenzel, Kurt, Moebius, Nina, Reif, Wolfgang

Journal:

Software & Systems Modeling

Year:

2015

Language:

english

File:

PDF, 2.00 MB

english, 2015

5

Distributed implementation of message sequence charts

Abdallah, Rouwaida, Hélouët, Loïc, Jard, Claude

Journal:

Software & Systems Modeling

Year:

2015

Language:

english

File:

PDF, 1.07 MB

english, 2015

6

A generic model decomposition technique and its application to the Eclipse modeling framework

Ma, Qin, Kelsen, Pierre, Glodt, Christian

Journal:

Software & Systems Modeling

Year:

2015

Language:

english

File:

PDF, 2.77 MB

english, 2015

7

Constraint-driven modeling through transformation

Demuth, Andreas, Lopez-Herrejon, Roberto Erick, Egyed, Alexander

Journal:

Software & Systems Modeling

Year:

2015

Language:

english

File:

PDF, 1.51 MB

english, 2015

8

Guest editorial to the special section on model transformation

Hu, Zhenjiang, de Lara, Juan

Journal:

Software & Systems Modeling

Year:

2015

Language:

english

File:

PDF, 168 KB

english, 2015

9

An algorithm for generating model-sensitive search plans for pattern matching on EMF models

Varró, Gergely, Deckwerth, Frederik, Wieber, Martin, Schürr, Andy

Journal:

Software & Systems Modeling

Year:

2015

Language:

english

File:

PDF, 3.14 MB

english, 2015

10

AuRUS: explaining the validation of UML/OCL conceptual schemas

Rull, Guillem, Farré, Carles, Queralt, Anna, Teniente, Ernest, Urpí, Toni

Journal:

Software & Systems Modeling

Year:

2015

Language:

english

File:

PDF, 3.06 MB

english, 2015

11

Corpus-based analysis of domain-specific languages

Tairas, Robert, Cabot, Jordi

Journal:

Software & Systems Modeling

Year:

2015

Language:

english

File:

PDF, 651 KB

english, 2015

12

Mashup of metalanguages and its implementation in the Kermeta language workbench

Jézéquel, Jean-Marc, Combemale, Benoit, Barais, Olivier, Monperrus, Martin, Fouquet, François

Journal:

Software & Systems Modeling

Year:

2015

Language:

english

File:

PDF, 911 KB

english, 2015

13

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

Kusel, A., Schönböck, J., Wimmer, M., Kappel, G., Retschitzegger, W., Schwinger, W.

Journal:

Software & Systems Modeling

Year:

2015

Language:

english

File:

PDF, 4.79 MB

english, 2015

14

Formal synthesis of application and platform behaviors of embedded software systems

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

Journal:

Software & Systems Modeling

Year:

2015

Language:

english

File:

PDF, 1.98 MB

english, 2015

15

Enhancing classic transformation languages to support multi-level modeling

Atkinson, Colin, Gerbig, Ralph, Tunjic, Christian Vjekoslav

Journal:

Software & Systems Modeling

Year:

2015

Language:

english

File:

PDF, 1.54 MB

english, 2015

16

Business process management as the “Killer App” for Petri nets

van der Aalst, W. M. P.

Journal:

Software & Systems Modeling

Year:

2015

Language:

english

File:

PDF, 440 KB

english, 2015

17

The concepts of Petri nets

Desel, Jörg, Reisig, Wolfgang

Journal:

Software & Systems Modeling

Year:

2015

Language:

english

File:

PDF, 1.15 MB

english, 2015

18

Petri nets for the control of discrete event systems

Giua, Alessandro, Seatzu, Carla

Journal:

Software & Systems Modeling

Year:

2015

Language:

english

File:

PDF, 607 KB

english, 2015

19

The Petri net twist in explicit model checking

Journal:

Software & Systems Modeling

Year:

2015

Language:

english

File:

PDF, 674 KB

english, 2015

20

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

Kim, Doo-Hwan, Hong, Jang-Eui

Journal:

Software & Systems Modeling

Year:

2015

Language:

english

File:

PDF, 1.96 MB

english, 2015

21

Petri nets in systems biology

Journal:

Software & Systems Modeling

Year:

2015

Language:

english

File:

PDF, 303 KB

english, 2015

22

Petri and how he saw the world

Journal:

Software & Systems Modeling

Year:

2015

Language:

english

File:

PDF, 355 KB

english, 2015

23

Recent and simple algorithms for Petri nets

Finkel, Alain, Leroux, Jérôme

Journal:

Software & Systems Modeling

Year:

2015

Language:

english

File:

PDF, 437 KB

english, 2015

24

Special section of SoSyM dedicated to 50 years of Petri nets

France, Robert, Rumpe, Bernhard

Journal:

Software & Systems Modeling

Year:

2015

Language:

english

File:

PDF, 94 KB

english, 2015

25

In memory of Robert B. France, Co-Founder and Editor-in-Chief of SoSyM from 1999 to 2015

Chechik, Marsha, Georg, Geri, Gogolla, Martin, Jezequel, Jean-Marc, Rumpe, Bernhard, Schindler, Martin

Journal:

Software & Systems Modeling

Year:

2015

Language:

english

File:

PDF, 1.15 MB

english, 2015

26

VPML: an approach to detect design patterns of MOF-based modeling languages

Elaasar, Maged, Briand, Lionel C., Labiche, Yvan

Journal:

Software & Systems Modeling

Year:

2015

Language:

english

File:

PDF, 3.74 MB

english, 2015

27

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

Misbhauddin, Mohammed, Alshayeb, Mohammad

Journal:

Software & Systems Modeling

Year:

2015

Language:

english

File:

PDF, 2.28 MB

english, 2015

28

From subsets of model elements to submodels

Carré, Bernard, Vanwormhoudt, Gilles, Caron, Olivier

Journal:

Software & Systems Modeling

Year:

2015

Language:

english

File:

PDF, 1.87 MB

english, 2015

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Tor version

Z-Library

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски