Follow
Nico Plat
Nico Plat
Fellow at University of Twente, The Netherlands
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
4042005
An overview of the ISO/VDM-SL standard
N Plat, PG Larsen
ACM Sigplan Notices 27 (8), 76-82, 1992
1071992
A formal semantics of data flow diagrams
PG Larsen, N Plat, H Toetenel
Formal aspects of Computing 6, 586-606, 1994
731994
Application and benefits of formal methods in software development
N Plat, J van Katwijk, H Toetenel
Software Engineering Journal 7 (5), 335-346, 1992
581992
VDM++ language reference manual
EH Dürr, N Plat
Afrodite (ESPRIT-III project number 6500), Cap Volmac, 1995
421995
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
401991
A case for structured analysis/formal design
N Plat, J van Katwijk, K Pronk
VDM'91 Formal Software Development Methods: 4th International Symposium of …, 1991
301991
A formal semantics of data flow diagrams
PG Larsen, N Plat, H Toetenel
Formal Aspects of Computing 3 (1), 1-21, 1993
181993
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
162005
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
141992
Experiments with formal methods in software engineering.
N Plat
121995
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
VDM++ Language Reference Manual. Afrodite (ESPRIT-III project number 6500) document AFRO
EH Dürr, N Plat
CG/ED/LRM, 0
11
Towards a VDM-SL compiler
N Plat
Master's thesis, Delft University, 1988
101988
SysML fault modelling in a traffic management system of systems
C Ingram, Z Andrews, R Payne, N Plat
2014 9th International Conference on System of Systems Engineering (SOSE …, 2014
92014
VDM++ Language Reference Manual, AFRODITE project document AFRO
E Durr, A Duursma, N Plat
CG/ED/LRM, 1995
91995
Type checking BSI/VDM-SL
N Plat, R Huijsman, J van Katwijk, G van Oosten, K Pronk, H Toetenel
VDM'90 VDM and Z—Formal Methods in Software Development: Third …, 1990
91990
A formal transformation from the BSI/VDM-SL concrete syntax to the core abstract syntax
N Plat, H Toetenel
81992
The system can't perform the operation now. Try again later.
Articles 1–20