Jim Woodcock - PDFSEARCH.IO - Document Search Engine

Jim Woodcock
Results: 11

#	Item
1	Appendix E: Alternative Approaches The models in this appendix were contributed by Michael Butler, John Fitzgerald, Martin Gogolla, Peter Gorm Larsen, and Jim Woodcock, and are included here with their permission. Alloy Add to Reading List Source URL: softwareabstractions.org Language: English - Date: 2011-11-29 16:51:54
2	Appendix E: Alternative Approaches The models in this appendix were contributed by Michael Butler, John Fitzgerald, Martin Gogolla, Peter Gorm Larsen, and Jim Woodcock, and are included here with their permission. Alloy Add to Reading List Source URL: alloy.mit.edu Language: English - Date: 2012-08-05 17:30:05
3	UTP Theories of Undefinedness Jim Woodcock & Victor Bandur University of York UTP Symposium, Paris: 27 August Add to Reading List Source URL: utp12.lri.fr Language: English - Date: 2012-08-27 02:26:18 Computability theory Formal methods Model theory Models of computation Lambda calculus Predicate Interpretation Function Primitive recursive function Logic Mathematical logic Mathematics
4	hiJaC Circus Time with Reactive Designs Kun Wei, Jim Woodcock and Ana Cavalcanti Department of Computer Science University of York Add to Reading List Source URL: utp12.lri.fr Language: English - Date: 2012-08-27 06:45:30
5	Millennial Perspectives in Computer Science, pages; Jim Davies, Bill Roscoe, Jim Woodcock eds;Palgrave, 2000 The Real World Michael Jackson 1 Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2004-03-15 05:39:44 ALGOL 68 Time Dimensional analysis Transmission Control Protocol Computing Programming language theory Software engineering
6	hiJaC Contracts in a State-rich Timed Process Algebra Kun Wei, Jim Woodcock and Ana Cavalcanti Department of Computer Science University of York Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2013-02-26 07:24:06 Boolean algebra Mathematical logic Communicating sequential processes Process calculus Circus Process calculi
7	A Formal Account of the Safety-Critical Java Mission Model Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2011-02-15 05:23:51 Computer programming Andy Wellings Jim Woodcock Woodcock Ada Real time Java Circus Control theory Computing Year of birth missing Software engineering
8	Circus-SCJ Time Action Model Kun Wei and Jim Woodcock Department of Computer Science University of York, UK October 11, 2011 Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2011-10-11 09:09:36 Circus Trace
9	MSc in Social Media and Interactive Technologies This course is organised and taught jointly with the Department of Sociology, and is fully described on page 155. Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2015-03-03 05:49:23 Doctor of Philosophy Computer science Engineering Jim Woodcock Education in the United Kingdom Science British people Fellows of the British Computer Society Doctoral Training Centre Higher education in the United Kingdom
10	Appendix E: Alternative Approaches The models in this appendix were contributed by Michael Butler, John Fitzgerald, Martin Gogolla, Peter Gorm Larsen, and Jim Woodcock, and are included here with their permission. Alloy Add to Reading List Source URL: www.softwareabstractions.org Language: English - Date: 2011-11-29 16:51:54 Alloy Theoretical computer science Formal methods KeY Keycard lock

UPDATE