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.
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.
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.
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.
Handbook of theoretical computer science (vol. B) (1991)
Extraction of Structured Programs from Specification Proofs
John N. Crossley;Iman Poernomo;Martin Wirsing.
workshop on recent trends in algebraic development techniques (1999)
Leveraging Applications of Formal Methods, Verification and Validation
Martin Wirsing;Matthias Hölzl;Lucia Acciai;Federico Banti.
Springer-Verlag GmbH (2008)
A Kernel Language for Algebraic Specification and Implementation - Extended Abstract
Donald Sannella;Martin Wirsing.
fundamentals of computation theory (1983)
Partial abstract types
Manfred Broy;Martin Wirsing.
Acta Informatica (1982)
Formal Syntax and Semantics of Java
Pietro Cenciarelli;Alexander Knapp;Bernhard Reus;Martin Wirsing.
CHAPTER 13 – Algebraic Specification
Formal Models and Semantics (1990)
The Munich Project CIP: Volume I: The Wide Spectrum Language CIP-L
F L Bauer;R Berghammer;M Broy;W Dosch.
Structured algebraic specifications: A kernel language
Theoretical Computer Science (1986)
A Kernel Language for Algebraic Specification and Implementation.
Donald Sannella;Martin Wirsing.
Annales Des Télécommunications (1983)
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: