WorldCat Identities

Hinchey, Michael G. (Michael Gerard) 1969-

Overview
Works: 58 works in 264 publications in 1 language and 6,863 library holdings
Genres: Conference proceedings 
Roles: Editor, Creator
Classifications: QA76.9.F67, 005.1
Publication Timeline
Key
Publications about  Michael G Hinchey Publications about Michael G Hinchey
Publications by  Michael G Hinchey Publications by Michael G Hinchey
Most widely held works by Michael G Hinchey
Formal approaches to agent-based systems Third International Workshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004 : revised selected papers by Michael G Hinchey ( )
17 editions published between 2004 and 2005 in English and held by 557 WorldCat member libraries worldwide
Formal methods and software engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007 : proceedings by Chris George ( )
10 editions published in 2007 in English and held by 456 WorldCat member libraries worldwide
This book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, held in Boca Raton, Florida, USA, November 14-15, 2007. The 19 revised full papers together with 2 invited talks presented were carefully reviewed and selected from 38 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on security and knowledge, embedded systems, testing, automated analysis, hardware and concurrency
Agent technology from a formal perspective by Chris Rouff ( )
8 editions published between 2005 and 2006 in English and held by 424 WorldCat member libraries worldwide
Explores some of the key issues related to agent technology from a formal perspective, following the overwhelming response to the timely FAABS workshops in this interdisciplinary field. This book gives an introduction to agent-based systems and an overview of research undertaken in applying formal methods to agent-based systems
Conquering complexity by Michael G Hinchey ( )
12 editions published between 2011 and 2012 in English and held by 346 WorldCat member libraries worldwide
"Software has long been perceived as complex, at least within Software Engineering circles. We have been living in a recognised state of crisis since the first NATO Software Engineering conference in 1968. Time and again we have been proven unable to engineer reliable software as easily/cheaply as we imagined. Cost overruns and expensive failures are the norm. The problem is fundamentally one of complexity: software is fundamentally complex because it must be precise. Problems that appear to be specified quite easily in plain language become far more complex when written in a more formal notation, such as computer code. Comparisons with other engineering disciplines are deceptive. One cannot easily increase the factor of safety of software in the same way that one could in building a steel structure, for example. Software is typically built assuming perfection, often without adequate safety nets in case the unthinkable happens. In such circumstances it should not be surprising to find out that (seemingly) minor errors have the potential to cause entire software systems to collapse"--Provided by publisher
Experience from the DARPA Urban Challenge by Chris Rouff ( )
8 editions published between 2011 and 2012 in English and held by 302 WorldCat member libraries worldwide
Annotation
Software engineering and formal methods 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings by George Eleftherakis ( )
5 editions published in 2012 in English and held by 298 WorldCat member libraries worldwide
This book constitutes the refereed proceedings of the 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, held in Thessaloniki, Greece, in October 2012. The 19 revised research papers presented together with 3 short papers, 2 tool papers, and 2 invited talks were carefully reviewed and selected from 98 full submissions. The SEFM conference aspires to advance the state-of-the-art in formal methods, to enhance their scalability and usability with regards to their application in the software industry and to promote their integration with practical engineering methods
Formal approaches to agent-based systems : second international workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002 : revised papers by Michael G Hinchey ( Book )
8 editions published in 2003 in English and held by 296 WorldCat member libraries worldwide
This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop on Formal Approaches to Agent-Based Systems, FAABS 2002, held in Greenbelt, MD, in October 2002. The 18 revised full papers and 5 poster papers presented together with 9 panel statements and summaries were carefully selected for presentation during two rounds of reviewing and improvement. Among the topics addressed are formal models for agent communication, communication protocols, logic-based agents, statechart frameworks, formal specification of agent interaction, space shuttle applications, automated satellite ground operations, formal verification, agent control, multi-agent coordination, agent languages, mobile agent testing, battlefield agents, XML, autonomous agents, etc
ZUM '97, the Z formal specification notation : 10th International Conference of Z Users, Reading, UK, April 3-4, 1997 : proceedings by J. P Bowen ( Book )
11 editions published in 1997 in English and held by 287 WorldCat member libraries worldwide
This book constitutes the refereed proceedings of the 10th International Conference of Z Users, ZUM'97, held in Reading, UK, in April 1997. The volume presents 18 revised full papers together with three invited presentations by internationally leading experts. The papers are organized into topical sections on real-time systems, tools, logic, system development, reactive systems, refinement, and applications. Also a select Z bibliography by Jonathan Bowen is added. All in all, the book competently reports the state-of-the-art in research and advanced applications of the Z notation
Innovative concepts for agent-based systems : first International Workshop on Radical Agent Concepts, WRAC 2002, McLean, VA, USA, January 16-18, 2002 : revised papers by Walt Truszkowski ( Book )
9 editions published in 2003 in English and held by 281 WorldCat member libraries worldwide
This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Radical Agent Concepts, WRAC 2002, held in McLean, VA, USA in January 2002. The 32 revised full papers presented together with an invited article, 6 poster papers, and 2 panel reports were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on adaptation and learning, agent-based software engineering, agent architectures, agent communication and coordination, and innovative applications
ZUM '95, the Z formal specification notation : 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995 : proceedings by J. P Bowen ( Book )
9 editions published in 1995 in English and held by 237 WorldCat member libraries worldwide
This book presents the proceedings of the 9th International Conference of Z Users, ZUM '95, held in Limerick, Ireland in September 1995. The book contains 34 carefully selected papers on Z, using Z, applications of Z, proof, testing, industrial usage, object orientation, animation of specification, method integration, and teaching formal methods. Of particular interest is the inclusion of an annotated Z bibliography listing 544 entries. While focussing on Z, by far the most commonly used "formal method" both in industry and application, the volume is of high relevance for the whole formal methods community
Understanding formal methods by Jean François Monin ( Book )
9 editions published between 2002 and 2003 in English and held by 220 WorldCat member libraries worldwide
This volume provides a comprehensive introduction to the field of formal methods for students and practitioners. It strikes a careful balance between rigorous exposition of the underlying mathematics and concrete examples of implementations using real-life tools, thus making it easy to grasp the underlying concepts and theories. It does not aim to provide guidelines for using a particular method, or comparisons of different approaches, but rather a conceptual framework that the reader can use to master any given method. It therefore makes an invaluable practical companion to introductory texts on logic and to books dedicated to a particular formal method. Understanding Formal Methods will be of interest to advanced students and engineers who need to learn the basics of this topic, and also professionals who need to broaden their knowledge or bring themselves up-to-date with the latest techniques
Applications of formal methods ( Book )
12 editions published between 1995 and 1996 in English and held by 202 WorldCat member libraries worldwide
This collection of case studies contains contributions illustrating the application of formal methods to real-life problems with industrial relevance
Teaching and learning formal methods ( Book )
3 editions published in 1996 in English and held by 152 WorldCat member libraries worldwide
ZUM'98 : the Z formal specification notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998 : proceedings by International Conference of Z Users ( Book )
2 editions published in 1998 in English and held by 146 WorldCat member libraries worldwide
First IEEE International Conference Conference [sic] on Formal Engineering Methods : proceedings, Hiroshima, Japan, November 12-14, 1997 by IEEE International Conference on Formal Engineering Methods ( )
5 editions published in 1997 in English and held by 143 WorldCat member libraries worldwide
Industrial-strength formal methods in practice by Michael G Hinchey ( Book )
6 editions published in 1999 in English and held by 140 WorldCat member libraries worldwide
"Aimed mainly at practitioners in software engineering and formal methods, this book will also be of interest to academic researchers working in formal methods, and students on advanced software engineering courses who need real-life specifications and examples on which to base their work."--BOOK JACKET
Concurrent systems : formal development in CSP by Michael G Hinchey ( Book )
7 editions published in 1995 in English and held by 140 WorldCat member libraries worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.76 (from 0.66 for Agent tech ... to 0.90 for ZUM'98 : t ...)
Alternative Names
Hinchey, Michael
Hinchey, Michael G.
Hinchey, Mike.
Hinchey, Mike, 1969-
Languages
English (184)
Covers