Derek Andrews is an author at University of Leicester specializing in engineering, formal methods, and system software.
Top concepts
EngineeringFormal MethodsSoftware DesignSystem SoftwareComputer ScienceSoftware AnalysisFormal VerificationSoftware EngineeringDesignProgram Analysis
Publications per year
1986–2002
3
3
Software prototyping, formal methods and VDM
Derek Andrews · Information and Software Technology · 1989 · 56 citations
Structured Techniques for Computing
Derek Andrews · Data Processing · 1986 · 29 citations
Programming Language Theory, Computational Science, Engineering +7
Formal methods and software development
Derek Andrews · 2002 · 18 citations
Rows per page
1–3 of 3