WorldCat Identities

Wirsing, M. (Martin)

Overview
Works: 112 works in 497 publications in 3 languages and 8,623 library holdings
Genres: Conference papers and proceedings 
Roles: Editor, Author, Other, Creator, Honoree
Classifications: QA76.76.D47, 005.1
Publication Timeline
.
Most widely held works by M Wirsing
Programming language implementation and logic programming : international workshop PLILP '90, Linköping, Sweden, August 20-22, 1990 : proceedings by M Bruynooghe( Book )

30 editions published between 1991 and 1992 in English and Italian and held by 507 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
Algebraic methods II : theory, tools, and applications by M Wirsing( Book )

23 editions published between 1989 and 1991 in 4 languages and held by 343 WorldCat member libraries worldwide

"The proper treatment and choice of the basic data structures is an important and complex part in the process of program construction. Algebraic methods provide techniques for data abstraction and the structured specification, validation and analysis of data structures. This volume originates from a workshop organized within ESPRIT Project 432 METEOR, An Integrated Formal Approach to Industrial Software Development, held in Mierlo, The Netherlands, September 1989. The volume includes five invited contributions based on workshop talks given by A. Finkelstein, P. Klint, C.A. Middelburg, E.-R. Olderog, and H.A. Partsch. Ten further papers by members of the METEOR team are based on talks given at the workshop. The workshop was a successor to an earlier one held in Passau, Germany, June 1987, the proceedings of which were published as Lecture Notes in Computer Science, Vol. 394"--PUBLISHER'S WEBSITE
Algebraic methodology and software technology : 4th international conference, AMAST '95, Montreal, Canada, July 3-7, 1995 : proceedings by M Wirsing( Book )

31 editions published between 1996 and 2000 in English and Italian and held by 319 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
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 300 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
STACS 88 : 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13, 1988 : proceedings by Robert Cori( Book )

21 editions published between 1987 and 1988 in English and Italian and held by 260 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
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 )

19 editions published between 1987 and 2007 in English and German and held by 233 WorldCat member libraries worldwide

Recent trends in algebraic development techniques : 13th international workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papers by José Luiz Fiadeiro( Book )

18 editions published in 2003 in English and Undetermined and held by 229 WorldCat member libraries worldwide

This book constitutes the thoroughly refereed post-workshop proceedings of the 13th International Workshop on Algebraic Development Techniques, WADT'98, held in Lisbon, Portugal, in April 1998, as part of ETAPS'98. The 21 revised full papers presented were selected during two rounds of reviewing and revision for inclusion in the book. The papers address all current issues in the area, in particular algebraic (and other) specification techniques, algebraic combination of logics, algebraic structures and logics for concurrency, other algebraic structures and their logics, specification languages and their associated methods and tools, and term rewriting and theorem proving
Radical Innovations of Software and Systems Engineering in the Future : 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002 : revised papers by Martin Wirsing( Book )

24 editions published between 2004 and 2005 in English and held by 223 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
Web engineering : 4th international conference, ICWE 2004, Munich, Germany, July 26-30, 2004 ; proceedings by Nora Koch( Book )

16 editions published in 2004 in English and held by 194 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
Adapting proofs-as-programs : the Curry-Howard protocol by Iman Hafiz Poernomo( Book )

17 editions published between 2005 and 2011 in English and held by 156 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."--Jacket
Theoretical aspects of computing -- ICTAC 2005 : second international colloquium, Hanoi, Vietnam, October 17-21, 2005 : proceedings by Dang Van Hung( Book )

15 editions published in 2005 in English and held by 151 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 1986, Ebberup, Dennark WORKING CONFERENCE ON FORMAL DESCRIPTION OF PROGRAMMING CONCEPTS( Book )

22 editions published in 1987 in English and Undetermined and held by 132 WorldCat member libraries worldwide

Logic of Programs. Concurrency. Semantics. Term rewriting and logic programming. Higher order programming
Software-intensive systems and new computing paradigms : challenges and visions by David Hutchison( Book )

16 editions published in 2008 in English and held by 69 WorldCat member libraries worldwide

To identify the emergent trends in software-intensive and distributed and decentralized computer systems and their impact on the Information Society in the next 10--15 years, the European Commission has established two Coordinated Actions: Initially the project `Beyond the Horizon' and then, starting in 2006, the project `InterLink'. This state-of-the-art survey presents the results of three workshops of the InterLink working group on software-intensive systems and novel computing paradigms. The objective was to imagine the landscape in which next generations of software-intensive systems will operate and the challenges they present to computing, software engineering, cognition and intelligence. The volume starts with an overview of the current state of the art and the research missions in engineering software-intensive systems. The remainder of the book consists of 15 invited papers of the working group participants and is structured in three major parts: ensemble engineering, theory and formal methods, and novel computing paradigms. These papers cover a broad spectrum of relevant topics ranging from methods, languages and tools for ensemble engineering, socio-technical and cyber-physical systems, ensembles in urban environments, formal methods and mathematical foundations for ensembles, orchestration languages to disruptive paradigms such as molecular and chemical computing
Trustworthly Global Computing 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers by M Wirsing( )

13 editions published in 2010 in English and held by 60 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( Book )

9 editions published in 2011 in English and held by 44 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
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( Book )

15 editions published in 2009 in English and Undetermined and held by 37 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
The Munich Project CIP by Friedrich Ludwig Bauer( )

2 editions published in 1985 in English and held by 27 WorldCat member libraries worldwide

Annotation This book is the second of two volumes that present the main results which emerged from the project CIP - Computer-Aided, Intuition-Guided Programming - at the Technical University of Munich. Its central theme is program development by transformation, a methodology which is becoming more and more important. Whereas Volume I contains the description and formal specification of a wide spectrum language CIP-L particularly tailored to the needs of transformational programming, Volume II serves a double purpose: First, it describes a system, called CIP-S, that is to assist a programmer in the method of transformational programming. Second, it gives a non-toy example for this very method, since it contains a formal specification of the system core and transformational developments for the more interesting system routines. Based on a formal calculus of program transformations, the informal requirements for the system are stated. Then the system core is formally specified using the algebraic data types and the pre-algorithmic logical constructs of the wide spectrum language CIP-L. It is demonstrated how executable, procedural level programs can be developed from this specification according to formal rules. The extensive collection of these rules is also contained in the book; it can be used as the basis for further developments using this method. Since the system has been designed in such a way that it is parameterized with the concrete programming language to be transformed, the book also contains a guide how to actualize this parameter; the proceeding is exemplified with a small subset of CIP-L
Software engineering for collective autonomic systems : the ASCENS Approach by M Wirsing( Book )

9 editions published in 2015 in English and held by 13 WorldCat member libraries worldwide

A collective autonomic system consists of collaborating autonomic entities which are able to adapt at runtime, adjusting to the state of the environment and incorporating new knowledge into their behavior. These highly dynamic systems are also known as ensembles. To ensure correct behavior of ensembles it is necessary to support their development through appropriate methods and tools which can guarantee that an autonomic system lives up to its intended purpose; this includes respecting important constraints of the environment. This State-of-the-Art Survey addresses the engineering of such systems by presenting the methods, tools and theories developed within the ASCENS project. ASCENS was an integrated project funded in the period 2010-2015 by the 7th Framework Programme (FP7) of the European Commission as part of the Future Emerging Technologies Proactive Initiative (FET Proactive). The 17 contributions included in this book are organized in four parts corresponding to the research areas of the project and their concrete applications: (I) language and verification for self-awareness and self-expression, (II) modeling and theory of self-aware and adaptive systems, (III) engineering techniques for collective autonomic systems, and last but not least, (IV) challenges and feedback provided by the case studies of the project in the areas of swarm robotics, cloud computing and e-mobility
Knowledge science, engineering and management : second international conference, KSEM 2007, Melbourne, Australia, November 28-30, 2007 : proceedings by Zili Zhang( Book )

8 editions published in 2015 in English and Undetermined and held by 9 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 8th International Conference on Knowledge Science, Engineering and Management, KSEM 2015, held in Chongqing, China, in October 2015. The 57 revised full papers presented together with 22 short papers and 5 keynotes were carefully selected and reviewed from 247 submissions. The papers are organized in topical sections on formal reasoning and ontologies; knowledge management and concept analysis; knowledge discovery and recognition methods; text mining and analysis; recommendation algorithms and systems; machine learning algorithms; detection methods and analysis; classification and clustering; mobile data analytics and knowledge management; bioinformatics and computational biology; and evidence theory and its application
Software, services, and systems : essays dedicated to Martin Wirsing on the occasion of his retirement from the Chair of Programming and Software Engineering by Rocco De Nicola( Book )

4 editions published in 2015 in English and held by 7 WorldCat member libraries worldwide

This book is dedicated to Professor Martin Wirsing on the occasion of his emeritation from Ludwig-Maximilians-Universität in Munich, Germany. The volume is a reflection, with gratitude and admiration, on Professor Wirsing?s life highly creative, remarkably fruitful and intellectually generous life. It also gives a snapshot of the research ideas that in many cases have been deeply influenced by Professor Wirsing?s work. The book consists of six sections. The first section contains personal remembrances and expressions of gratitude from friends of Professor Wirsing. The remaining five sections consist of groups of scientific papers written by colleagues and collaborators of Professor Wirsing, which have been grouped and ordered according to his scientific evolution. More specifically, the papers are concerned with logical and algebraic foundations; algebraic specifications, institutions and rewriting; foundations of software engineering; service oriented systems; and adaptive and autonomic systems
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.67 (from 0.49 for Rigorous s ... to 0.75 for The Munich ...)

WorldCat IdentitiesRelated Identities
Algebraic methods II : theory, tools, and applications
Alternative Names
Martin Wirsing deutscher Informatiker und Professor

Martin Wirsing German computer scientist

Martin Wirsing informaticien allemand

Wirsing, M.

Wirsing, Martin

Wirsing, Martin Hermann Friedrich 1948-

Languages
English (312)

German (4)

Italian (4)

Covers
Algebraic methods II : theory, tools, and applicationsAlgebraic methodology and software technology : 4th international conference, AMAST '95, Montreal, Canada, July 3-7, 1995 : proceedingsMethods of programming : selected papers on the CIP-projectSTACS 88 : 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13, 1988 : proceedingsSTACS 87 : 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, Federal Republic of Germany, February 19-21, 1987, proceedingsRecent trends in algebraic development techniques : 13th international workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papersRadical Innovations of Software and Systems Engineering in the Future : 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002 : revised papersWeb engineering : 4th international conference, ICWE 2004, Munich, Germany, July 26-30, 2004 ; proceedings