Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Derek Andrews
Observed names:
Andrews, Derek J.,
D Andrews,
D. Andrews,
D. J. Andrews,
D.J. Andrews,
Derek J. Andrews
show all 6
Institution:
University of Leicester
Observed institutions:
University of Leicester,
The Open University
OpenAlex ID:
A5111455694
Practical formal methods with VDM
1991
·
Derek Andrews
, Darrel Ince
·
56
Software prototyping, formal methods and VDM
1989
·
D Andrews
·
Information and Software Technology
·
56
Structured Techniques for Computing
1986
·
Derek Andrews
·
Data Processing
·
29
Formal methods and software development
2002
·
D. Andrews
·
International Conference on Software Engineering: Education and Practice (SEEP)
·
18
The Vienna development method
1990
·
Derek Andrews
·
Elsevier eBooks
·
17
The formal definition of modula-2 and its associated interpreter
1988
·
D. J. Andrews
, A. Garg
, et al.
·
Lecture notes in computer science
·
13
Report from the BSI panel for the standardisation of VDM (IST/5/50)
1988
·
D. Andrews
·
Lecture notes in computer science
·
9
Proceedings of the International Workshop on Semantics of Specification Languages (SoSL)
1993
·
Derek Andrews
, Jan Friso Groote
, et al.
·
6
Specification aspects of VDM
1988
·
Derek Andrews
·
Information and Software Technology
·
6
Programming from first principles
1988
·
D.J. Andrews
·
Science of Computer Programming
·
5
PDF
A Theory and Practice of Program Development
1997
·
Derek Andrews
·
Springer eBooks
·
3
Overview of software engineering
1986
·
Derek Andrews
·
Data Processing
·
3
Semantics of Specification Languages (SoSL)
1994
·
D. J. Andrews
, J. F. Groote
, et al.
·
Workshops in computing
·
2
A Small Programming Language
1997
·
Derek Andrews
·
Springer eBooks
·
1
Semantics of specification languages (SoSL) : proceedings of the international workshop, Utrecht, The Netherlands, 25-27 October 1993
1994
·
Derek Andrews
, Jan Friso Groote
, et al.
·
TU/e Research Portal
·
1
Computing for Non-Scientific Applications
1987
·
Derek Andrews
, Michael Greenhalgh
·
1
System Analysis & Design Methods
1986
·
Derek Andrews
·
Data Processing
·
1
Stacks and Queues
1997
·
Derek Andrews
·
Springer eBooks
On Refinement and Loops
1997
·
Derek Andrews
·
Springer eBooks
Functions and Procedures
1997
·
Derek Andrews
·
Springer eBooks
Searching and Sorting
1997
·
Derek Andrews
·
Springer eBooks
Concepts and Properties
1997
·
Derek Andrews
·
Springer eBooks
Declarations and Blocks
1997
·
Derek Andrews
·
Springer eBooks
The Iterative Command
1997
·
Derek Andrews
·
Springer eBooks
The Alternative Command
1997
·
Derek Andrews
·
Springer eBooks
Show more works
View as search
Works count:
46
Citation count:
227
H-index:
7
I10-index:
6
Year
Topic
Type
