東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Towards a synergistic combination of...

Kosiuczenko, Piotr.

FindBook

Google Book

Amazon

博客來

Towards a synergistic combination of research and practice in software engineering

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Towards a synergistic combination of research and practice in software engineering/ edited by Piotr Kosiuczenko, Lech Madeyski.
其他作者:	Kosiuczenko, Piotr.
出版者:	Cham :Springer International Publishing : : 2018.,
面頁冊數:	viii, 221 p. :ill., digital ;24 cm.
內容註:	Temporal Costs of Computing Unit Redundancy in Steady and Transient State -- SIPE: A Domain-Speciﬁc Language for Specifying Interactive Programming Exercises -- Managing Software Complexity by Exploiting Software Similarity Patterns -- A Prototype Tool for Semantic Validation of UML class Diagrams with the Use of Domain Ontologies Expressed in OWL 2 -- Ensuring the Strong Exception Safety -- Eﬃcient Testing of Time-dependent, Asynchronous Code.
Contained By:	Springer eBooks
標題:	Software engineering. -
電子資源:	http://dx.doi.org/10.1007/978-3-319-65208-5
ISBN:	9783319652085

Towards a synergistic combination of research and practice in software engineering
Towards a synergistic combination of research and practice in software engineering[electronic resource] /edited by Piotr Kosiuczenko, Lech Madeyski. - Cham :Springer International Publishing :2018. - viii, 221 p. :ill., digital ;24 cm. - Studies in computational intelligence,v.7331860-949X ;. - Studies in computational intelligence ;v.733..

Temporal Costs of Computing Unit Redundancy in Steady and Transient State -- SIPE: A Domain-Speciﬁc Language for Specifying Interactive Programming Exercises -- Managing Software Complexity by Exploiting Software Similarity Patterns -- A Prototype Tool for Semantic Validation of UML class Diagrams with the Use of Domain Ontologies Expressed in OWL 2 -- Ensuring the Strong Exception Safety -- Eﬃcient Testing of Time-dependent, Asynchronous Code.

This book reports on recent advances in software engineering research and practice. Divided into 15 chapters, it addresses: languages and tools; development processes; modelling, simulation and verification; and education. In the first category, the book includes chapters on domain-specific languages, software complexity, testing and tools. In the second, it reports on test-driven development, processing of business rules, and software management. In turn, subsequent chapters address modelling, simulation and verification of real-time systems, mobile systems and computer networks, and a scrum-based framework. The book was written by researchers and practitioners, the goal being to achieve a synergistic combination of research results achieved in academia and best practices used in the industry, and to provide a valuable reference guide for both groups.

ISBN: 9783319652085

Standard No.: 10.1007/978-3-319-65208-5doiSubjects--Topical Terms:

559826
Software engineering.

LC Class. No.: QA76.758

Dewey Class. No.: 005.1

Towards a synergistic combination of research and practice in software engineering
LDR:02366nmm a2200325 a 4500 001 2130932
003 DE-He213
005 20170805164515.0
006 m d
007 cr nn 008maaau
008 181005s2018 gw s 0 eng d
020 $a 9783319652085 $q (electronic bk.)
020 $a 9783319652078 $q (paper)
024 7 $a 10.1007/978-3-319-65208-5 $2 doi
035 $a 978-3-319-65208-5
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.758
072 7 $a UYQ $2 bicssc
072 7 $a COM004000 $2 bisacsh
082 0 4 $a 005.1 $2 23
090 $a QA76.758 $b .T737 2018
245 0 0 $a Towards a synergistic combination of research and practice in software engineering $h [electronic resource] / $c edited by Piotr Kosiuczenko, Lech Madeyski.
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2018.
300 $a viii, 221 p. : $b ill., digital ; $c 24 cm.
490 1 $a Studies in computational intelligence, $x 1860-949X ; $v v.733
505 0 $a Temporal Costs of Computing Unit Redundancy in Steady and Transient State -- SIPE: A Domain-Speciﬁc Language for Specifying Interactive Programming Exercises -- Managing Software Complexity by Exploiting Software Similarity Patterns -- A Prototype Tool for Semantic Validation of UML class Diagrams with the Use of Domain Ontologies Expressed in OWL 2 -- Ensuring the Strong Exception Safety -- Eﬃcient Testing of Time-dependent, Asynchronous Code.
520 $a This book reports on recent advances in software engineering research and practice. Divided into 15 chapters, it addresses: languages and tools; development processes; modelling, simulation and verification; and education. In the first category, the book includes chapters on domain-specific languages, software complexity, testing and tools. In the second, it reports on test-driven development, processing of business rules, and software management. In turn, subsequent chapters address modelling, simulation and verification of real-time systems, mobile systems and computer networks, and a scrum-based framework. The book was written by researchers and practitioners, the goal being to achieve a synergistic combination of research results achieved in academia and best practices used in the industry, and to provide a valuable reference guide for both groups.
650 0 $a Software engineering. $3 559826
650 1 4 $a Engineering. $3 586835
650 2 4 $a Computational Intelligence. $3 1001631
650 2 4 $a Software Engineering. $3 890874
650 2 4 $a Artificial Intelligence (incl. Robotics) $3 890894
700 1 $a Kosiuczenko, Piotr. $3 3295980
700 1 $a Madeyski, Lech. $3 1085355
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer eBooks
830 0 $a Studies in computational intelligence ; $v v.733. $3 3295981
856 4 0 $u http://dx.doi.org/10.1007/978-3-319-65208-5
950 $a Engineering (Springer-11647)