國立虎尾科技大學 |

Software, Services, and Systems = Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Software, Services, and Systems/ edited by Rocco De Nicola, Rolf Hennicker.
Reminder of title:	Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering /
other author:	De Nicola, Rocco.
Description:	XIV, 694 p. 155 illus.online resource. :
Contained By:	Springer Nature eBook
Subject:	Software engineering. -
Online resource:	https://doi.org/10.1007/978-3-319-15545-6
ISBN:	9783319155456

Software, Services, and Systems = Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering /
Software, Services, and SystemsEssays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering /[electronic resource] :edited by Rocco De Nicola, Rolf Hennicker. - 1st ed. 2015. - XIV, 694 p. 155 illus.online resource. - Programming and Software Engineering ;8950. - Programming and Software Engineering ;8987.

Homage from Friends -- Logical and Algebraic Foundations -- Algebraic Specifications, Institutions and Rewriting -- Foundations of Software Engineering.- Service-Oriented Systems.- Adaptive and Autonomic Systems.

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.

ISBN: 9783319155456

Standard No.: 10.1007/978-3-319-15545-6doiSubjects--Topical Terms:

562952
Software engineering.

LC Class. No.: QA76.758

Dewey Class. No.: 005.1

Software, Services, and Systems = Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering /
LDR:02718nam a22004095i 4500 001 969132
003 DE-He213
005 20200702112319.0
007 cr nn 008mamaa
008 201211s2015 gw | s |||| 0|eng d
020 $a 9783319155456 $9 978-3-319-15545-6
024 7 $a 10.1007/978-3-319-15545-6 $2 doi
035 $a 978-3-319-15545-6
050 4 $a QA76.758
072 7 $a UMZ $2 bicssc
072 7 $a COM051230 $2 bisacsh
072 7 $a UMZ $2 thema
082 0 4 $a 005.1 $2 23
245 1 0 $a Software, Services, and Systems $h [electronic resource] : $b Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering / $c edited by Rocco De Nicola, Rolf Hennicker.
250 $a 1st ed. 2015.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2015.
300 $a XIV, 694 p. 155 illus. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Programming and Software Engineering ; $v 8950
505 0 $a Homage from Friends -- Logical and Algebraic Foundations -- Algebraic Specifications, Institutions and Rewriting -- Foundations of Software Engineering.- Service-Oriented Systems.- Adaptive and Autonomic Systems.
520 $a 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.
650 0 $a Software engineering. $3 562952
650 0 $a Computer logic. $3 786340
650 0 $a Programming languages (Electronic computers). $3 1127615
650 0 $a Computer programming. $3 527822
650 0 $a Mathematical logic. $2 bicssc $3 810627
650 0 $a Artificial intelligence. $3 559380
650 1 4 $a Software Engineering. $3 669632
650 2 4 $a Logics and Meanings of Programs. $3 670058
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 669782
650 2 4 $a Programming Techniques. $3 669781
650 2 4 $a Mathematical Logic and Formal Languages. $3 670059
650 2 4 $a Artificial Intelligence. $3 646849
700 1 $a De Nicola, Rocco. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 675909
700 1 $a Hennicker, Rolf. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1264721
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783319155449
776 0 8 $i Printed edition: $z 9783319155463
830 0 $a Programming and Software Engineering ; $v 8987 $3 1253476
856 4 0 $u https://doi.org/10.1007/978-3-319-15545-6
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
912 $a ZDB-2-LNC
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)