Martin Wirsing – författare
Visar alla böcker från författaren Martin Wirsing. Handla med fri frakt och snabb leverans.
22 produkter
22 produkter
1 600 kr
Skickas inom 10-15 vardagar
This book ?nds new things to do with an old idea. The proofs-as-programs paradigm constitutes a set of approaches to developing programs from proofs in constructive logic. It has been over thirty years since the paradigm was ?rst conceived. At that time, there was a belief that proofs-as-programs had the - tential for practical application to semi-automated software development. I- tial applications were mostly concerned with ?ne-grain, mathematical program synthesis. For various reasons, research interest in the area eventually tended toward more theoretic issues of constructive logic and type theory. However, in recent years, the situation has become more balanced, and there is increasingly active research in applying constructive techniques to industrial-scale, complex software engineering problems. Thismonographdetailsseveralimportantadvancesinthisdirectionofpr- tical proofs-as-programs. One of the central themes of the book is a general, abstract framework for developing new systems of program synthesis by adapting proofs-as-programs to new contexts. Framework-oriented approaches that facilitate analogous - proaches to building systems for solving particular problems have been popular and successful. Thesemethodsarehelpful asthey providea formal toolbox that enablesa“roll-your-own”approachtodevelopingsolutions.Itishopedthatour framework will have a similar impact. The framework is demonstrated by example. We will give two novel - plications of proofs-as-programs to large-scale, coarse-grain software engine- ing problems: contractual imperative program synthesis and structured p- gram synthesis. These applications constitute an exemplary justi?cation of the framework. Also, in and of themselves, these approaches to synthesis should be interesting forresearchers working in the target problem domains.
1 600 kr
Skickas inom 10-15 vardagar
This book ?nds new things to do with an old idea. The proofs-as-programs paradigm constitutes a set of approaches to developing programs from proofs in constructive logic. It has been over thirty years since the paradigm was ?rst conceived. At that time, there was a belief that proofs-as-programs had the - tential for practical application to semi-automated software development. I- tial applications were mostly concerned with ?ne-grain, mathematical program synthesis. For various reasons, research interest in the area eventually tended toward more theoretic issues of constructive logic and type theory. However, in recent years, the situation has become more balanced, and there is increasingly active research in applying constructive techniques to industrial-scale, complex software engineering problems. Thismonographdetailsseveralimportantadvancesinthisdirectionofpr- tical proofs-as-programs. One of the central themes of the book is a general, abstract framework for developing new systems of program synthesis by adapting proofs-as-programs to new contexts. Framework-oriented approaches that facilitate analogous - proaches to building systems for solving particular problems have been popular and successful. Thesemethodsarehelpful asthey providea formal toolbox that enablesa“roll-your-own”approachtodevelopingsolutions.Itishopedthatour framework will have a similar impact. The framework is demonstrated by example. We will give two novel - plications of proofs-as-programs to large-scale, coarse-grain software engine- ing problems: contractual imperative program synthesis and structured p- gram synthesis. These applications constitute an exemplary justi?cation of the framework. Also, in and of themselves, these approaches to synthesis should be interesting forresearchers working in the target problem domains.
Del 11475 - Lecture Notes in Computer Science
Digital Education: At the MOOC Crossroads Where the Interests of Academia and Business Converge
6th European MOOCs Stakeholders Summit, EMOOCs 2019, Naples, Italy, May 20–22, 2019, Proceedings
Häftad, Engelska, 2019
523 kr
Skickas inom 10-15 vardagar
This book constitutes the proceedings of the 6th European Conference on Massive Open Online Courses, EMOOCs 2019, held in Naples, Italy, in May 2019. The 15 full and 6 short papers presented in this volume were carefully reviewed and selected from 42 submissions.
Del 8998 - Lecture Notes in Computer Science
Software Engineering for Collective Autonomic Systems
The ASCENS Approach
Häftad, Engelska, 2015
554 kr
Skickas inom 10-15 vardagar
Software Engineering for Collective Autonomic Systems
Del 9403 - Lecture Notes in Computer Science
Knowledge Science, Engineering and Management
8th International Conference, KSEM 2015, Chongqing, China, October 28-30, 2015, Proceedings
Häftad, Engelska, 2015
554 kr
Skickas inom 10-15 vardagar
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.
STACS 87
4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, FRG, February 19-21, 1987
Häftad, Engelska, 1987
521 kr
Skickas inom 10-15 vardagar
STACS 88
5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13,1988; Proceedings
Häftad, Engelska, 1988
538 kr
Skickas inom 10-15 vardagar
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.
Recent Trends in Algebraic Development Techniques
16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers
Häftad, Engelska, 2003
554 kr
Skickas inom 10-15 vardagar
This volume contains selected papers from WADT 2002, the 16th International Workshop on Algebraic Development Techniques. Like its predecessors, WADT 2002 focussed on the algebraic approach to the speci?cation and development of systems, an area that was born around the algebraic speci?cation of abstract data types and encompasses today the formal design of software systems, new speci?cation frameworks and a wide range of application areas. WADT 2002 took place at the convent of Frauenchiemsee, Germany, on September 24-27, 2002, and was organized by Rolf Hennicker, Dirk Pattinson and Martin Wirsing. The workshop also included a special track on Formalism, Logic, Institution - Relating, Translating and Structuring (FLIRTS), and three satelliteevents:ameetingoftheIFIP WorkingGroup1.3onFoundationsofS- tem Speci?cation, a Workshop on Global Computing organized by the AGILE project, and a Workshop on Multimedia Instruction in Safe and Secure Systems (MMISS).The program consisted of invited talks by Egidio Astesiano (Genoa, Italy), Andrew Gordon (Cambridge, UK), and Jan Rutten (Amsterdam, The Neth- lands), and 44 presentations describing ongoing research on main topics of the workshop: formal methods for system development, speci?cation languages and methods, systems and techniques for reasoning about speci?cations, speci?- tion development systems, methods and techniques for concurrent, distributed and mobile systems, and algebraic and co-algebraic foundations.
Radical Innovations of Software and Systems Engineering in the Future
9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers
Häftad, Engelska, 2004
554 kr
Skickas inom 10-15 vardagar
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
Häftad, Engelska, 2004
1 101 kr
Skickas inom 10-15 vardagar
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.
Theoretical Aspects of Computing - ICTAC 2005
Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings
Häftad, Engelska, 2005
1 101 kr
Skickas inom 10-15 vardagar
This volume contains the proceedings of ICTAC 2005, the second ICTAC, International Colloquium on Theoretical Aspects of Computing. ICTAC 2005 took place in Hanoi, Vietnam, October 17–21, 2005. ICTAC was founded by the International Institute for Software Technology of the United Nations University (UNU-IIST) to serve as a forum for practiti- ers, lecturers and researchers from academia, industry and government who are interested in theoretical aspects of computing and rigorous approaches to so- ware engineering. The colloquium is aimed particularly, but not exclusively, at participants from developing countries. We believe that this will help developing countries to strengthen their research, teaching and development in computer science and engineering, improve the links between developing countries and developed countries, and establish collaboration in research and education. By providingavenueforthediscussionofcommonproblemsandtheirsolutions,and for the exchangeof experiencesand ideas,this colloquiumsupportsresearchand development in computer science and software technology. ICTAC is attracting more and more attention from more and more countries.
1 101 kr
Skickas inom 10-15 vardagar
553 kr
Skickas inom 10-15 vardagar
Dieses Buch über elementare Aussagenlogik (wie auch seine geplante Fortsetzung über Elementare Prädikatenlogik und Universelle Algebra) ist aus Vorlesungen an der Technischen Universität München entstanden. Es basiert auf der Überzeugung, daß für Studierende der Informatik nicht nur ein anderer Aufbau des mathematischen Grundstudiums geboten ist als etwa für Ingenieure oder Physiker, sondern auch ein anderes Menü, als es sich an unseren Universitäten nach den GAMM-NTG-Empfehlungen der siebziger Jahre eingebürgert hat. Neben den unentbehrlichen Einführungsvorlesungen in Mathematik sind für die Informatiker vor dem Vordiplom handwerkliche Grundkenntnisse in Logik und Universeller Algebra erforderlich - als Grundlage für die Praktische und die Theoretische Informatik im zweiten Studienabschnitt. Im Gegensatz zu vielen anderen Büchern über Logik ist dieses für den Anfänger der Informatik geschrieben und didaktisch auf sein Niveau eingestellt. Dabei sind sonst eher außerhalb der Aussagenlogik liegende Gegenstände wie die Schaltlogik systematisch einbezogen worden, wo immer es möglich war: von dem für die Programmiersprachen so wichtigen Gebiet der dyadischen Fallunterscheidungen über die Resolventenmethode, die den Anschluß an die Prädikatenlogik vorbereitet, bis zu modalen Aussagenlogiken. Die eingestreuten Übungsaufgaben greifen häufig Gedanken auf, die im Text nur nebenbei erwähnt sind, und stellen Querbezüge her. Die Lösungshinweise am Ende des Buches bieten manche Überraschungen.
Programming Language Implementation and Logic Programming
3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991. Proceedings
Häftad, Engelska, 1991
538 kr
Skickas inom 10-15 vardagar
This volume contains the papers which have been accepted forpresentation atthe Third International Symposium onProgramming Language Implementation andLogic Programming(PLILP '91) held in Passau, Germany, August 26-28, 1991. Theaim of the symposium was to explore new declarativeconcepts, methods and techniques relevant for theimplementation of all kinds of programming languages,whether algorithmic or declarative ones. The intention wasto gather researchers from the fields of algorithmicprogramming languages as well as logic, functional andobject-oriented programming. This volume contains the twoinvited talks given at the symposium by H. Ait-Kaci and D.B. MacQueen, 32 selected papers, and abstracts of severalsystem demonstrations. The proceedings of PLILP '88 andPLILP '90 are available as Lecture Notes in Computer ScienceVolumes 348 and 456.
554 kr
Skickas inom 10-15 vardagar
The systematic development of software systems is a centraltask of computing science. A software system is the resultof putting together knowledge about the application, therequirements and the structures of computing science. Under the heading CIP (Computer-aided Intuition-guidedProgramming), a group of researchers led by Prof. F.L. Bauerand Prof. K. Samelson started work in 1975 in the directionof formal program specification, transformationalprogramming, and tool supportfor program development. The collection of papers in this volume presents examples ofa formal approach to programming language concepts andprogram development based on algebraic specifications andprogram transformations. Examples are also presented ofevolutions and modificationsof the original ideas of theCIP project. The topics range from descriptionsof theprogram development process to derivations of algorithmsfrom specifications. The volume is dedicated to Prof F.L. Bauer.
Programming Language Implementation and Logic Programming
4th International Symposium, PLILP ’92, Leuven, Belgium, August 26–28, 1992 Proceedings
Häftad, Engelska, 1992
554 kr
Skickas inom 10-15 vardagar
This volume contains the papers accepted for presentation atthe Fourth International Symposium on Programming LanguageImplementation and Logic Programming (PLILP '92) held inLeuven, Belgium, August 26-28, 1992. Theaim of the symposium was to explore new declarativeconcepts, methods and techniques relevant for implementationof all kinds of programming languages, whether algorithmicor declarative. The symposium gathered researchers fromthe fields of algorithmic programming languages as well aslogic, 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.
Algebraic Methodology and Software Technology
5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings
Häftad, Engelska, 1996
1 101 kr
Skickas inom 10-15 vardagar
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.
554 kr
Skickas inom 10-15 vardagar
Software-intensive systems have become increasingly important for a multitude of products and services from all sectors of the economy, our national and - ternational infrastructure, and our daily lives. The ongoing decrease in size and cost of microprocessorsandstoragedevicesis leading to the development of ever more distributed and decentralized systems. Systems are assembled as dynamic federationsofautonomousandevolvingcomponents insteadof monolithicapp- cations, they perform tasks of staggering complexity with continuously cha- ing requirements and in a permanently evolving environment. In the near - ture novel technologies will allow the construction of systems with millions of nodes,and systems will be likely to containsubsystems basedonnew computing paradigms such as molecular computing. To identify these emergent trends, their impact on the information society in the next 10-15 years, and the challenges they present to computing, software engineering, cognition and intelligence, the European Commission has estab- 1 lished two Coordinated Actions: initially the project "Beyond the Horizon" 2 and then, starting in 2006, the project "InterLink" .Both projects are coor- nated by the European Research Consortium for Informatics and Mathematics (ERCIM EEIG) and funded by the Future and Emerging Technologies (FET) Unit of the European Commission. The ongoing project InterLink is composed of three thematic working groups: software-intensive systems and new comp- ingparadigms;ambientcomputingandcommunicationenvironments;intelligent and cognitive systems. This volume presents the results of the working group on software-intensive systemsandnovelcomputing paradigms.Theobjectivewasto imaginethela- scape in which the next generations of software-intensive systems will operate.
554 kr
Skickas inom 10-15 vardagar
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.
Trustworthy Global Computing
5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers
Häftad, Engelska, 2010
554 kr
Skickas inom 10-15 vardagar
Global computing refers to computation over “global computers,” i.e., com- tational infrastructures available globally and able to provide uniform services with variable guarantees for communication, cooperation and mobility, resource usage, security policies and mechanisms, etc., with particular regard to explo- ing their universal scale and the programmability of their services. As the scope and computational power of such global infrastructures continue to grow, it - comes more and more important to develop methods, theories and techniques for trustworthy systems running on global computers. This book constitutes the thoroughly refereed proceedings of the ?fth e- tion of the International Symposium on Trustworthy Global Computing (TGC 2010)thatwasheldinMunich,Germany,February24-26,2010.TheSymposium on Trustworthy Global Computing is an international annual venue dedicated to safe and reliable computation in global computers. It focuses on providing frameworks, tools, and protocols for constructing well-behaved applications and on reasoning rigorouslyabout their behavior and properties. The related models of computation incorporate code and data mobility over distributed networks with highly dynamic topologies and heterogeneous devices.
Rigorous Software Engineering for Service-Oriented Systems
Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing
Häftad, Engelska, 2011
1 101 kr
Skickas inom 10-15 vardagar
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.
518 kr
Skickas inom 10-15 vardagar
Das Buch bietet eine knappe, praxisorientierte Einführung in die Programmierung mit Java, die den Stoff einer Erstsemestervorlesung oder einer Java-Umschulung abdeckt ohne überflüssiges Material zu enthalten. Im Gegensatz zu vielen anderen Büchern, die eine enzyklopädische Abhandlung von Java anstreben, soll der Leser unseres Buchs schnell in die Lage versetzt werden, Java Programme zu schreiben und zu verstehen. Das Buch vermittelt alle Grundlagen, die für einen effektiven Einstieg als Java-Programmierer ins Berufsleben oder die akademische Ausbildung benötigt werden. Das Buch basiert auf Vorlesungen, Kursen und Praktika, die an der Ludwig-Maximilians-Universität München für Studenten im ersten und zweiten Semester gehalten wurden.