Information Technology Reference
In-Depth Information
9. Rushby, J.: Formal Methods and the Certification of Critical Systems. Technical Report CSL-
93-7, Computer Science Laboratory, Menlo Park CA 94025 USA (December 1993)
10. Fitzgerald, J.S., Larsen, P.G.: Triumphs and Challenges for the Industrial Application of
Model-Oriented Formal Methods. In: Margaria, T., Philippou, A., Steffen, B. (eds.) Proc.
2nd Intl. Symp. on Leveraging Applications of Formal Methods, Verification and Validation
(ISoLA 2007) (2007) (Also Technical Report CS-TR-999, School of Computing Science,
Newcastle University)
11. Jones, C.B.: Scientific Decisions which Characterize VDM. In: Wing, J.M., Woodcock,
J.C.P., Davies, J. (eds.) FM 1999. LNCS, vol. 1708, pp. 28-47. Springer, Heidelberg (1999)
12. Larsen, P.G., Hansen, B.S., Brunn, H., Plat, N., Toetenel, H., Andrews, D.J., Dawes, J.,
Parkin, G., et al.: Information technology - Programming languages, their environments and
system software interfaces - Vienna Development Method - Specification Language - Part
1: Base language (December 1996)
13. Plat, N., Larsen, P.G.: An Overview of the ISO/VDM-SL Standard. Sigplan Notices 27(8),
76-82 (1992)
14. Larsen, P.G., Pawłiowski, W.: The Formal Semantics of ISO VDM-SL. Computer Standards
and Interfaces 17(5-6), 585-602 (1995)
15. Bicarregui, J., Fitzgerald, J., Lindsay, P., Moore, R., Ritchie, B.: Proof in VDM: A Practi-
tioner's Guide. In: FACIT, Springer, Heidelberg (1994)
16. Larsen, P.G., Fitzgerald, J., Brookes, T.: Applying Formal Specification in Industry. IEEE
Software 13(3), 48-56 (1996)
17. Fitzgerald, J., Larsen, P.G.: Modelling Systems - Practical Tools and Techniques in Software
Development, The Edinburgh Building. Cambridge University Press, Cambridge (1998)
18. Devauchelle, L., Larsen, P.G., Voss, H.: PICGAL: Practical Use of Formal Specification to
Develop a Complex Critical System. In: Fitzgerland, J., Jones, C.B., Lucas, P. (eds.) FME
1997. LNCS, vol. 1313, pp. 221-236. Springer, Heidelberg (1997)
19. Fitzgerald, J., Jones, C.: Proof in the validation of a formal model of a tracking system for a
nuclear plant. In: Bicarregui, J. (ed.) Proof in VDM: Case Studies. FACIT Series, Springer,
Heidelberg (1998)
20. Smith, P.R., Larsen, P.G.: Applications of VDM in Banknote Processing. In: Fitzgerald, J.S.,
Larsen, P.G. (eds.) VDM in Practice: Proc. First VDM Workshop 1999, (September 1999),
available at www.vdmportal.org
21. Mukherjee, P., Bousquet, F., Delabre, J., Paynter, S., Larsen, P.G.: Exploring Timing
Properties Using VDM++ on an Industrial Application. In: Bicarregui, J., Fitzgerald,
J. (eds.) Proceedings of the Second VDM Workshop, (September 2000), available at
www.vdmportal.org
22. Elmstrøm, R., Larsen, P.G., Lassen, P.B.: The IFAD VDM-SL Toolbox: A Practical Ap-
proach to Formal Specifications. ACM Sigplan Notices 29(9), 77-80 (1994)
23. CSK: VDMTools homepage. (2007), http://www.vdmtools.jp/en/
24. Overture-Core-Team: Overture Web site (2007), http://www.overturetool.org
25. Fitzgerald, J., Larsen, P.G., Mukherjee, P., Plat, N., Verhoef, M.: Validated Designs for
Object-oriented Systems. Springer, New York (2005)
26. Verhoef, M., Larsen, P.G., Hooman, J.: Modeling and Validating Distributed Embedded Real-
Time Systems with VDM++. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM 2006. LNCS,
vol. 4085, pp. 147-162. Springer, Heidelberg (2006)
27. Verhoef, M., Larsen, P.G.: Interpreting Distributed System Architectures Using VDM++ - A
Case Study. In: Sauser, B., Muller, G. (eds.) 5th Annual Conference on Systems Engineering
Research (March 2007), http://www.stevens.edu/engineering/cser/
28. Fitzgerald, J., Larsen, P.G., Tjell, S., Verhoef, M.: Validation Support for Distributed Real-
Time Embedded Systems in VDM++. Technical Report CS-TR:1017, School of Computing
Science, Newcastle University (April 2007)
 
Search WWH ::




Custom Search