What is he best known for?
The fields of study he is best known for:
- Programming language
- Artificial intelligence
- Algebra
His primary areas of investigation include Programming language, Algebraic specification, Theoretical computer science, Software engineering and Algebra.
His Programming language research includes elements of Simple and Existential quantification.
The Algebraic specification study combines topics in areas such as Discrete mathematics, Axiom, Algebraic modeling language and Data structure.
Martin Wirsing regularly links together related areas like Program analysis in his Theoretical computer science studies.
His work on Formal methods as part of general Software engineering study is frequently linked to End-user computing, therefore connecting diverse disciplines of science.
His study looks at the relationship between Algebra and fields such as Abstract data type, as well as how they intersect with chemical problems.
His most cited work include:
- Algebraic specification (524 citations)
- Extraction of Structured Programs from Specification Proofs (316 citations)
- Leveraging Applications of Formal Methods, Verification and Validation (205 citations)
What are the main themes of his work throughout his whole career to date?
Martin Wirsing mainly investigates Programming language, Theoretical computer science, Software engineering, Algebraic specification and Specification language.
His study in Mathematical proof extends to Programming language with its themes.
His Theoretical computer science research includes themes of Object-oriented programming, Rewriting, Correctness and Unified Modeling Language.
The Software engineering study which covers Software development that intersects with Class diagram.
To a larger extent, Martin Wirsing studies Algebra with the aim of understanding Algebraic specification.
The concepts of his Specification language study are interwoven with issues in Sublanguage and Programming language specification.
He most often published in these fields:
- Programming language (38.20%)
- Theoretical computer science (20.17%)
- Software engineering (17.60%)
What were the highlights of his more recent work (between 2011-2021)?
- Collective adaptive systems (3.43%)
- Software engineering (17.60%)
- Systems engineering (6.87%)
In recent papers he was focusing on the following fields of study:
Collective adaptive systems, Software engineering, Systems engineering, Distributed computing and Adaptation are his primary areas of study.
Formal methods is closely connected to Software in his research, which is encompassed under the umbrella topic of Software engineering.
His work deals with themes such as Field, Systems development life cycle and Adaptive system, which intersect with Systems engineering.
As a part of the same scientific study, Martin Wirsing usually deals with the Adaptation, concentrating on Software development process and frequently concerns with Component, Key, Real-time computing and Object-oriented programming.
His Model checking study is related to the wider topic of Programming language.
The study incorporates disciplines such as Reference modeling and Semantic domain in addition to Programming language.
Between 2011 and 2021, his most popular works were:
- Software Engineering for Collective Autonomic Systems (53 citations)
- Stable availability under denial of service attacks through formal patterns (39 citations)
- A Life Cycle for the Development of Autonomic Systems: The E-mobility Showcase (27 citations)
In his most recent research, the most cited papers focused on:
- Programming language
- Algebra
- Artificial intelligence
Martin Wirsing spends much of his time researching Theoretical computer science, Systems engineering, Software engineering, Adaptation and Rewriting.
His work carried out in the field of Theoretical computer science brings together such families of science as Correctness and State.
His Systems engineering course of study focuses on Adaptive system and Semantics.
Semantics is the subject of his research, which falls under Programming language.
His studies in Software engineering integrate themes in fields like Robot and Software.
His work deals with themes such as Systems development life cycle and Software development process, which intersect with Adaptation.
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.
