| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A first attempt to combine SysML requirements diagrams and B
|
Laleau, Régine
|
|
2009
|
|
1-2 |
p. 47-54
|
artikel
|
| 2 |
An agile approach to language modelling and development
|
Johnstone, Adrian
|
|
2009
|
|
1-2 |
p. 145-153
|
artikel
|
| 3 |
An approach to applying SOFL for agile process and its application in developing a test support tool
|
Liu, Shaoying
|
|
2009
|
|
1-2 |
p. 137-143
|
artikel
|
| 4 |
An integrated multi-view model evolution framework
|
Stolz, Volker
|
|
2009
|
|
1-2 |
p. 13-20
|
artikel
|
| 5 |
Bringing class diagrams to life
|
Barbosa, Luis S.
|
|
2009
|
|
1-2 |
p. 91-98
|
artikel
|
| 6 |
Dealing with variability within a family of domain-specific languages: comparative analysis of different techniques
|
Ober, Ileana
|
|
2010
|
|
1-2 |
p. 21-28
|
artikel
|
| 7 |
FM+AM’09: workshop on formal methods and agile methods
|
Gruner, Stefan
|
|
2009
|
|
1-2 |
p. 135-136
|
artikel
|
| 8 |
Formal executable semantics for conformance in the MDE framework
|
Egea, Marina
|
|
2009
|
|
1-2 |
p. 73-81
|
artikel
|
| 9 |
Formal methods integration in software engineering
|
Perseil, Isabelle
|
|
2010
|
|
1-2 |
p. 5-11
|
artikel
|
| 10 |
Formal verification of secure group communication protocols modelled in UML
|
Saqui-Sannes, P. de
|
|
2010
|
|
1-2 |
p. 125-133
|
artikel
|
| 11 |
From formal requirements to automated web testing and prototyping
|
Matos, Ernesto Cid Brasil de
|
|
2010
|
|
1-2 |
p. 163-169
|
artikel
|
| 12 |
Generating heterogeneous executable specifications in SystemC from UML/MARTE models
|
Peñil, P.
|
|
2009
|
|
1-2 |
p. 65-71
|
artikel
|
| 13 |
Integrating UML and UPPAAL for designing, specifying and verifying component-based real-time systems
|
Muniz, André L. N.
|
|
2009
|
|
1-2 |
p. 29-37
|
artikel
|
| 14 |
Introduction to special issue: papers from UML&FM’2009
|
Perseil, Isabelle
|
|
2009
|
|
1-2 |
p. 1-3
|
artikel
|
| 15 |
Lightweight analysis of access control models with description logic
|
Braga, Christiano
|
|
2009
|
|
1-2 |
p. 115-123
|
artikel
|
| 16 |
Performance and energy consumption estimation for commercial off-the-shelf component system design
|
Andrade, Ermeson
|
|
2009
|
|
1-2 |
p. 107-114
|
artikel
|
| 17 |
Synthesis of state machine diagrams from communication diagrams using Petri nets
|
Miyamoto, Toshiyuki
|
|
2009
|
|
1-2 |
p. 39-46
|
artikel
|
| 18 |
The clock constraint specification language for building timed causality models
|
Mallet, Frédéric
|
|
2009
|
|
1-2 |
p. 99-106
|
artikel
|
| 19 |
Towards model checking executable UML specifications in mCRL2
|
Hansen, Helle Hvid
|
|
2010
|
|
1-2 |
p. 83-90
|
artikel
|
| 20 |
Transforming OntoUML into Alloy: towards conceptual model validation using a lightweight formal method
|
Braga, Bernardo F. B.
|
|
2010
|
|
1-2 |
p. 55-63
|
artikel
|
| 21 |
URDAD as a semi-formal approach to analysis and design
|
Solms, Fritz
|
|
2009
|
|
1-2 |
p. 155-162
|
artikel
|
Tijdschrift beschrijving