|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
12 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A generic complete dynamic logic for reasoning about purity and effects |
Mossakowski, Till |
2010 |
22 | 3-4 |
p. 363-384 |
artikel |
|
| 2 | An algebraic semantics for MOF |
Boronat, Artur |
2010 |
22 | 3-4 |
p. 269-296 |
artikel |
|
| 3 | Automatic verification of Java programs with dynamic frames |
Smans, Jan |
2010 |
22 | 3-4 |
p. 423-457 |
artikel |
|
| 4 | Automating the transformation-based analysis of visual languages |
Lara, Juan de |
2009 |
22 | 3-4 |
p. 297-326 |
artikel |
|
| 5 | Consistent integration of models based on views of meta models |
Ehrig, Hartmut |
2009 |
22 | 3-4 |
p. 327-344 |
artikel |
|
| 6 | Deriving non-Zeno behaviour models from goal models using ILP |
Alrajeh, D. |
2009 |
22 | 3-4 |
p. 217-241 |
artikel |
|
| 7 | Editorial |
Fiadeiro, J. L. |
2010 |
22 | 3-4 |
p. 215-216 |
artikel |
|
| 8 | Erratum to: Algebra and logic for access control |
Collinson, Matthew |
2010 |
22 | 3-4 |
p. 483-484 |
artikel |
|
| 9 | From a domain analysis to the specification and detection of code and design smells |
Moha, Naouel |
2009 |
22 | 3-4 |
p. 345-361 |
artikel |
|
| 10 | From StPowla processes to SRML models |
Bocchi, Laura |
2009 |
22 | 3-4 |
p. 243-268 |
artikel |
|
| 11 | Preserving correctness during business process model configuration |
Aalst, Wil M. P. van der |
2009 |
22 | 3-4 |
p. 459-482 |
artikel |
|
| 12 | Reasoning with graph constraints |
Orejas, Fernando |
2009 |
22 | 3-4 |
p. 385-422 |
artikel |
12 gevonden resultaten