東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

System analysis and modeling = langu...

SAM (Workshop : System analysis) (2019 :)

FindBook

Google Book

Amazon

博客來

System analysis and modeling = languages, methods, and tools for industry 4.0 : 11th International Conference, SAM 2019, Munich, Germany, September 16-17, 2019 : proceedings /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	System analysis and modeling/ edited by Pau Fonseca i Casas, Maria-Ribera Sancho, Edel Sherratt.
其他題名:	languages, methods, and tools for industry 4.0 : 11th International Conference, SAM 2019, Munich, Germany, September 16-17, 2019 : proceedings /
其他題名:	SAM 2019
其他作者:	Fonseca i Casas, Pau.
團體作者:	SAM (Workshop : System analysis)
出版者:	Cham :Springer International Publishing : : 2019.,
面頁冊數:	xii, 267 p. :ill., digital ;24 cm.
內容註:	Keynote -- Generating Test Suites to Validate Legacy Systems -- Distributed Applications, Metamodeling and Protocols -- Deriving Distributed Design Models from Global State Machines Requirements -- Generic Graphical Navigation for Modelling Tools -- Protocol syntax development using domain specific modeling languages -- Industry 4.0 Applications -- Use of a pivot diagram in SysML to support an automated implementation of a MBSE design methodology in an Industry 4.0 context -- Modeling and code generation framework for IoT -- Process Enactment with Traceability Support for NFV Systems -- Modeling in Environmental Social and Industrial Systems -- On the Structure of Avionics Systems Architecture -- Generating Executable Code from High-level of Social or Socio-Ecological Model Descriptions -- Towards a representation of Cellular Automaton using Specification and Description Language -- Interoperability -- Goal Model Integration: Advanced Relationships and Rationales Documentation -- Union Models: Support for Efficient Reasoning about Model Families over Space and Time -- Facilitating the Co-Evolution of Standards and Models -- Concurrency, Data Integrity -- Adapting Integrity Checking Techniques for Concurrent Operation Executions -- Eventual Consistency Formalized.
Contained By:	Springer Nature eBook
標題:	System analysis - Congresses. -
電子資源:	https://doi.org/10.1007/978-3-030-30690-8
ISBN:	9783030306908

System analysis and modeling = languages, methods, and tools for industry 4.0 : 11th International Conference, SAM 2019, Munich, Germany, September 16-17, 2019 : proceedings /
System analysis and modelinglanguages, methods, and tools for industry 4.0 : 11th International Conference, SAM 2019, Munich, Germany, September 16-17, 2019 : proceedings /[electronic resource] :SAM 2019edited by Pau Fonseca i Casas, Maria-Ribera Sancho, Edel Sherratt. - Cham :Springer International Publishing :2019. - xii, 267 p. :ill., digital ;24 cm. - Lecture notes in computer science,0302-9743. - Lecture notes in computer science.

Keynote -- Generating Test Suites to Validate Legacy Systems -- Distributed Applications, Metamodeling and Protocols -- Deriving Distributed Design Models from Global State Machines Requirements -- Generic Graphical Navigation for Modelling Tools -- Protocol syntax development using domain specific modeling languages -- Industry 4.0 Applications -- Use of a pivot diagram in SysML to support an automated implementation of a MBSE design methodology in an Industry 4.0 context -- Modeling and code generation framework for IoT -- Process Enactment with Traceability Support for NFV Systems -- Modeling in Environmental Social and Industrial Systems -- On the Structure of Avionics Systems Architecture -- Generating Executable Code from High-level of Social or Socio-Ecological Model Descriptions -- Towards a representation of Cellular Automaton using Specification and Description Language -- Interoperability -- Goal Model Integration: Advanced Relationships and Rationales Documentation -- Union Models: Support for Efficient Reasoning about Model Families over Space and Time -- Facilitating the Co-Evolution of Standards and Models -- Concurrency, Data Integrity -- Adapting Integrity Checking Techniques for Concurrent Operation Executions -- Eventual Consistency Formalized.

This book constitutes the refereed proceedings of the 11th International Conference on System Analysis and Modeling, SAM 2019, held in Munich, Germany, in September 2019. The 12 full papers and 2 work in progress papers presented together with one keynote talk were carefully reviewed and selected from 28 submissions. The papers discuss the most recent innovations, trends, and experiences in modeling and analysis of complex systems using ITU-T's Specification and Description Language (SDL-2010) and Message Sequence Chart (MSC) notations, as well as related system design languages -- including UML, ASN.1, TTCN, SysML, and the User Requirements Notation (URN) SAM 2019's theme was "Languages, Methods, and Tools for Industry 4.0.".

ISBN: 9783030306908

Standard No.: 10.1007/978-3-030-30690-8doiSubjects--Topical Terms:

535174
System analysis
--Congresses.

LC Class. No.: QA402 / .S26 2019

Dewey Class. No.: 005.1

System analysis and modeling = languages, methods, and tools for industry 4.0 : 11th International Conference, SAM 2019, Munich, Germany, September 16-17, 2019 : proceedings /
LDR:03304nmm a2200361 a 4500 001 2242934
003 DE-He213
005 20200701090452.0
006 m d
007 cr nn 008maaau
008 211207s2019 sz s 0 eng d
020 $a 9783030306908 $q (electronic bk.)
020 $a 9783030306892 $q (paper)
024 7 $a 10.1007/978-3-030-30690-8 $2 doi
035 $a 978-3-030-30690-8
040 $a GP $c GP
041 0 $a eng
050 4 $a QA402 $b .S26 2019
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
090 $a QA402 $b .S187 2019
111 2 $a SAM (Workshop : System analysis) $n (11th : $d 2019 : $c Munich, Germany) $3 3502665
245 1 0 $a System analysis and modeling $h [electronic resource] : $b languages, methods, and tools for industry 4.0 : 11th International Conference, SAM 2019, Munich, Germany, September 16-17, 2019 : proceedings / $c edited by Pau Fonseca i Casas, Maria-Ribera Sancho, Edel Sherratt.
246 3 $a SAM 2019
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2019.
300 $a xii, 267 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743
490 1 $a Programming and software engineering ; $v 11753
505 0 $a Keynote -- Generating Test Suites to Validate Legacy Systems -- Distributed Applications, Metamodeling and Protocols -- Deriving Distributed Design Models from Global State Machines Requirements -- Generic Graphical Navigation for Modelling Tools -- Protocol syntax development using domain specific modeling languages -- Industry 4.0 Applications -- Use of a pivot diagram in SysML to support an automated implementation of a MBSE design methodology in an Industry 4.0 context -- Modeling and code generation framework for IoT -- Process Enactment with Traceability Support for NFV Systems -- Modeling in Environmental Social and Industrial Systems -- On the Structure of Avionics Systems Architecture -- Generating Executable Code from High-level of Social or Socio-Ecological Model Descriptions -- Towards a representation of Cellular Automaton using Specification and Description Language -- Interoperability -- Goal Model Integration: Advanced Relationships and Rationales Documentation -- Union Models: Support for Efficient Reasoning about Model Families over Space and Time -- Facilitating the Co-Evolution of Standards and Models -- Concurrency, Data Integrity -- Adapting Integrity Checking Techniques for Concurrent Operation Executions -- Eventual Consistency Formalized.
520 $a This book constitutes the refereed proceedings of the 11th International Conference on System Analysis and Modeling, SAM 2019, held in Munich, Germany, in September 2019. The 12 full papers and 2 work in progress papers presented together with one keynote talk were carefully reviewed and selected from 28 submissions. The papers discuss the most recent innovations, trends, and experiences in modeling and analysis of complex systems using ITU-T's Specification and Description Language (SDL-2010) and Message Sequence Chart (MSC) notations, as well as related system design languages -- including UML, ASN.1, TTCN, SysML, and the User Requirements Notation (URN) SAM 2019's theme was "Languages, Methods, and Tools for Industry 4.0.".
650 0 $a System analysis $x Congresses. $3 535174
650 1 4 $a Software Engineering. $3 890874
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 891123
650 2 4 $a Programming Techniques. $3 892496
650 2 4 $a Logic Design. $3 892735
650 2 4 $a Information Systems and Communication Service. $3 891044
700 1 $a Fonseca i Casas, Pau. $3 2106857
700 1 $a Sancho, Maria-Ribera. $3 3502666
700 1 $a Sherratt, Edel. $3 3502667
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science $3 3414136
830 0 $a Programming and software engineering ; $v 11753. $3 3502668
856 4 0 $u https://doi.org/10.1007/978-3-030-30690-8
950 $a Computer Science (SpringerNature-11645)