Mike Hinchey focuses on Software engineering, Formal methods, Formal specification, Software and Systems engineering. His research in Software engineering intersects with topics in Software development, Domain engineering, Software system, Agile software engineering and Autonomic computing. He has included themes like Agile Unified Process, Concurrency and Code generation in his Formal methods study.
His Formal specification study deals with Formal verification intersecting with Software quality, Distributed operating system, Microprocessor and Instrumentation. He regularly ties together related areas like Process in his Software studies. His Systems engineering research includes elements of Spacecraft, Swarm behaviour, Simulation and Space exploration.
The scientist’s investigation covers issues in Software engineering, Formal methods, Systems engineering, Formal specification and Autonomic computing. Mike Hinchey combines subjects such as Ubiquitous computing and Software system, Software, Software development with his study of Software engineering. Particularly relevant to Software quality is his body of work in Software.
The study incorporates disciplines such as Formal verification and Correctness in addition to Formal methods. His work in Systems engineering covers topics such as Swarm behaviour which are related to areas like Swarm intelligence. As a part of the same scientific family, Mike Hinchey mostly works in the field of Formal specification, focusing on System requirements specification and, on occasion, Distributed computing.
Systems engineering, Software engineering, Requirements engineering, Knowledge representation and reasoning and Software development are his primary areas of study. The various areas that Mike Hinchey examines in his Systems engineering study include Spacecraft, Space technology, Adaptive system, Artificial intelligence and Space exploration. His Spacecraft research focuses on subjects like Formal methods, which are linked to Media studies, Cover and Computation.
His Software engineering study focuses on Formal specification in particular. His Knowledge representation and reasoning research is multidisciplinary, incorporating elements of Perception, Knowledge management, Formal language, Human–computer interaction and Robot. His research in Software development tackles topics such as Software system which are related to areas like Software product line and Adaptation.
Mike Hinchey mainly investigates Requirements engineering, Systems engineering, Software development, Software system and Space exploration. His research in Systems engineering focuses on subjects like Artificial intelligence, which are connected to Control system. His Software development research incorporates elements of Robot and Context model.
The concepts of his Space exploration study are interwoven with issues in Spacecraft, Open research, Simulation and Automation. His Software construction study combines topics in areas such as Component-based software engineering and Software engineering. His study in Software engineering focuses on Software deployment and Formal specification.
This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.
Dynamic Software Product Lines
S. Hallsteinsen;M. Hinchey;Sooyong Park;K. Schmid.
IEEE Computer (2008)
Seven more myths of formal methods
J.P. Bowen;M.G. Hinchey.
IEEE Software (1995)
Ten commandments of formal methods
J.P. Bowen;M.G. Hinchey.
IEEE Computer (1995)
Applications of Formal Methods
Jonathan P. Bowen;Michael G. Hinchey.
Swarms and Swarm Intelligence
M.G. Hinchey;R. Sterritt;C. Rouff.
IEEE Computer (2007)
Fulfilling the Vision of Autonomic Computing
S. Dobson;R. Sterritt;P. Nixon;M. Hinchey.
IEEE Computer (2010)
Formal Approaches to Agent-Based Systems
Michael G. Hinchey;James L. Rash;Walter F. Truszkowski;Christopher Rouff.
An overview of Dynamic Software Product Line architectures and techniques: Observations from research and industry
Rafael Capilla;Jan Bosch;Pablo Trinidad;Antonio Ruiz-Cortés.
Journal of Systems and Software (2014)
NASA's swarm missions: the challenge of building autonomous software
W. Truszkowski;M. Hinchey;J. Rash;C. Rouff.
IT Professional (2004)
Ten Commandments of Formal Methods ...Ten Years Later
J.P. Bowen;M.G. Hinchey.
IEEE Computer (2006)
Profile was last updated on December 6th, 2021.
Research.com Ranking is based on data retrieved from the Microsoft Academic Graph (MAG).
The ranking h-index is inferred from publications deemed to belong to the considered discipline.
If you think any of the details on this page are incorrect, let us know.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below: