國立高雄大學圖資館 |

語系: 繁體中文

說明(常見問題)

圖資館首頁

登入

回首頁 到查詢結果 [ subject:"System analysis" ]

切換: 標籤 | MARC模式 | ISBD

System analysis and modelinglanguage...

(1998 :)

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

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	System analysis and modelingedited 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.
團體作者:
出版者:	Cham :Springer International Publishing :2019.
面頁冊數:	xii, 267 p. :ill., digital ;24 cm.
Contained By:	Springer Nature eBook
標題:	System analysis
電子資源:	https://doi.org/10.1007/978-3-030-30690-8
ISBN:	9783030306908$q(electronic bk.)

System analysis and modelinglanguages, 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 science3034..

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

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

216714
System analysis

LC Class. No.: QA402 / .S26 2019

Dewey Class. No.: 005.1

System analysis and modelinglanguages, 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 586946
003 DE-He213
005 20200701090452.0
006 m d
007 cr nn 008maaau
008 210326s2019 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 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
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 $3 216714
650 1 4 $a Software Engineering. $3 274511
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 274102
650 2 4 $a Programming Techniques. $3 274470
650 2 4 $a Logic Design. $3 276275
650 2 4 $a Information Systems and Communication Service. $3 274025
700 1 $a Fonseca i Casas, Pau. $3 700072
700 1 $a Sancho, Maria-Ribera. $3 878416
700 1 $a Sherratt, Edel. $3 878417
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science $v 3034. $3 450628
830 0 $a Programming and software engineering ; $v 11753. $3 878418
856 4 0 $u https://doi.org/10.1007/978-3-030-30690-8
950 $a Computer Science (SpringerNature-11645)