| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A generic framework: from modeling to code
|
Méry, Dominique
|
|
2011
|
7 |
4 |
p. 227-235
|
artikel
|
| 2 |
ALF formal
|
Perseil, Isabelle
|
|
2011
|
7 |
4 |
p. 325-326
|
artikel
|
| 3 |
A proposal for extending UML-B to support a conceptual model
|
Sousa, Thiago C. de
|
|
2011
|
7 |
4 |
p. 293-301
|
artikel
|
| 4 |
Combining UML, ASTD and B for the formal specification of an access control filter
|
Milhau, J.
|
|
2011
|
7 |
4 |
p. 303-313
|
artikel
|
| 5 |
Coupling-based transformations of Z specifications into UML diagrams
|
Bollin, Andreas
|
|
2011
|
7 |
4 |
p. 283-292
|
artikel
|
| 6 |
Development of an automated MBT toolchain from UML/SysML models
|
Lasalle, Jonathan
|
|
2011
|
7 |
4 |
p. 247-256
|
artikel
|
| 7 |
Formal object-oriented development of a voting system test oracle
|
Gibson, J. Paul
|
|
2011
|
7 |
4 |
p. 237-245
|
artikel
|
| 8 |
Formal verification of components assembly based on SysML and interface automata
|
Chouali, Samir
|
|
2011
|
7 |
4 |
p. 265-274
|
artikel
|
| 9 |
Institutionalising UML 2.0 state machines
|
Calegari, Daniel
|
|
2011
|
7 |
4 |
p. 315-323
|
artikel
|
| 10 |
Introduction to special issue: papers from UML&FM’2011
|
Perseil, I.
|
|
2011
|
7 |
4 |
p. 225-226
|
artikel
|
| 11 |
Test data generation for web application using a UML class diagram with OCL constraints
|
Fujiwara, Shoichiro
|
|
2011
|
7 |
4 |
p. 275-282
|
artikel
|
| 12 |
UML/SysML semantic tunings
|
Ober, Ileana
|
|
2011
|
7 |
4 |
p. 257-264
|
artikel
|
Tijdschrift beschrijving