What is he best known for?
The fields of study he is best known for:
- Programming language
- Operating system
- Software
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.
His most cited work include:
- Dynamic Software Product Lines (325 citations)
- Seven more myths of formal methods (254 citations)
- Ten commandments of formal methods (227 citations)
What are the main themes of his work throughout his whole career to date?
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.
He most often published in these fields:
- Software engineering (30.27%)
- Formal methods (24.86%)
- Systems engineering (21.35%)
What were the highlights of his more recent work (between 2012-2021)?
- Systems engineering (21.35%)
- Software engineering (30.27%)
- Requirements engineering (3.51%)
In recent papers he was focusing on the following fields of study:
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.
Between 2012 and 2021, his most popular works were:
- An overview of Dynamic Software Product Line architectures and techniques: Observations from research and industry (112 citations)
- Dynamic Software Product Lines (52 citations)
- Context Variability for Context-Aware Systems (27 citations)
In his most recent research, the most cited papers focused on:
- Operating system
- Programming language
- Software
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.
