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.
Architectural Design : Conception and Specification of Interactive Systems / / by Chris A. Vissers, Luís Ferreira Pires, Dick A.C. Quartel, Marten van Sinderen
| Architectural Design : Conception and Specification of Interactive Systems / / by Chris A. Vissers, Luís Ferreira Pires, Dick A.C. Quartel, Marten van Sinderen |
| Autore | Vissers Chris A |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XXII, 388 p. 276 illus., 215 illus. in color.) |
| Disciplina | 658.4038011 |
| Soggetto topico |
Software engineering
Management information systems Computer networks Software Engineering Software Management Computer Communication Networks |
| ISBN | 3-319-43298-2 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Systems and Systems Design -- 2. Design Models and Design Languages -- 3. Basic Design Concepts -- 4. Behaviour Modelling with Casually Related Actions -- 5. Behaviour Structuring -- 6. Interaction Refinement and Abstraction -- 7. Interaction Systems -- 8. Service Design -- 9. Service Elements -- 10. Protocol Design -- 11. Protocol Elements -- 12. Reference Models and Standard Interaction Systems. |
| Record Nr. | UNINA-9910254984403321 |
Vissers Chris A
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Enterprise Design, Operations, and Computing [[electronic resource] ] : 27th International Conference, EDOC 2023, Groningen, The Netherlands, October 30 – November 3, 2023, Proceedings / / edited by Henderik A. Proper, Luise Pufahl, Dimka Karastoyanova, Marten van Sinderen, João Moreira
| Enterprise Design, Operations, and Computing [[electronic resource] ] : 27th International Conference, EDOC 2023, Groningen, The Netherlands, October 30 – November 3, 2023, Proceedings / / edited by Henderik A. Proper, Luise Pufahl, Dimka Karastoyanova, Marten van Sinderen, João Moreira |
| Autore | Proper Henderik A |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (238 pages) |
| Disciplina | 658.05 |
| Altri autori (Persone) |
PufahlLuise
KarastoyanovaDimka van SinderenMarten MoreiraJoão |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Business information services
Data structures (Computer science) Information theory Database management Electronic commerce Computers Enterprise Architecture Data Structures and Information Theory Database Management e-Commerce and e-Business Computing Milieux IT in Business |
| ISBN | 3-031-46587-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Enterprise Modeling, Architecture & Engineering -- A System Ontology for Emergence Modeling -- What do I get from modeling? -- A Generic and Customizable Genetic Algorithms-based Conceptual Model Modularization Platform -- MARTSIA: Enabling Data Confidentiality for Blockchain-based Process Execution -- Model-Based Software Engineering -- Building an Ontological Bridge between Supply Chain Resilience and IoT Applications -- A Model-Driven Approach to SAP S/4HANA Development -- Enterprise Analysis and Improvement with Process Mining -- A Methodology for the Analysis of Robotic Systems via Process Mining -- An Approach for Face Validity Assessment of Agent-Based Simulation Models through Outlier Detection with Process Mining -- Process Mining Insights to Process Improvement: Challenges and Recommendations -- Developing Taxonomies for Business Process Engineering -- Modeling in an Enterprise Context -- A Taxonomy for Platform Revenue Models: An Empirical-to-Conceptual Development Approach -- Conceptual Modeling in Support of Economic and Regulatory Viability Assessment - A Reality Check on the Example of Developing an Energy Community. |
| Record Nr. | UNISA-996558467203316 |
|
Proper Henderik A
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Enterprise Interoperability : 6th International IFIP Working Conference, IWEI 2015, Nîmes, France, May 28-29, 2015, Proceedings / / edited by Marten van Sinderen, Vincent Chapurlat
| Enterprise Interoperability : 6th International IFIP Working Conference, IWEI 2015, Nîmes, France, May 28-29, 2015, Proceedings / / edited by Marten van Sinderen, Vincent Chapurlat |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (X, 187 p. 73 illus.) |
| Disciplina | 004.6 |
| Collana | Lecture Notes in Business Information Processing |
| Soggetto topico |
Information technology - Management
Business information services Application software Software engineering Production management Computer Application in Administrative Data Processing IT in Business Computer and Information Systems Applications Software Engineering Operations Management |
| ISBN | 3-662-47157-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Semantic Interoperability in Astrophysics for Workflows Extraction from Heterogeneous Services -- A General Model Transformation Methodology to Serve Enterprise Interoperability Data Sharing Problem -- An Ontology for Interoperability: Modeling of Composite Services in the Smart Home Environment -- Validation and Verification of Interoperability Requirements -- Interoperability as a Key Concept for the Control and Evolution of the System of Systems (SoS) -- Towards an Agile and Collaborative Platform for Managing Supply Chain Uncertainties -- Towards a Sustainable Implementation of Interoperability Solutions: Bridging the Gap Between Interoperability Requirements and Solutions -- Introducing a Socio-Technical Perspective on Business Processes into Enterprise Interoperability Frameworks -- Humans in the Enterprise Interoperability Ecosystem -- Multi-agent Product Life Cycle Environment. Interoperability Issues -- Linked Data for Transaction Based Enterprise Interoperability -- Interoperability Architecture for Electric Mobility -- Model Based Enterprise Modeling for Testing PLM Interoperability in Dynamic Manufacturing Network -- PLM Standards Modelling for Enterprise Interoperability: A Manufacturing Case Study for ERP and MES Systems Integration Based on ISA-95 -- An Interface Pattern Model for Supporting Design of Natively Interoperable Systems. |
| Record Nr. | UNINA-9910299237603321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Enterprise Interoperability : 5th International IFIP Working Conference, IWEI 2013, Enschede, The Netherlands, March 27-28, 2013, Proceedings / / edited by Marten van Sinderen, Paul Oude Luttighuis, Erwin Folmer, Steven Bosems
| Enterprise Interoperability : 5th International IFIP Working Conference, IWEI 2013, Enschede, The Netherlands, March 27-28, 2013, Proceedings / / edited by Marten van Sinderen, Paul Oude Luttighuis, Erwin Folmer, Steven Bosems |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XIV, 225 p. 71 illus.) |
| Disciplina | 004.6 |
| Collana | Lecture Notes in Business Information Processing |
| Soggetto topico |
Business information services
Information technology - Management Application software Software engineering IT in Business Computer Application in Administrative Data Processing Computer and Information Systems Applications Software Engineering |
| ISBN | 3-642-36796-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynotes -- Invited Paper -- Enterprise Service Interoperability -- Enterprise Interoperability in Sectors -- Interoperability for Specific Application Types -- Strategic and Tactic Aspects of Enterprise Interoperability -- Ontology-Based Interoperability. |
| Record Nr. | UNINA-9910741201103321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software and Data Technologies : 7th International Conference, ICSOFT 2012, Rome, Italy, July 24-27, 2012, Revised Selected Papers / / edited by José Cordeiro, Slimane Hammoudi, Marten van Sinderen
| Software and Data Technologies : 7th International Conference, ICSOFT 2012, Rome, Italy, July 24-27, 2012, Revised Selected Papers / / edited by José Cordeiro, Slimane Hammoudi, Marten van Sinderen |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XII, 219 p. 85 illus.) |
| Disciplina | 005.1 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer simulation |
| Soggetto genere / forma | Periodicals. |
| ISBN | 3-642-45404-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Programming issues -- Theoretical aspects of software engineering -- Management information systems -- Distributed systems -- Ubiquity -- Data interoperability -- Context understanding. |
| Record Nr. | UNINA-9910437596103321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software Technologies : 18th International Conference, ICSOFT 2023, Rome, Italy, July 10–12, 2023, Revised Selected Papers / / edited by Hans-Georg Fill, Francisco José Domínguez Mayo, Marten van Sinderen, Leszek A. Maciaszek
| Software Technologies : 18th International Conference, ICSOFT 2023, Rome, Italy, July 10–12, 2023, Revised Selected Papers / / edited by Hans-Georg Fill, Francisco José Domínguez Mayo, Marten van Sinderen, Leszek A. Maciaszek |
| Autore | Fill Hans-Georg |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (166 pages) |
| Disciplina | 005.1 |
| Altri autori (Persone) |
Domínguez MayoFrancisco José
van SinderenMarten MaciaszekLeszek A |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Software engineering
Computers, Special purpose Computer systems Microprogramming Computer networks Computer programming Software Engineering Special Purpose and Application-Based Systems Computer System Implementation Control Structures and Microprogramming Computer Communication Networks Programming Techniques |
| ISBN |
9783031617539
3031617533 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | -- Green Evolutionary Algorithms and JavaScript: A Study on Different Software and Hardware Architectures. -- Low-Modeling of Software Systems. -- Model-Driven Security Smell Resolution in Microservice Architecture Using LEMMA. -- Indentation and Reading Time: A Controlled Experiment on the Differences Between Generated Indented and Non-Indented JSON Objects. -- The Sustainable User Experiences Enabled Human-Centered Framework for Systems Design. -- DeepPull: Deep Learning-Based Approach for Predicting Reopening, Decision, and Lifetime of Pull Requests on GitHub Open-Source Projects. -- On the Relevance of Graph2Vec Source Code Embeddings for Software Defect Prediction. |
| Record Nr. | UNINA-9910864199303321 |
|
Fill Hans-Georg
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software Technologies [[electronic resource] ] : 14th International Conference, ICSOFT 2019, Prague, Czech Republic, July 26–28, 2019, Revised Selected Papers / / edited by Marten van Sinderen, Leszek A. Maciaszek
| Software Technologies [[electronic resource] ] : 14th International Conference, ICSOFT 2019, Prague, Czech Republic, July 26–28, 2019, Revised Selected Papers / / edited by Marten van Sinderen, Leszek A. Maciaszek |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XII, 229 p. 152 illus., 47 illus. in color.) |
| Disciplina | 005.1 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Software engineering
Special purpose computers Computer communication systems Architecture, Computer Application software Software Engineering/Programming and Operating Systems Special Purpose and Application-Based Systems Computer Communication Networks Computer System Implementation Information Systems Applications (incl. Internet) |
| ISBN | 3-030-52991-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465342003316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software Technologies : 14th International Conference, ICSOFT 2019, Prague, Czech Republic, July 26–28, 2019, Revised Selected Papers / / edited by Marten van Sinderen, Leszek A. Maciaszek
| Software Technologies : 14th International Conference, ICSOFT 2019, Prague, Czech Republic, July 26–28, 2019, Revised Selected Papers / / edited by Marten van Sinderen, Leszek A. Maciaszek |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XII, 229 p. 152 illus., 47 illus. in color.) |
| Disciplina | 005.1 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Software engineering
Computers, Special purpose Computer networks Computer architecture Application software Software Engineering/Programming and Operating Systems Special Purpose and Application-Based Systems Computer Communication Networks Computer System Implementation Information Systems Applications (incl. Internet) |
| ISBN | 3-030-52991-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910413438603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software Technologies : 13th International Conference, ICSOFT 2018, Porto, Portugal, July 26-28, 2018, Revised Selected Papers / / edited by Marten van Sinderen, Leszek A. Maciaszek
| Software Technologies : 13th International Conference, ICSOFT 2018, Porto, Portugal, July 26-28, 2018, Revised Selected Papers / / edited by Marten van Sinderen, Leszek A. Maciaszek |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XIV, 421 p. 207 illus., 95 illus. in color.) |
| Disciplina | 005.101512 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Software engineering
Computer organization Artificial intelligence Computers Application software Software Engineering Computer Systems Organization and Communication Networks Artificial Intelligence The Computing Profession Information Systems Applications (incl. Internet) |
| ISBN | 3-030-29157-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910349288203321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software Technologies : 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24–26, 2017, Revised Selected Papers / / edited by Enrique Cabello, Jorge Cardoso, Leszek A. Maciaszek, Marten van Sinderen
| Software Technologies : 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24–26, 2017, Revised Selected Papers / / edited by Enrique Cabello, Jorge Cardoso, Leszek A. Maciaszek, Marten van Sinderen |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XIV, 309 p. 80 illus.) |
| Disciplina | 004 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Software engineering
Artificial intelligence Application software Computer programming Compilers (Computer programs) Electronic digital computers - Evaluation Software Engineering Artificial Intelligence Computer and Information Systems Applications Programming Techniques Compilers and Interpreters System Performance and Evaluation |
| ISBN | 3-319-93641-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910299315603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
