| no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
| 1 |
A model for dynamic reconfiguration in service-oriented architectures
|
Fiadeiro, José Luiz
|
|
2012
|
12 |
2 |
p. 349-367
|
article
|
| 2 |
A modular timed graph transformation language for simulation-based design
|
Syriani, Eugene
|
|
2011
|
12 |
2 |
p. 387-414
|
article
|
| 3 |
Behavioral specification of reactive systems using stream-based I/O tables
|
Thyssen, Judith
|
|
2011
|
12 |
2 |
p. 265-283
|
article
|
| 4 |
Building European software architecture community: how far have we come?
|
Babar, Muhammad Ali
|
|
2013
|
12 |
2 |
p. 435-438
|
article
|
| 5 |
Event-B patterns and their tool support
|
Hoang, Thai Son
|
|
2010
|
12 |
2 |
p. 229-244
|
article
|
| 6 |
Guest editorial to the special section on SEFM 2009
|
Krishnan, Padmanabhan
|
|
2012
|
12 |
2 |
p. 227-228
|
article
|
| 7 |
Least privilege analysis in software architectures
|
Buyens, Koen
|
|
2011
|
12 |
2 |
p. 331-348
|
article
|
| 8 |
Metric propositional neighborhood logics on natural numbers
|
Bresolin, Davide
|
|
2011
|
12 |
2 |
p. 245-264
|
article
|
| 9 |
Modeling customer-centric value of system architecture investments
|
Ivanović, Ana
|
|
2012
|
12 |
2 |
p. 369-385
|
article
|
| 10 |
Relational interprocedural verification of concurrent programs
|
Jeannet, Bertrand
|
|
2012
|
12 |
2 |
p. 285-306
|
article
|
| 11 |
Specification of invariability in OCL
|
Kosiuczenko, Piotr
|
|
2011
|
12 |
2 |
p. 415-434
|
article
|
| 12 |
The evolution of modeling research challenges
|
France, Robert
|
|
2013
|
12 |
2 |
p. 223-225
|
article
|
| 13 |
Towards clone detection in UML domain models
|
Störrle, Harald
|
|
2011
|
12 |
2 |
p. 307-329
|
article
|
Journal description