io-port.net

io-port 05672249 Garousi, Vahid

Incorporating message weights in UML-based analysis of behavioral dependencies in distributed systems. (English)

Softw. Syst. Model. 9, No. 1, 113-137 (2010).

1

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05672248 van der Aalst, W.M.P.; Rubin, V.; Verbeek, H.M.W.; van Dongen, B.F.; Kindler, E.; Günther, C.W.

Process mining: a two-step approach to balance between underfitting and overfitting. (English)

Softw. Syst. Model. 9, No. 1, 87-111 (2010).

2

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05672247 Anastasakis, Kyriakos; Bordbar, Behzad; Georg, Geri; Ray, Indrakshi

On challenges of model transformation from UML to Alloy. (English)

Softw. Syst. Model. 9, No. 1, 69-86 (2010).

3

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05672246 Albert, Manoli; Cabot, Jordi; Gómez, Cristina; Pelechano, Vicente

Automatic generation of basic behavior schemas from UML class diagrams. (English)

Softw. Syst. Model. 9, No. 1, 47-67 (2010).

4

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05672245 Greenyer, Joel; Kindler, Ekkart

Comparing relational model transformation technologies: implementing query/view/transformation with triple graph grammars. (English)

Softw. Syst. Model. 9, No. 1, 21-46 (2010).

5

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05672244 Stevens, Perdita

Bidirectional model transformations in QVT: semantic issues and open questions. (English)

Softw. Syst. Model. 9, No. 1, 7-20 (2010).

6

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05672243 Topçu, Okan; Adak, Mehmet; Oğuztüzün, Halit

Metamodeling live sequence charts for code generation. (English)

Softw. Syst. Model. 8, No. 4, 567-583 (2009).

7

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05672242 Sprinkle, Jonathan; Eklund, J.Mikael; Gonzalez, Humberto; Grøtli, Esten Ingar; Upcroft, Ben; Makarenko, Alex; Uther, Will; Moser, Michael; Fitch, Robert; Durrant-Whyte, Hugh; Sastry, S.Shankar

Model-based design: a report from the trenches of the DARPA urban challenge. (English)

Softw. Syst. Model. 8, No. 4, 551-566 (2009).

8

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05672241 Asikainen, Timo; Männistö, Tomi

Nivel: a metamodelling language with a formal semantics. (English)

Softw. Syst. Model. 8, No. 4, 521-549 (2009).

9

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05672240 Levendovszky, Tihamér; Lengyel, László; Mészáros, Tamás

Supporting domain-specific model patterns with metamodeling. (English)

Softw. Syst. Model. 8, No. 4, 501-520 (2009).

10

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05672239 Ehrig, Karsten; Küster, Jochen Malte; Taentzer, Gabriele

Generating instance models from meta models. (English)

Softw. Syst. Model. 8, No. 4, 479-500 (2009).

11

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05672238 Jackson, Ethan; Sztipanovits, Janos

Formalizing the structural semantics of domain-specific modeling languages. (English)

Softw. Syst. Model. 8, No. 4, 451-478 (2009).

12

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05672237 Gervais, Frédéric; Frappier, Marc; Laleau, Régine

Generating relational database transactions from $EB^{3}$ attribute definitions. (English)

Softw. Syst. Model. 8, No. 3, 423-445 (2009).

13

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05672236 Kuske, Sabine; Gogolla, Martin; Kreowski, Hans-Jörg; Ziemann, Paul

Towards an integrated graph-based semantics for UML. (English)

Softw. Syst. Model. 8, No. 3, 403-422 (2009).

14

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05672235 Mammar, Amel

A systematic approach to generate B preconditions: application to the database domain. (English)

Softw. Syst. Model. 8, No. 3, 385-401 (2009).

15

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05672234 Mahr, Bernd

Information science and the logic of models. (English)

Softw. Syst. Model. 8, No. 3, 365-383 (2009).

16

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05672233 Balogh, Zoltán; Varró, Dániel

Model transformation by example using inductive logic programming. (English)

Softw. Syst. Model. 8, No. 3, 347-364 (2009).

17

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05672232 Cuadrado, Jesús Sánchez; Molina, Jesús García

Modularization of model transformations through a phasing mechanism. (English)

Softw. Syst. Model. 8, No. 3, 325-345 (2009).

18

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05672231 del Fabro, Marcos Didonet; Valduriez, Patrick

Towards the efficient development of model transformations using model weaving and matching transformations. (English)

Softw. Syst. Model. 8, No. 3, 305-324 (2009).

19

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05672230 Garousi, Vahid; Briand, Lionel C.; Labiche, Yvan

A UML-based quantitative framework for early prediction of resource usage and load in distributed real-time systems. (English)

Softw. Syst. Model. 8, No. 2, 275-302 (2009).

20

PDF XML AMS-TeX TEXT BIBTeX DOI