Concepedia

Nick Battle

NB

2

Publications

164

Citations

2

H-Index

2010

Active since

Affiliations

Fujitsu (United Kingdom)(Current)

Nick Battle is an author at Fujitsu (United Kingdom) specializing in software design, systems engineering, and software testing.

Top concepts

EngineeringFormal MethodsSoftware DesignComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationSystems EngineeringComputer Engineering

Publications per year

2010–2010

2

Publications

2

The overture initiative integrating tools for VDM

Peter Gorm Larsen, Nick Battle, Miguel A. Ferreira et al. · ACM SIGSOFT Software Engineering Notes · 2010 · 126 citations

Software Maintenance, Engineering, Visual Programming Language +22

Combinatorial Testing for VDM

Peter Gorm Larsen, Kenneth Lausdahl, Nick Battle · 2010 · 38 citations

Trace Definitions, Engineering, Verification +22

Rows per page

1–2 of 2