東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Software, services, and systems = es...

Nicola, Rocco.

Linked to FindBook

Google Book

Amazon

博客來

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:	Electronic resources : Monograph/item
Title/Author:	Software, services, and systems/ edited by Rocco 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:	Nicola, Rocco.
Published:	Cham :Springer International Publishing : : 2015.,
Description:	xiv, 694 p. :ill., digital ;24 cm.
[NT 15003449]:	Homage from Friends -- Logical and Algebraic Foundations -- Algebraic Specifications, Institutions and Rewriting -- Foundations of Software Engineering -- Service-Oriented Systems -- Adaptive and Autonomic Systems.
Contained By:	Springer eBooks
Subject:	Software engineering - Congresses. -
Online resource:	http://dx.doi.org/10.1007/978-3-319-15545-6
ISBN:	9783319155456 (electronic bk.)

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 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 ;5353..

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:

1243492
Software engineering
--Congresses.

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

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:02356nmm a2200325 a 4500 001 1997817
003 DE-He213
005 20151022133026.0
006 m d
007 cr nn 008maaau
008 151112s2015 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 $v Congresses. $3 1243492
650 0 $a Systems engineering $v Congresses. $3 1245494
650 0 $a Abstract data types (Computer science) $3 653888
650 1 4 $a Computer Science. $3 626642
650 2 4 $a Software Engineering. $3 890874
650 2 4 $a Logics and Meanings of Programs. $3 892495
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 891123
650 2 4 $a Programming Techniques. $3 892496
650 2 4 $a Mathematical Logic and Formal Languages. $3 892517
650 2 4 $a Artificial Intelligence (incl. Robotics) $3 890894
700 1 $a Nicola, Rocco. $3 907111
700 1 $a Hennicker, Rolf. $3 2139179
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 5353. $x 0302-9743 $3 1274248
856 4 0 $u http://dx.doi.org/10.1007/978-3-319-15545-6
950 $a Computer Science (Springer-11645)