WorldCat Identities

Wirsing, M. (Martin)

Overview
Works: 143 works in 456 publications in 3 languages and 6,965 library holdings
Genres: Conference proceedings 
Roles: Author, Editor, Creator, Other
Classifications: QA76.758, 005.1
Publication Timeline
.
Most widely held works by M Wirsing
Theoretical aspects of computing -- ICTAC 2005 second international colloquium, Hanoi, Vietnam, October 17-21, 2005 : proceedings by Hung Van Dang( )
15 editions published in 2005 in English and held by 569 WorldCat member libraries worldwide
Adapting proofs-as-programs the Curry-Howard protocol by Iman Hafiz Poernomo( )
17 editions published between 2005 and 2011 in English and held by 564 WorldCat member libraries worldwide
"The book is intended for graduate students in computer science or mathematics who wish to extend their background in logic and type theory as well as gain experience working with logical frameworks and practical proof systems. In addition, the proofs-as-programs research community, and the wider computational logic, formal methods and software engineering communities will benefit. The applications given in the book should be of interest for researchers working in the target problem domains."--BOOK JACKET
Software-intensive systems and new computing paradigms challenges and visions by David Hutchison( )
13 editions published in 2008 in English and held by 476 WorldCat member libraries worldwide
Fundamental approaches to software engineering 12th International Conference, FASE 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, proceedings by Marsha Chechik( )
12 editions published in 2009 in English and held by 436 WorldCat member libraries worldwide
Annotation This book constitutes the refereed proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering, FASE 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. The 30 revised full papers presented together with 2 tool demonstrations were carefully reviewed and selected from 123 regluar and 9 tool paper submissions. The topics addressed are model-driven development, synthesis and adaptation, modeling, testing and debugging, model analysis, patterns, security, queries and error handling, and tools (demos) and program analysis
Trustworthly [ie: Trustworthy] global computing 5th international symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers by M Wirsing( )
11 editions published in 2010 in English and held by 417 WorldCat member libraries worldwide
This book constitutes the refereed proceedings of the 5th International Symposium on Trustworthly Global Computing, TGC 2010, held in Munich, Germany, in February 2010. The 17 revised full papers presented and the 7 invited papers were carefully reviewed and selected from 31 submissions. The papers are organized in topical sections on types and processes; games and concurrent systems; certification of correctness; tools and languages; and probabilistic aspects
Rigorous software engineering for service-oriented systems results of the SENSORIA Project on software engineering for service-oriented computing by M Wirsing( )
11 editions published in 2011 in English and held by 407 WorldCat member libraries worldwide
Service-Oriented Computing is a paradigm for developing and providing software that can address many IT challenges, ranging from integrating legacy systems to building new, massively distributed, interoperable, evaluable systems and applications. The widespread use of SOC demonstrates the practical benefits of this approach. Furthermore it raises the standard for reliability, security, and performance for IT providers, system integrators, and software developers. This book documents the main results of Sensoria, an Integrated Project funded by the European Commission in the period 2005-2010. The book presents, as Sensoria's essence, a novel, coherent, and comprehensive approach to the design, formal analysis, automated deployment, and reengineering of service-oriented applications. Following a motivating introduction, the 32 chapters are organized in the following topical parts: modeling in service-oriented architectures; calculi for service-oriented computing; negotiation, planning, and reconfiguration; qualitative analysis techniques for SOC; quantitative analysis techniques for SOC; model-driven development and reverse engineering for service-oriented systems; and case studies and patterns
Algebraic methods : theory, tools, and applications by M Wirsing( Book )
19 editions published in 1989 in 3 languages and held by 396 WorldCat member libraries worldwide
Methods of programming : selected papers on the CIP-project by M Broy( Book )
14 editions published in 1991 in English and German and held by 361 WorldCat member libraries worldwide
"The systematic development of software systems is a central task of computing science. A software system is the result of putting together knowledge about the application, the requirements and the structures of computing science. Under the heading CIP (Computer-aided Intuition-guided Programming), a group of researchers led by Prof. F.L. Bauer and Prof. K. Samelson started work in 1975 in the direction of formal program specification, transformational programming, and tool supportfor program development. The collection of papers in this volume presents examples of a formal approach to programming language concepts and program development based on algebraic specifications and program transformations. Examples are also presented of evolutions and modificationsof the original ideas of the CIP project. The topics range from descriptionsof the program development process to derivations of algorithms from specifications. The volume is dedicated to Prof. F.L. Bauer."--PUBLISHER'S WEBSITE
Radical Innovations of Software and Systems Engineering in the Future : 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002 : revised papers by M Wirsing( Book )
16 editions published in 2004 in English and held by 335 WorldCat member libraries worldwide
This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on Radical Innovations of Software and Systems Engineering in the Future, RISSEF 2002, held in Venice, Italy, in October 2002. The 24 revised full papers presented were carefully reviewed and selected from the 36 invited workshop presentations. The authors evaluate all major paradigms and conceptual issues in software and systems design and analysis, especially regarding their potential for modifications to cope with future needs
Algebraic methodology and software technology : 5th international conference, AMAST '96, Munich, Germany, July 1-5, 1996 : proceedings by M Wirsing( Book )
16 editions published in 1996 in English and held by 330 WorldCat member libraries worldwide
"This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Methodology and Software Technology, AMAST '96, held in Munich, Germany, in July 1996. The book presents 25 revised full papers selected from a total of 67 submissions and 23 system demonstrations; also included are six invited talks and six invited presentations of the AMAST Education Day on industrial applications of formal methods. The full papers are organized in topical sections on theorem proving, algebraic specification, concurrent and reactive systems, program verification, logic programming and term rewriting, and algebraic and logical foundations."--PUBLISHER'S WEBSITE
STACS 88 : 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13, 1988 : proceedings by Robert Cori( Book )
18 editions published in 1988 in English and Italian and held by 326 WorldCat member libraries worldwide
This volume contains the presentations of the Fifth Symposium on Theoretical Aspects of Computer Science (STACS 88) held at the University of Bordeaux, February 11-13, 1988. In addition to papers presented in the regular program the volume contains abstracts of software systems demonstrations which were included in this conference series in order to show applications of research results in theoretical computer science. The papers are grouped into the following thematic sections: algorithms, complexity, formal languages, rewriting systems and abstract data types, graph grammars, distributed algorithms, geometrical algorithms, trace languages, semantics of parallelism
Programming language implementation and logic programming : 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991 : proceedings by J Małuszyński( Book )
13 editions published in 1991 in English and held by 310 WorldCat member libraries worldwide
"This volume contains the papers which have been accepted for presentation atthe Third International Symposium on Programming Language Implementation andLogic Programming (PLILP '91) held in Passau, Germany, August 26-28, 1991. The aim of the symposium was to explore new declarative concepts, methods and techniques relevant for the implementation of all kinds of programming languages, whether algorithmic or declarative ones. The intention was to gather researchers from the fields of algorithmic programming languages as well as logic, functional and object-oriented programming. This volume contains the two invited talks given at the symposium by H. Ait-Kaci and D.B. MacQueen, 32 selected papers, and abstracts of several system demonstrations. The proceedings of PLILP '88 and PLILP '90 are available as Lecture Notes in Computer Science Volumes 348 and 456"--PUBLISHER'S WEBSITE
Programming language implementation and logic programming : 4th International Symposium, PLILP '92, Leuven, Belgium, August 26-28, 1992 : proceedings by M Bruynooghe( Book )
13 editions published in 1992 in English and held by 302 WorldCat member libraries worldwide
"This volume contains the papers accepted for presentation at the Fourth International Symposium on Programming Language Implementation and Logic Programming (PLILP '92) held in Leuven, Belgium, August 26-28, 1992. Theaim of the symposium was to explore new declarative concepts, methods and techniques relevant for implementation of all kinds of programming languages, whether algorithmic or declarative. The symposium gathered researchers from the fields of algorithmic programming languages as well as logic, functional, and object-oriented programming. The topics discussed in the volume include: - Declarative implementation techniques; - Implementation of declarative concepts and modules; - Compiler specification and construction; - Program transformation; - Programming environments for declarative languages; - Amalgamation of logic programming with algorithmic, functional, or object-oriented techniques; - Executable specification."--PUBLISHER'S WEBSITE
Recent trends in algebraic development techniques : 14th international workshop, WADT'99, Château de Bonas, September 15-18, 1999 : selected papers by M Wirsing( Book )
12 editions published in 2003 in English and Undetermined and held by 298 WorldCat member libraries worldwide
This book constitutes the thoroughly refereed post-proceedings of the 16th International Workshop on Algebraic Development Techniques, WADT 2002, held at Frauenchiemsee, Germany in September 2002. The 20 revised full papers presented together with 6 invited papers were carefully improved and selected from 44 workshop presentations during two rounds of reviewing. The papers are devoted to topics like formal methods for system development, specification languages and methods, systems and techniques for reasoning about specifications, specification development systems, methods and techniques for concurrent, distributed, and mobile systems, and algebraic and co-algebraic methods
Web engineering : 4th international conference, ICWE 2004, Munich, Germany, July 26-30, 2004 ; proceedings by Nora Koch( Book )
10 editions published in 2004 in English and held by 281 WorldCat member libraries worldwide
This book constitutes the refereed proceedings of the 4th International Conference on Web Engineering, ICWE 2004, held in Munich, Germany, in July 2004. The 25 revised full papers, 42 short papers, and 24 posters presented together with abstracts of 3 invited papers were carefully reviewed and selected from 204 submissions. The papers are organized in topical sections on Web quality and usability, conceptual modeling; Web services and distributed processes and systems; Web metrics, cost estimation, and measurement; personalization and adaptation of Web applications; code generation and tools; development process and process improvement of Web applications; semantic Web applications; performance; Web data models, query, and representation languages; Web interface engineering; security, safety, and reliability; Web mining, user models, and data analysis
STACS 87 : 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, Federal Republic of Germany, February 19-21, 1987, proceedings by F. J Brandenburg( Book )
11 editions published in 1987 in English and German and held by 271 WorldCat member libraries worldwide
Formal description of programming concepts--III : proceedings of the IFIP TC 2/WG 2.2 Working Conference on Formal Description of Programming Concepts--III, Ebberup, Denmark, 25-28 August 1986 by Working Conference on Formal Description of Programming Concepts( Book )
18 editions published in 1987 in English and held by 122 WorldCat member libraries worldwide
Logic of Programs. Concurrency. Semantics. Term rewriting and logic programming. Higher order programming
Elementare Aussagenlogik : mit 6 Tabellen by Friedrich Ludwig Bauer( Book )
4 editions published in 1991 in German and held by 63 WorldCat member libraries worldwide
The Munich Project CIP by F. L Brauer( )
4 editions published in 1985 in English and held by 51 WorldCat member libraries worldwide
Program construction : international summer school by Friedrich Ludwig Bauer( )
3 editions published in 1979 in English and held by 40 WorldCat member libraries worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.79 (from 0.47 for Elementare ... to 0.89 for Recent tre ...)
Alternative Names
Wirsing, M.
Wirsing, Martin
Wirsing, Martin Hermann Friedrich 1948-
Languages
English (239)
German (7)
Italian (2)
Covers