國立高雄大學圖資館 |

語系: 繁體中文

說明(常見問題)

圖資館首頁

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Software, services, and systemsessay...

Hennicker, Rolf.

Software, services, and systemsessays dedicated to Martin Wirsing on the occasion of his retirement from the Chair of Programming and Software Engineering /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Software, services, and systemsedited by Rocco Nicola, Rolf Hennicker.
其他題名:	essays dedicated to Martin Wirsing on the occasion of his retirement from the Chair of Programming and Software Engineering /
其他作者:	Nicola, Rocco.
出版者:	Cham :Springer International Publishing :2015.
面頁冊數:	xiv, 694 p. :ill., digital ;24 cm.
Contained By:	Springer eBooks
標題:	Software engineering
電子資源:	http://dx.doi.org/10.1007/978-3-319-15545-6
ISBN:	9783319155456 (electronic bk.)

Software, services, and systemsessays 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 Nicola, Rolf Hennicker. - Cham :Springer International Publishing :2015. - xiv, 694 p. :ill., digital ;24 cm. - Lecture notes in computer science,89500302-9743 ;. - Lecture notes in computer science ;4891..

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-Universitat 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 (electronic bk.)

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

253562
Software engineering

LC Class. No.: QA76.758 / .S64 2015

Dewey Class. No.: 005.1

Software, services, and systemsessays dedicated to Martin Wirsing on the occasion of his retirement from the Chair of Programming and Software Engineering /
LDR:02356nmm a2200325 a 4500 001 462535
003 DE-He213
005 20151022133026.0
006 m d
007 cr nn 008maaau
008 151119s2015 gw s 0 eng d
020 $a 9783319155456 (electronic bk.)
020 $a 9783319155449 (paper)
024 7 $a 10.1007/978-3-319-15545-6 $2 doi
035 $a 978-3-319-15545-6
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.758 $b .S64 2015
072 7 $a UMZ $2 bicssc
072 7 $a COM051230 $2 bisacsh
082 0 4 $a 005.1 $2 23
090 $a QA76.758 $b .S681 2015
245 0 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 Nicola, Rolf Hennicker.
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2015.
300 $a xiv, 694 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $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-Universitat 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 253562
650 0 $a Systems engineering $3 253884
650 0 $a Abstract data types (Computer science) $3 277881
650 1 4 $a Computer Science. $3 212513
650 2 4 $a Software Engineering. $3 274511
650 2 4 $a Logics and Meanings of Programs. $3 275357
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 274102
650 2 4 $a Programming Techniques. $3 274470
650 2 4 $a Mathematical Logic and Formal Languages. $3 275383
650 2 4 $a Artificial Intelligence (incl. Robotics) $3 252959
700 1 $a Nicola, Rocco. $3 283879
700 1 $a Hennicker, Rolf. $3 715560
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 4891. $3 383229
856 4 0 $u http://dx.doi.org/10.1007/978-3-319-15545-6
950 $a Computer Science (Springer-11645)