WorldCat Identities

Wirsing, M. (Martin)

Overview
Works: 124 works in 375 publications in 2 languages and 6,444 library holdings
Genres: Conference proceedings 
Roles: Editor, Creator, Other
Classifications: QA76.758, 005.1
Publication Timeline
Key
Publications about  M Wirsing Publications about M Wirsing
Publications by  M Wirsing Publications by M Wirsing
Most widely held works by M Wirsing
Theoretical aspects of computing -- ICTAC 2005 second international colloquium, Hanoi, Vietnam, October 17-21, 2005 : proceedings by Dang Van Hung ( )
13 editions published in 2005 in English and held by 548 WorldCat member libraries worldwide
Adapting proofs-as-programs the Curry-Howard protocol by Iman Hafiz Poernomo ( )
14 editions published between 2005 and 2011 in English and held by 535 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 453 WorldCat member libraries worldwide
Trustworthly [ie: Trustworthy] global computing 5th international symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers by M Wirsing ( )
10 editions published in 2010 in English and held by 389 WorldCat member libraries worldwide
Annotation
Rigorous software engineering for service-oriented systems results of the SENSORIA Project on software engineering for service-oriented computing by M Wirsing ( )
9 editions published in 2011 in English and held by 375 WorldCat member libraries worldwide
Algebraic methods : theory, tools, and applications by M Wirsing ( Book )
19 editions published in 1989 in English and held by 354 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 341 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
Programming language implementation and logic programming : 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991 : proceedings by J Małuszyński ( Book )
12 editions published in 1991 in English and held by 307 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
Algebraic methodology and software technology : 5th international conference, AMAST '96, Munich, Germany, July 1-5, 1996 : proceedings by M Wirsing ( Book )
15 editions published in 1996 in English and held by 306 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
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 )
11 editions published in 2004 in English and held by 306 WorldCat member libraries worldwide
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 held by 300 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 : 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 297 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
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 284 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
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 )
9 editions published in 2003 in English and held by 271 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
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 )
12 editions published in 1987 in English and German and held by 248 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 IFIP Working Conference on Formal Description of Programming Concepts ( Book )
18 editions published in 1987 in English and held by 127 WorldCat member libraries worldwide
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
Radical innovations of software and systems engineering in the future : 9th international workshop, RISSEF 2002, Venice, Italy, October 7 - 11. 2002 ; revised papers ( Book )
3 editions published in 2004 in English and held by 21 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
STACS 87 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, FRG, February 19-21, 1987 by F. J Brandenburg ( )
3 editions published in 1987 in English and held by 20 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.39 for Elementare ... to 0.88 for Recent tre ...)
Alternative Names
Wirsing, M.
Wirsing, Martin
Wirsing, Martin Hermann Friedrich 1948- Vollstaendiger Name
Languages
English (223)
German (7)
Covers