Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Conceptual Modeling Perspectives / / edited by Jordi Cabot, Cristina Gómez, Oscar Pastor, Maria Ribera Sancho, Ernest Teniente
| Conceptual Modeling Perspectives / / edited by Jordi Cabot, Cristina Gómez, Oscar Pastor, Maria Ribera Sancho, Ernest Teniente |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XIII, 268 p. 94 illus., 63 illus. in color.) |
| Disciplina | 005.1 |
| Soggetto topico |
Software engineering
Computers Application software Software Engineering Models and Principles Information Systems Applications (incl. Internet) |
| ISBN | 3-319-67271-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910254827103321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 [[electronic resource] ] : 11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings / / edited by Pau Fonseca i Casas, Maria-Ribera Sancho, Edel Sherratt
| System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 [[electronic resource] ] : 11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings / / edited by Pau Fonseca i Casas, Maria-Ribera Sancho, Edel Sherratt |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XII, 267 p. 128 illus., 69 illus. in color.) |
| Disciplina | 003 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer programming Logic design Computers Software Engineering Programming Languages, Compilers, Interpreters Programming Techniques Logic Design Information Systems and Communication Service |
| ISBN | 3-030-30690-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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. |
| Record Nr. | UNISA-996466288203316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 : 11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings / / edited by Pau Fonseca i Casas, Maria-Ribera Sancho, Edel Sherratt
| System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 : 11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings / / edited by Pau Fonseca i Casas, Maria-Ribera Sancho, Edel Sherratt |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XII, 267 p. 128 illus., 69 illus. in color.) |
| Disciplina |
003
005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Compilers (Computer programs) Computer programming Logic design Computer networks Software Engineering Compilers and Interpreters Programming Techniques Logic Design Computer Communication Networks |
| ISBN | 3-030-30690-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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. |
| Record Nr. | UNINA-9910349299003321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||