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
3602005
Information technology-Programming languages, their environments and system software interfaces: Vienna DevelopmentMethod-Specification Language-Part 1: Base language
BS Hansen, H Bruun
ISO, 1996
981996
An overview of the ISO/VDM-SL standard
N Plat, PG Larsen
ACM Sigplan Notices 27 (8), 76-82, 1992
941992
A formal semantics of data flow diagrams
PG Larsen, N Plat, H Toetenel
Formal aspects of Computing 6 (6), 586-606, 1994
571994
Application and benefits of formal methods in software development
N Plat, J van Katwijk, H Toetenel
Software Engineering Journal 7 (5), 335-346, 1992
521992
VDM++ language reference manual
EH Dürr, N Plat
Afrodite (ESPRIT-III project number 6500), Cap Volmac, 1995
351995
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
301991
A case for structured analysis/formal design
N Plat, J van Katwijk, K Pronk
International Symposium of VDM Europe, 81-105, 1991
281991
A formal semantics of data flow diagrams
PG Larsen, N Plat, H Toetenel
Formal Aspects of Computing 3 (1), 1-21, 1993
171993
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
121992
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
112005
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
111990
Tool support for VDM
N Plat, H Toetenel
111989
Experiments with formal methods in software engineering.
N Plat
91995
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
EH Diirr, N Plat
Afrodite (ESPRIT-III project number 650) document AFR0/CG/ED/LRM 9, 1995
81995
VDM++ Language Reference Manual, AFRODITE project document AFRO
E Durr, A Duursma, N Plat
CG/ED/LRM, 1995
81995
Towards a VDM-SL compiler
N Plat
Master's thesis, Delft University, 1988
81988
VDM++ Language Reference Manual, Afrodite (ESPRIT-III project number 6500) document AFRO
EH Dürr, N Plat
CG/ED/LRM, 0
8
The system can't perform the operation now. Try again later.
Articles 1–20