Nico Plat
Nico Plat
Owner at Thanos
Verified email at nicoplat.com - Homepage
Title
Cited by
Cited by
Year
Validated designs for object-oriented systems
J Fitzgerald, PG Larsen, P Mukherjee, N Plat, M Verhoef
Springer Science & Business Media, 2005
3742005
Information technology-Programming languages, their environments and system software interfaces-Vienna Development Method-Specification Language-Part 1: Base language
PG Larsen
ISO/IEC 13817-1, 1996
1021996
An overview of the ISO/VDM-SL standard
N Plat, PG Larsen
ACM Sigplan Notices 27 (8), 76-82, 1992
1001992
A formal semantics of data flow diagrams
PG Larsen, N Plat, H Toetenel
Formal aspects of Computing 6 (6), 586-606, 1994
601994
Application and benefits of formal methods in software development
N Plat, J van Katwijk, H Toetenel
Software Engineering Journal 7 (5), 335-346, 1992
541992
VDM++ language reference manual
EH Dürr, N Plat
Afrodite (ESPRIT-III project number 6500), Cap Volmac, 1995
391995
SVDM: An integrated combination of SA and VDM
PG Larsen, J van Katwijk, N Plat, K Pronk, H Toetenel
Methods Integration Conference. Springer-Verlag, 1991
311991
A case for structured analysis/formal design
N Plat, J van Katwijk, K Pronk
International Symposium of VDM Europe, 81-105, 1991
271991
A formal semantics of data flow diagrams
PG Larsen, N Plat, H Toetenel
Formal Aspects of Computing 3 (1), 1-21, 1993
191993
Syntax error repair for a Java-based parser generator
P van der Spek, N Plat, C Pronk
ACM SIGPLAN Notices 40 (4), 47-50, 2005
142005
The cash-point (ATM)‘Problem’
T Denvir, J Oliveira, N Plat
Formal Aspects of Computing 12 (4), 211-215, 2000
142000
Standards for non-executable specification languages
PG Larsen, N Plat
The Computer Journal 35 (6), 567-573, 1992
131992
Structured analysis—formal design, using stream and object oriented formal specifications
H Toetenel, J Van Katwijk, N Plat
ACM SIGSOFT Software Engineering Notes 15 (4), 118-127, 1990
121990
Tool support for VDM
N Plat, H Toetenel
111989
Experiments with formal methods in software engineering.
N Plat
101995
Type checking BSI/VDM-SL
N Plat, R Huijsman, J van Katwijk, G van Oosten, K Pronk, H Toetenel
International Symposium of VDM Europe, 399-425, 1990
91990
VDM++ Language Reference Manual. Afrodite (ESPRIT-III project number 6500) document AFRO
EH Dürr, N Plat
CG/ED/LRM, 0
9
VDM++ Language Reference Manual, AFRODITE project document AFRO
E Durr, A Duursma, N Plat
CG/ED/LRM, 1995
81995
Towards an integrated combination of SA and VDM
PG Larsen, N Plat, K Pronk, H Toetenel
In Proc. Methods Integration Workshop, 1991
81991
Towards a VDM-SL compiler
N Plat
Master's thesis, Delft University, 1988
81988
The system can't perform the operation now. Try again later.
Articles 1–20