Overture Publications

From Wiki.overturetool.org

Contents 1 Publication Plans 2 Technical Reports 3 External Publications 4 Theses and Student Project Reports 5 Workshop related

Publication Plans

The plans for future publications.

Technical Reports

• TR-001: VDM-10 Language Manual, P. G. Larsen, K. G. Lausdahl, N. Battle, and J. S. Fitzgerald, version 2, February 2011

• TR-002: Overture VDM-10 Tool Support: User Guide, P. G. Larsen, K. G. Lausdahl, A. Ribeiro, S. Wolff, and N. Battle, version 2, February 2011

• TR-003: Tutorial for Overture/VDM-SL, P. G. Larsen, J. S. Fitzgerald, S. Wolff, N. Battle, K. G. Lausdahl, A. Ribeiro, K. G. Pierce, S. Riddle, version 2, February 2011

• TR-004: Tutorial for Overture/VDM++, P. G. Larsen, J. S. Fitzgerald, S. Wolff, N. Battle, K. G. Lausdahl, A. Ribeiro, K. G. Pierce, and S. Riddle, version 2, February 2011

• TR-005: Tutorial for Overture/VDM-RT, P. G. Larsen, J. S. Fitzgerald, S. Wolff, N. Battle, K. G. Lausdahl, A. Ribeiro, K. G. Pierce, and S. Riddle, version 2, February 2011

• TR-006: Development Process for Distributed Embedded Systems using VDM, P. G. Larsen, S. Wolff, N. Battle, J. S. Fitzgerald, and K. G. Pierce version 2, February 2011

• TR-007: VDMJ Tool Support: User Guide, Nick Battle version 1, February 2011

Technical Reports Archives

External Publications

• Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems, John Fitzgerald, Peter Gorm Larsen, Ken Pierce, Marcel Verhoef and Sune Wolff, Technical Report CS-TR-1213, School of Computing Science, Newcastle University, July 2010. Later appeared in D. Mery and S. Merz (Eds.), Proc. IFM 2010, Lecture Notes in Computer Science vol. 6396, Springer, October 2010.
• Proceedings of the 8th Overture Workshop, Ken Pierce and Nico Plat and Sune Wolff (eds.), Technical Report CS-TR-1224, School of Computing Science, Newcastle University, November 2010.
• Proof Obligation Generation and Discharging for Recursive Definitions in VDM, Augusto Ribeiro and Peter Gorm Larsen, in Lecture Notes in Computer Science, 2010, Volume 6447/2010, 40-55, DOI: 10.1007/978-3-642-16901-4_5, presented at ICFEM November 2010, Shanghai, China.
• Are Formal Methods Ready for Agility? -- A Reality Check, Peter Gorm Larsen, John Fitzgerald and Sune Wolff, in S. Grüner and B. Rumpe (Eds.), FM+AM 2010, 2nd Intl Workshop on Formal Methods and Agile Methods, Lecture Notes in Informatics, vol. 179, Gesellschaft für Informatik, 2010, pp. 13-25. (given at the FM + AM 2010 workshop, author version as Technical Report 1218, School of Computing Science, Newcastle University, September 2010.
• Combinatorial Testing for VDM, Peter Gorm Larsen, Kenneth Lausdahl and Nick Battle, in Proceeding SEFM '10 Proceedings of the 2010 8th IEEE International Conference on Software Engineering and Formal Methods, September 2010.
• Proving Consistency of VDM models using HOL, Sander D. Vermolen, Jozef Hooman and Peter Gorm Larsen, in Proceedings of the 2010 ACM Symposium on Applied Computing, ACM, March 2010.
• The Overture Initiative: Integrating Tools for VDM, Peter Gorm Larsen, Nick Battle, Miguel Ferreira, John Fitzgerald, Kenneth Lausdahl and Marcel Verhoef, ACM SIGSOFT Software Engineering Notes, Volume 35, Issue 1, January 2010.
• Formal Semantics of a VDM Extension for Distributed Embedded Systems, Jozef Hooman and Marcel Verhoef, in D. Dams and U. Hannemann and M. Steffen (eds): W.P. de Roever Festschrift, LNCS 5930, pp 142-161, 2010.
• Modeling and Validating Distributed Embedded Real-Time Control Systems, Marcel Verhoef, PhD thesis, Radboud Universiteit Nijmegen, January 2009.
• Modeling and Validating Distributed Embedded Real-Time Systems in VDM++, Marcel Verhoef, Peter Gorm Larsen and Jozef Hooman, in Jayadev Misra, Tobias Nipkow and Emil Sekerinski (Eds.), FM 2006: Formal Methods, Proc. 14th Intl. Symposium on Formal Methods, Lecture Notes in Computer Science 4085, Springer-Verlag, 2006, ISBN: 3-540-37215-6. Slides.
• Adding Syntax Error Repair to a Java-based Parser Generator, P. van der Spek, N. Plat and C. Pronk. ACM SIGPLAN Notices, 40(4):47-50. April 2005
• Validated Designs for Object-oriented Systems, John Fitzgerald, Peter Gorm Larsen, Paul Mukherjee, Nico Plat and Marcel Verhoef. ISBN: 1-85233-881-4. Springer Verlag, New York. 2005. This is the seminal book about VDM++, the modelling language on which Overture is based. The book web site contains publication details and extensive support materials.
• Interpreting Distributed System Architectures Using VDM++ - A Case Study, Marcel Verhoef, Peter Gorm Larsen. The fifth Conference on System Engineering Research CSER (March 2007).

Theses and Student Project Reports

These can be found at Overture Master theses.

Workshop related

• Ken Pierce and Nico Plat and Sune Wolff (eds.),Proceedings of the 8th Overture Workshop, Technical Report CS-TR-1224, School of Computing Science, Newcastle University, November 2010.