|
Prentice Hall International Series In Computer Science
Prentice Hall International Series in Computer Science was a series of books on computer science published by Prentice Hall. The series' founding editor was Tony Hoare. Richard Bird subsequently took over editing the series. Many of the books in the series have been in the area of formal methods in particular. Selected books The following books were published in the series: * R. S. Bird, ''Introduction to Functional Programming using Haskell'', 2nd edition, 1998. . * R. S. Bird and O. de Moor, ''Algebra of Programming'', 1996. . (100th volume in the series.) * O.-J. Dahl, ''Verifiable Programming'', 1992. . * D. M. Gabbay, ''Elementary Logics: A Procedural Perspective'', 1998. . * I. J. Hayes (ed.), ''Specification Cases Studies'', 2nd edition, 1993. . * M. G. Hinchey and J. P. Bowen (eds.), ''Applications of Formal Methods'', 1996. . * C. A. R. Hoare, ''Communicating Sequential Processes'', 1985. hardback or paperback. * C. A. R. Hoare and M. J. C. Gordon, ''Mechanized Re ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Computer Science
Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to Applied science, practical disciplines (including the design and implementation of Computer architecture, hardware and Computer programming, software). Computer science is generally considered an area of research, academic research and distinct from computer programming. Algorithms and data structures are central to computer science. The theory of computation concerns abstract models of computation and general classes of computational problem, problems that can be solved using them. The fields of cryptography and computer security involve studying the means for secure communication and for preventing Vulnerability (computing), security vulnerabilities. Computer graphics (computer science), Computer graphics and computational geometry address the generation of images. Progr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathai Joseph
Mathai Joseph is an Indian computer scientist and author. Early life and education Joseph studied for a BSc in physics at Wilson College (Mumbai, India, 1962) and an MSc in the same subject at the University of Mumbai in 1964. He later studied for a Postgraduate Diploma in electronics at the Welsh College of Advanced Technology (1965) and then undertook a PhD in computing at Churchill College, Cambridge under the supervision of David Wheeler (awarded 1968). From 1968 to 1985, Joseph worked on programming as a Fellow and Senior Research Scientist at the Tata Institute of Fundamental Research (Mumbai, India) and then became professor of computer science at the University of Warwick in England for 12 years (1985–97). He returned to India in 1997. He then worked in industry as Executive Director at the Tata Research Development and Design Centre (Pune) and as Executive Vice-President at Tata Consultancy Services (1997–2007). Career Joseph was a visiting professor at Carn ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Series Of Books
A book series is a sequence of books having certain characteristics in common that are formally identified together as a group. Book series can be organized in different ways, such as written by the same author, or marketed as a group by their publisher. Publishers' reprint series Reprint series of public domain fiction (and sometimes nonfiction) books appeared as early as the 18th century, with the series ''The Poets of Great Britain Complete from Chaucer to Churchill'' (founded by British publisher John Bell in 1777). In 1841 the German Tauchnitz publishing firm launched the ''Collection of British and American Authors'', a reprint series of inexpensive paperbound editions of both public domain and copyrighted fiction and nonfiction works. This book series was unique for paying living authors of the works published even though copyright protection did not exist between nations in the 19th century. Later British reprint series were to include the ''Routledge's Railway Library ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Year Of Disestablishment Missing
A year or annus is the orbital period of a planetary body, for example, the Earth, moving in its orbit around the Sun. Due to the Earth's axial tilt, the course of a year sees the passing of the seasons, marked by change in weather, the hours of daylight, and, consequently, vegetation and soil fertility. In temperate and subpolar regions around the planet, four seasons are generally recognized: spring, summer, autumn and winter. In tropical and subtropical regions, several geographical sectors do not present defined seasons; but in the seasonal tropics, the annual wet and dry seasons are recognized and tracked. A calendar year is an approximation of the number of days of the Earth's orbital period, as counted in a given calendar. The Gregorian calendar, or modern calendar, presents its calendar year to be either a common year of 365 days or a leap year of 366 days, as do the Julian calendars. For the Gregorian calendar, the average length of the calendar year (the mean yea ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Year Of Establishment Missing
A year or annus is the orbital period of a planetary body, for example, the Earth, moving in its orbit around the Sun. Due to the Earth's axial tilt, the course of a year sees the passing of the seasons, marked by change in weather, the hours of daylight, and, consequently, vegetation and soil fertility. In temperate and subpolar regions around the planet, four seasons are generally recognized: spring, summer, autumn and winter. In tropical and subtropical regions, several geographical sectors do not present defined seasons; but in the seasonal tropics, the annual wet and dry seasons are recognized and tracked. A calendar year is an approximation of the number of days of the Earth's orbital period, as counted in a given calendar. The Gregorian calendar, or modern calendar, presents its calendar year to be either a common year of 365 days or a leap year of 366 days, as do the Julian calendars. For the Gregorian calendar, the average length of the calendar year (the mean y ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Jim Davies (computer Scientist)
Jim Davies is Professor of Software Engineering and current Director of the Software Engineering Programme at the University of Oxford, England. Biography Jim Davies studied mathematics at New College, Oxford, joining the Oxford University Computing Laboratory (now the Oxford University Department of Computer Science) in 1986 for a Masters' and Doctorate. After working as a researcher and lecturer in computer science, at Oxford, Reading, and Royal Holloway, University of London, 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. Davies is an expert in formal methods, including Communicating Sequential Processes (CSP) and the Z notation. Books * Jim Davies, ''Specification and Proof in Real Time CSP''. Cambridge University Press, 1993. . * Jim Woodcock and Jim Davies, ''Using Z: Specification, Refinement, and Proof''. Prentice-Hall International ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Z Notation
The Z notation is a formal specification language used for describing and modelling computing systems. It is targeted at the clear specification of computer programs and computer-based systems in general. History In 1974, Jean-Raymond Abrial published "Data Semantics". He used a notation that would later be taught in the University of Grenoble until the end of the 1980s. While at EDF ( Électricité de France), working with Bertrand Meyer, Abrial also worked on developing Z. The Z notation is used in the 1980 book ''Méthodes de programmation''. Z was originally proposed by Abrial in 1977 with the help of Steve Schuman and Bertrand Meyer. It was developed further at the Programming Research Group at Oxford University, where Abrial worked in the early 1980s, having arrived at Oxford in September 1979. Abrial has said that Z is so named "Because it is the ultimate language!" although the name "Zermelo" is also associated with the Z notation through its use of Zermelo–Fraenkel ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Michael Spivey
Michael Spivey (commonly known as Mike Spivey) is a British computer scientist at the University of Oxford. Spivey was born in 1960 and educated at Archbishop Holgate's Grammar School in York, England. He studied mathematics at Christ's College, Cambridge and then undertook a DPhil in computer science on the Z notation at Wolfson College, Oxford and the Programming Research Group, part of the Oxford University Computing Laboratory. Mike Spivey is a University Lecturer in Computation at the Oxford University Department of Computer Science and Misys and Anderson Fellow of Computer Science at Oriel College, Oxford. His main areas of research interest are compilers and programming languages, especially logic programming. He wrote an Oberon-2 compiler.Mike SpiveyOxford Oberon-2 compiler. Publications *Understanding Z: A Specification Language and its Formal Semantics', Cambridge University Press Cambridge University Press is the university press of the University of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Bill Roscoe
Andrew William Roscoe is a Scottish computer scientist. He was Head of the Department of Computer Science, University of Oxford from 2003 to 2014, and is a Professor of Computer Science. He is also a Fellow of University College, Oxford. Education and career Roscoe was born in Dundee, Scotland. He studied for a degree in mathematics at University College, Oxford, from 1975 to 1978, graduating with the top mark for his year in the university. He went on to work at the Computing Laboratory and received his DPhil in 1982. He was appointed Tutorial Fellow at University College in 1983 and served as Senior Tutor from 1993 to 1997. He was head of the Department of Computer Science 2003-08 and 2009–14. Research Professor Roscoe works in the area of concurrency theory, in particular the semantic underpinning of Communicating Sequential Processes (CSP) and the associated occam programming language with Sir Tony Hoare.Roscoe, A.W., Jones, C.B. and Wood, K. (eds.), ''Reflections ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Carroll Morgan (computer Scientist)
Charles ''Carroll'' Morgan (born 1952) is an American computer scientist who moved to Australia in his early teens. He completed his education there (high school, university, several years in industry), including a Doctor of Philosophy (Ph.D.) degree from the University of Sydney, and then moved to the United Kingdom in the early 1980s. In 2000, he returned to Australia. During the 1980s and 1990s, Morgan was based at the Oxford University Computing Laboratory in England as a researcher and lecturer working in the area of formal methods, and was a Fellow of Pembroke College. Having been influenced by the Z notation of Jean-Raymond Abrial, he authored ''Programming from Specifications'' as an attempt to combine the high-level specification aspects of Z, with the rigorous computer program derivation methods of Edsger W. Dijkstra. His treatment concentrated on elementary program constructs to make the material accessible to Undergraduate education, undergraduates in their early years ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Robin Milner
Arthur John Robin Gorell Milner (13 January 1934 – 20 March 2010), known as Robin Milner or A. J. R. G. Milner, was a British computer scientist, and a Turing Award winner.Obituary – Professor Robin Milner: computer scientist '''', 31 March 2010. Life, education and career Milner was born in , near , |
Object-Oriented Software Construction
''Object-Oriented Software Construction'' is a book by Bertrand Meyer, widely considered a foundational text of object-oriented programming. The first edition was published in 1988; the second, extensively revised and expanded edition (more than 1300 pages), in 1997. Numerous translations are available including Dutch (first edition only), French (1+2), German (1), Italian (1), Japanese (1+2), Persian (1), Polish (2), Romanian (1), Russian (2), Serbian (2), and Spanish (2). The book has been cited thousands of timesThe ACM's ''Guide to Computing Literature'' count2,233 citations as of December, 15, 2011for the second edition alone in computer science journals and technical books; Google Scholar (December 15, 2011) lists 7,305 citations; the book appears as number 35 in th(books, articles etc.) in computer science, with 1260 citations (September 2006). in computer science literature. The book won a Jolt award in 1994. [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
