| No. |
Title |
Author |
Year |
| 1 |
06351 Abstracts Collection -- Methods for Modelling Software Systems (MMOSS) |
Brinksma, Ed et al. |
2007 |
| 2 |
06351 Summary -- Methods for Modelling Software Systems (MMOSS) |
Brinksma, Ed et al. |
2007 |
| 3 |
A Framework for Analyzing Composition of Security Aspects |
Fox, Jorge et al. |
2007 |
| 4 |
A Model-Based Approach To Requirements Analysis |
Schätz, Bernhard et al. |
2007 |
| 5 |
A Taxonomy of Aspects in Terms of Crosscutting Concerns |
Fox, Jorge |
2007 |
| 6 |
Model Development in the UML-based Specification Environment (USE) |
Gogolla, Martin |
2007 |
| 7 |
Model Transformation Technologies in the Context of Modelling Software Systems |
Pastor, Óscar |
2007 |
| 8 |
Modeling and Aspect Weaving |
Jezequel, Jean-Marc |
2007 |
| 9 |
Partial Behavioural Models for Requirements and Early Design |
Chechik, Marsha et al. |
2007 |
| 10 |
Structural Relationships among Models |
Jackson, Michael |
2007 |
| 11 |
System model for UML -- The interactions case |
Cengarle, María Victoria |
2007 |
| 12 |
The Formal Specification Language mCRL2 |
Groote, Jan Friso et al. |
2007 |
