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.
Algebraic specification
Martin Wirsing.
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)
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)
CHAPTER 13 – Algebraic Specification
Martin Wirsing.
Formal Models and Semantics (1990)
Structured algebraic specifications: A kernel language
M Wirsing.
Theoretical Computer Science (1986)
The Munich Project CIP: Volume I: The Wide Spectrum Language CIP-L
F L Bauer;R Berghammer;M Broy;W Dosch.
(1985)
A Kernel Language for Algebraic Specification and Implementation.
Donald Sannella;Martin Wirsing.
Annales Des Télécommunications (1983)
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:
Technical University of Munich
Ludwig-Maximilians-Universität München
IMT Institute for Advanced Studies Lucca
University of Warsaw
University of Illinois at Urbana-Champaign
University of Edinburgh
University of Pisa
University of Modena and Reggio Emilia
Fondazione Bruno Kessler
Institute of Information Science and Technologies
Systems Research Institute
KTH Royal Institute of Technology
Nanjing University
University of Arizona
University of Western Australia
Tohoku University
The University of Texas Health Science Center at San Antonio
Plymouth Marine Laboratory
King's College London
University of Washington
Haskins Laboratories
University of Warwick
The University of Texas MD Anderson Cancer Center
Beth Israel Deaconess Medical Center
Pompeu Fabra University
University of Chicago