248:
84:, he became a lecturer in software engineering at Oxford in 1995. He has led the Software Engineering Programme since 2000, and was made Professor of Software Engineering in 2006.
238:
65:
243:
253:
233:
173:
143:
121:
258:
81:
92:
273:
268:
263:
37:
19:
113:
228:
77:
73:
41:
33:
8:
61:
165:
68:) in 1986 for a Masters' and Doctorate. After working as a researcher and lecturer in
169:
139:
117:
69:
201:
88:
222:
135:
155:
Millennial
Perspectives in Computer Science: Proceedings of the 1999 Oxford-
127:
150:
57:
160:
96:
156:
29:
249:
Members of the
Department of Computer Science, University of Oxford
45:
64:, joining the Oxford University Computing Laboratory (now the
239:Academics of Royal Holloway, University of London
220:
138:International Series in Computer Science, 1996.
66:Oxford University Department of Computer Science
132:Using Z: Specification, Refinement, and Proof
110:Specification and Proof in Real Time CSP
18:For other people named Jim Davies, see
244:Academics of the University of Reading
221:
196:
194:
192:
190:
82:Royal Holloway, University of London
187:
168:, Cornerstones of Computing, 2000.
13:
254:Fellows of Kellogg College, Oxford
93:Communicating Sequential Processes
14:
285:
202:"Jim Davies:Oxford University"
38:Software Engineering Programme
1:
234:Alumni of New College, Oxford
180:
51:
36:and current Director of the
7:
259:English computer scientists
159:Symposium in Honour of Sir
20:Jim Davies (disambiguation)
10:
290:
114:Cambridge University Press
17:
274:British textbook writers
269:Computer science writers
102:
87:Davies is an expert in
264:Formal methods people
153:, and Jim Woodcock,
42:University of Oxford
34:Software Engineering
62:New College, Oxford
56:Jim Davies studied
166:Palgrave Macmillan
174:978-0-333-92230-9
144:978-0-13-948472-8
122:978-0-521-45055-3
281:
213:
212:
210:
208:
198:
130:and Jim Davies,
70:computer science
289:
288:
284:
283:
282:
280:
279:
278:
219:
218:
217:
216:
206:
204:
200:
199:
188:
183:
105:
54:
23:
12:
11:
5:
287:
277:
276:
271:
266:
261:
256:
251:
246:
241:
236:
231:
215:
214:
185:
184:
182:
179:
178:
177:
147:
125:
104:
101:
95:(CSP) and the
89:formal methods
53:
50:
9:
6:
4:
3:
2:
286:
275:
272:
270:
267:
265:
262:
260:
257:
255:
252:
250:
247:
245:
242:
240:
237:
235:
232:
230:
229:Living people
227:
226:
224:
203:
197:
195:
193:
191:
186:
175:
171:
167:
163:
162:
158:
152:
148:
145:
141:
137:
136:Prentice-Hall
133:
129:
126:
123:
119:
115:
111:
107:
106:
100:
98:
94:
90:
85:
83:
79:
75:
71:
67:
63:
59:
49:
47:
43:
39:
35:
31:
27:
21:
16:
207:26 September
205:. Retrieved
154:
149:Jim Davies,
131:
128:Jim Woodcock
109:
108:Jim Davies,
91:, including
86:
55:
25:
24:
15:
151:Bill Roscoe
58:mathematics
223:Categories
181:References
161:Tony Hoare
97:Z notation
26:Jim Davies
157:Microsoft
52:Biography
30:Professor
116:, 1993.
78:Reading
46:England
40:at the
172:
142:
120:
80:, and
74:Oxford
103:Books
72:, at
209:2009
170:ISBN
140:ISBN
118:ISBN
60:at
32:of
28:is
225::
189:^
164:.
134:.
112:.
99:.
76:,
48:.
44:,
211:.
176:.
146:.
124:.
22:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.