|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
9 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Dirk Draheim, Gerald Weber: Form-oriented analysis. A new methodology to model form-based applications |
Sikorski, Marcin |
2005 |
4 | 3 |
p. 346-347 |
artikel |
|
| 2 | Introduction |
Bolognesi, Tommaso |
2005 |
4 | 3 |
p. 234-235 |
artikel |
|
| 3 | Investigating a file transfer protocol using CSP and B |
Evans, Neil |
2005 |
4 | 3 |
p. 258-276 |
artikel |
|
| 4 | Modeling Paradigms |
France, Robert |
2005 |
4 | 3 |
p. 233 |
artikel |
|
| 5 | Precise visual modeling: A case-study |
Howse, John |
2005 |
4 | 3 |
p. 310-325 |
artikel |
|
| 6 | Specifying business rules in object-oriented analysis |
Devos, Frank |
2004 |
4 | 3 |
p. 297-309 |
artikel |
|
| 7 | State-based versus event-based specifications for information systems: a comparison of B and eb3 |
Fraikin, Benoît |
2005 |
4 | 3 |
p. 236-257 |
artikel |
|
| 8 | Testing Web applications by modeling with FSMs |
Andrews, Anneliese A. |
2005 |
4 | 3 |
p. 326-345 |
artikel |
|
| 9 | Unifying classes and processes |
Cavalcanti, Ana |
2005 |
4 | 3 |
p. 277-296 |
artikel |
9 gevonden resultaten