Michael G. Hinchey is an Irish computer scientist, now based in the United States. Ireland ( Irish: Éire, ˈeːrʲə is a country in north-western Europe. The United States of America —commonly referred to as the
Mike Hinchey studied at the University of Limerick as an undergraduate, Oxford University for his MSc and Cambridge University for his PhD. The University of Limerick ( UL) (Ollscoil Luimnigh was established in 1972 as the National Institute for Higher Education, Limerick and The University of Oxford (informally "Oxford University" or simply "Oxford" located in the city of Oxford, Oxfordshire, England is the The University of Cambridge (often Cambridge University) located in Cambridge, England, is the second-oldest university in the
Hinchey has been a promulgator of formal methods throughout his career, especially CSP and the Z notation. In Computer science and Software engineering, formal methods are particular kind of Mathematically -based techniques for the specification, development In Computer science, Communicating Sequential Processes ( CSP) is a formal language for describing Patterns of Interaction in Concurrent The Z notation (formally zɛd named after Zermelo-Fränkel set theory, is a formal Specification language used for describing and modeling computing systems He was Director of the Software Engineering Laboratory at NASA Goddard Space Flight Center and is the founding editor-in-chief of the NASA journal Innovations in Systems and Software Engineering, launched in 2005. The Goddard Space Flight Center ( GSFC) is a major NASA space research laboratory established on May 1, 1959 as NASA's first space flight The National Aeronautics and Space Administration ( NASA, ˈnæsə is an agency of the United States government, responsible for the nation's public space program Innovations in Systems and Software Engineering is a Computer science journal covering Systems engineering and Software engineering. He has held numerous visiting professorships and is currently based at Loyola College in Maryland, USA. Loyola College in Maryland is a private Coeducational University in Baltimore, Maryland, United States, affiliated with the The United States of America —commonly referred to as the He is a Fellow of the IET, a Fellow of the IMA, and a Senior Member of the IEEE. The Institution of Engineering and Technology ( IET) is a British Professional body for those working in Engineering and Technology The Institute of Mathematics and its Applications (IMA is distinct from the Institute '''for''' Mathematics and its Applications in Minneapolis. The Institute of Electrical and Electronics Engineers or IEEE (read eye-triple-e) is an international Non-profit, professional organization
Selected publications
- Hinchey, M. G. and Bowen, J.P., editors, Applications of Formal Methods. Jonathan P Bowen FBCS FRSA (born 1956 is a British computer scientist Prentice Hall International Series in Computer Science, 1995. Prentice Hall is a leading educational publisher It is an Imprint of Pearson Education Inc ISBN 0-13-366949-1.
- Bowen, J. P. and Hinchey, M. G. , editors, High-Integrity System Specification and Design. Springer-Verlag, London, FACIT series, 1999. Springer Science+Business Media or Springer (ˈʃpʁɪŋɐ is a worldwide Publishing company based in Germany, which publishes textbooks academic ISBN 3-540-76226-4.
- Hinchey, M. G. and Bowen, J. P. , editors, Industrial-Strength Formal Methods in Practice. Springer-Verlag, London, FACIT series, 1999. ISBN 1-85233-640-4.
External links
- Mike Hinchey biography
- Michael G. Hinchey bibliography in the DBLP database
Dapyx Software network: MP3 Explorer | Ebook Manager | Zenithic