Nick Battle
Nick Battle
Guest Member of Staff, Newcastle University
Verified email at newcastle.ac.uk - Homepage
Title
Cited by
Cited by
Year
The overture initiative integrating tools for VDM
PG Larsen, N Battle, M Ferreira, J Fitzgerald, K Lausdahl, M Verhoef
ACM SIGSOFT Software Engineering Notes 35 (1), 1-6, 2010
1722010
VDM-10 language manual
PG Larsen, K Lausdahl, N Battle, J Fitzgerald, S Wolff, S Sahara, ...
The Overture Open Source Initiative, Tech. Rep. TR-2010-06, 2010
562010
Combinatorial testing for VDM
PG Larsen, K Lausdahl, N Battle
2010 8th IEEE International Conference on Software Engineering and Formal …, 2010
432010
A Deterministic Interpreter Simulating A Distributed real time system using VDM
K Lausdahl, PG Larsen, N Battle
International Conference on Formal Engineering Methods, 179-194, 2011
412011
Overture vdm-10 tool support: User guide
PG Larsen, K Lausdahl, A Ribeiro, S Wolff, N Battle, B RG12
Technical Report TR-2010–02, the Overture Initiative, 2010
282010
Development process of distributed embedded systems using vdm
PG Larsen, S Wolff, N Battle, J Fitzgerald, K Pierce
Overture–Open-source Tools for Formal Modelling TR-2010-02, 2010
252010
VDMJ User Guide
N Battle
Fujitsu Services Ltd., UK, Tech. Rep, 2009
202009
Using JML-based code generation to enhance test automation for VDM models
PWV Tran-Jørgensen, PG Larsen, N Battle
The 14th Overture Workshop: Towards Analytical Tool Chains, 79-93, 2016
52016
Tutorial for Overture
PG Larsen, J Fitzgerald, S Wolff, N Battle, K Lausdahl, A Ribeiro, K Pierce
VDM-SL-Overture–Open-source Tools for Formal Modelling TR-2010-01 (March 2010), 2010
42010
Tutorial for Overture/VDM+
PG Larsen, J Fitzgerald, S Wolff, N Battle, K Lausdahl, A Ribeiro, K Pierce
Overture-Open-source Tools for Formal Modelling TR-2010-03, 2010
42010
The overture approach to VDM language evolution
N Battle, A Haxthausen, S Hiroshi, PWV Jørgensen, N Plat, S Sahara, ...
Proceedings of the 11th Overture Workshop, 8, 2013
32013
Towards a Static Check of FMUs in VDM-SL
N Battle, C Thule, C Gomes, HD Macedo, PG Larsen
17th Overture Workshop, 17-32, 2019
22019
Tutorial for Overture/VDM-RT
PG Larsen, J Fitzgerald, S Wolff, N Battle, K Lausdahl, A Ribeiro, K Pierce
Technical Report TR-005, September 2015. http://overturetool. org …, 2010
22010
Analysis Separation without Visitors
N Battle, UK Fujitsu
12017
Tutorial for Overture/VDM-SL
PG Larsen, J Fitzgerald, S Wolff, N Battle, K Lausdahl, A Ribeiro, K Pierce, ...
12011
The 14th Overture Workshop: Towards Analytical Tool Chains
PG Larsen, N Plat, N Battle
Technical Report Electronics and Computer Engineering 4 (28), 2016
2016
The 14th Overture Workshop: Towards Analytical Tool Chains: Electrical and Computer Engineering, Technical Report-ECE-TR-28
PG Larsen, N Plat, N Battle
The 14th Overture Workshop, 2016
2016
Proceedings of the 12th Overture Workshop Newcastle University, 21 June 2014
N Battle, JS Fitzgerald
University of Newcastle Upon Tyne, Computing Science, 2015
2015
Newcastle University, 21 June, 2014
N Battle, JS Fitzgerald
2015
The 12th in the “Overture” series of workshops on the Vienna Development Method (VDM), its associated tools and applications, was held in association with the COMPASS1 project …
N Battle, J Fitzgerald
2014
The system can't perform the operation now. Try again later.
Articles 1–20