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.
Coordination models and languages : 24th IFIP WG 6. 1 International Conference, COORDINATION 2022, held as part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings / / Maurice H. ter Beek, Marjan Sirjani, editors
| Coordination models and languages : 24th IFIP WG 6. 1 International Conference, COORDINATION 2022, held as part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings / / Maurice H. ter Beek, Marjan Sirjani, editors |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2022] |
| Descrizione fisica | 1 online resource (246 pages) |
| Disciplina | 004.36 |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Electronic data processing - Distributed processing
Software architecture |
| ISBN | 3-031-08143-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996478866803316 |
| Cham, Switzerland : , : Springer, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Coordination models and languages : 24th IFIP WG 6. 1 International Conference, COORDINATION 2022, held as part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings / / Maurice H. ter Beek, Marjan Sirjani, editors
| Coordination models and languages : 24th IFIP WG 6. 1 International Conference, COORDINATION 2022, held as part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings / / Maurice H. ter Beek, Marjan Sirjani, editors |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2022] |
| Descrizione fisica | 1 online resource (246 pages) |
| Disciplina | 004.36 |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Electronic data processing - Distributed processing
Software architecture |
| ISBN | 3-031-08143-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910578683503321 |
| Cham, Switzerland : , : Springer, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Coordination models and languages : 23rd IFIP WG 6.1 international conference, COORDINATION 2021 : held as part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021 : Valletta, Malta, June 14-18, 2021 : proceedings / / Ferruccio Damiani, Ornela Dardha (editors)
| Coordination models and languages : 23rd IFIP WG 6.1 international conference, COORDINATION 2021 : held as part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021 : Valletta, Malta, June 14-18, 2021 : proceedings / / Ferruccio Damiani, Ornela Dardha (editors) |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2021] |
| Descrizione fisica | 1 online resource (XVI, 301 p. 134 illus., 56 illus. in color.) |
| Disciplina | 005 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software architecture
Electronic data processing - Distributed processing |
| ISBN | 3-030-78142-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Modeling and analyzing resource-sensitive actors: A tutorial introduction -- Manifestly Phased Communication via Shared Session Types -- Deconfined Global Types for Asynchronous Sessions -- Relating Functional and Imperative Session Types -- Safe Session-Based Asynchronous Coordination in Rust -- A Session Subtyping Tool -- Towards Probabilistic Session-Type Monitoring -- Java Typestate Checker -- Asynchronous Global Types in co-logic Programming -- Tuple-Based Coordination in Large-Scale Situated Systems -- A Theory of Automated Market Makers in DeFi -- ReGraDa: Reactive Graph Data -- The Structure of Concurrent Process Histories -- A Clean and Efficient Implementation of Choreography Synthesis for Behavioural Contracts -- A Practical Tool-Chain for the Development of Coordination Scenarios: Graphical Modeler, DSL, Code Generators and Automaton-Based Simulator -- Microservice Dynamic Architecture-Level Deployment Orchestration -- Jolie & LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices -- ScaFi-Web: a Web-Based Application for Field-Based Coordination Programming. |
| Record Nr. | UNINA-9910483717903321 |
| Cham, Switzerland : , : Springer, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Coordination models and languages : 23rd IFIP WG 6.1 international conference, COORDINATION 2021 : held as part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021 : Valletta, Malta, June 14-18, 2021 : proceedings / / Ferruccio Damiani, Ornela Dardha (editors)
| Coordination models and languages : 23rd IFIP WG 6.1 international conference, COORDINATION 2021 : held as part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021 : Valletta, Malta, June 14-18, 2021 : proceedings / / Ferruccio Damiani, Ornela Dardha (editors) |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2021] |
| Descrizione fisica | 1 online resource (XVI, 301 p. 134 illus., 56 illus. in color.) |
| Disciplina | 005 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software architecture
Electronic data processing - Distributed processing |
| ISBN | 3-030-78142-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Modeling and analyzing resource-sensitive actors: A tutorial introduction -- Manifestly Phased Communication via Shared Session Types -- Deconfined Global Types for Asynchronous Sessions -- Relating Functional and Imperative Session Types -- Safe Session-Based Asynchronous Coordination in Rust -- A Session Subtyping Tool -- Towards Probabilistic Session-Type Monitoring -- Java Typestate Checker -- Asynchronous Global Types in co-logic Programming -- Tuple-Based Coordination in Large-Scale Situated Systems -- A Theory of Automated Market Makers in DeFi -- ReGraDa: Reactive Graph Data -- The Structure of Concurrent Process Histories -- A Clean and Efficient Implementation of Choreography Synthesis for Behavioural Contracts -- A Practical Tool-Chain for the Development of Coordination Scenarios: Graphical Modeler, DSL, Code Generators and Automaton-Based Simulator -- Microservice Dynamic Architecture-Level Deployment Orchestration -- Jolie & LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices -- ScaFi-Web: a Web-Based Application for Field-Based Coordination Programming. |
| Record Nr. | UNISA-996464393503316 |
| Cham, Switzerland : , : Springer, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Data architecture [[electronic resource] ] : from zen to reality / / Charles Tupper
| Data architecture [[electronic resource] ] : from zen to reality / / Charles Tupper |
| Autore | Tupper Charles D |
| Edizione | [1st edition] |
| Pubbl/distr/stampa | Amsterdam ; ; Boston, : Morgan Kaufmann, 2011 |
| Descrizione fisica | 1 online resource (442 p.) |
| Disciplina | 005.1/2 |
| Soggetto topico |
Data structures (Computer science)
Software architecture |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-283-06975-X
9786613069757 0-12-385127-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Front Cover; Data Architecture; Copyright Page; Contents; Preface; SECTION 1 THE PRINCIPLES; Chapter 1 Understanding Architectural Principles; Defining Architecture; Design Problems; Patterns and Pattern Usage; Concepts for Pattern Usage; Information Architecture; Structure Works!; Problems in Architecture; Architectural Solutions; The "Form Follows Function" Concept; Guideline: Composition and Environment; Guideline: Evolution; Guideline: Current and Future; Data Policies (Governance), the Foundation Building Codes; Data Policy Principles
Chapter 2 Enterprise Architecture Frameworks and MethodologiesArchitecture Frameworks; Brief History of Enterprise Architecture; The Zachman Framework for Enterprise Architecture; The Open Group Architecture Framework; The Federal Enterprise Architecture; Conclusions; Enterprise Data Architectures; Enterprise Models; The Enterprise Data Model; The Importance of the Enterprise Data Model; Object Concepts: Types and Structures Within Databases; Inheritance; Object Life Cycles; Relationships and Collections; Object Frameworks; Object Framework Programming; Pattern-Based Frameworks Architecture Patterns in UseU.S. Treasury Architecture Development Guidance; TADG Pattern Content; TADG Architecture Patterns; IBM Patterns for e-Business; Enterprise Data Model Implementation Methods; Chapter 3 Enterprise-Level Data Architecture Practices; Enterprise-Level Architectures; System Architectures; Enterprise Data Architectures; Enterprise Technology Architectures; Enterprise Architecture Terminology-Business Terms; The Enterprise Model; The Enterprise Data Architecture from a Development Perspective; Subject Area Drivers; Naming and Object Standards; Data Sharing Data Dictionary-Metadata RepositoryDomain Constraints in Corporate and Non-Corporate Data; Organizational Control Components; Data Administration; Database Administration; Setting Up a Database Administration Group; Repository Management Areas and Model Management; Chapter 4 Understanding Development Methodologies; Design Methods; Why Do We Need Development Methodologies?; The Beginnings; Structured Methods; Structured Programming; Structured Design; Structured Analysis; Still Having Problems; Requirements Definitions; Problems with Structured Approaches Personal Computers and the Age of ToolsEngineering Concepts Applied; Other Principles Utilized; The Birth of Information Engineering; Information Engineering as a Design Methodology; The Synergy of Tools and Information Engineering; Problems with Information Engineering; Implementing the Best of IE while Minimizing Expense; SECTION 2 THE PROBLEM; Chapter 5 Business Evolution; The Problem of Business Evolution; Expansion and Function Separation; Separate Function Communication; Manual Data Redundancy; Data Planning and Process Planning; Corporate Architecture; Using Nolan's Stages of Growth Problems with Older Organizations |
| Record Nr. | UNINA-9910459860203321 |
Tupper Charles D
|
||
| Amsterdam ; ; Boston, : Morgan Kaufmann, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Data architecture [[electronic resource] ] : from zen to reality / / Charles Tupper
| Data architecture [[electronic resource] ] : from zen to reality / / Charles Tupper |
| Autore | Tupper Charles D |
| Edizione | [1st edition] |
| Pubbl/distr/stampa | Amsterdam ; ; Boston, : Morgan Kaufmann, 2011 |
| Descrizione fisica | 1 online resource (442 p.) |
| Disciplina | 005.1/2 |
| Soggetto topico |
Data structures (Computer science)
Software architecture |
| ISBN |
1-283-06975-X
9786613069757 0-12-385127-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Front Cover; Data Architecture; Copyright Page; Contents; Preface; SECTION 1 THE PRINCIPLES; Chapter 1 Understanding Architectural Principles; Defining Architecture; Design Problems; Patterns and Pattern Usage; Concepts for Pattern Usage; Information Architecture; Structure Works!; Problems in Architecture; Architectural Solutions; The "Form Follows Function" Concept; Guideline: Composition and Environment; Guideline: Evolution; Guideline: Current and Future; Data Policies (Governance), the Foundation Building Codes; Data Policy Principles
Chapter 2 Enterprise Architecture Frameworks and MethodologiesArchitecture Frameworks; Brief History of Enterprise Architecture; The Zachman Framework for Enterprise Architecture; The Open Group Architecture Framework; The Federal Enterprise Architecture; Conclusions; Enterprise Data Architectures; Enterprise Models; The Enterprise Data Model; The Importance of the Enterprise Data Model; Object Concepts: Types and Structures Within Databases; Inheritance; Object Life Cycles; Relationships and Collections; Object Frameworks; Object Framework Programming; Pattern-Based Frameworks Architecture Patterns in UseU.S. Treasury Architecture Development Guidance; TADG Pattern Content; TADG Architecture Patterns; IBM Patterns for e-Business; Enterprise Data Model Implementation Methods; Chapter 3 Enterprise-Level Data Architecture Practices; Enterprise-Level Architectures; System Architectures; Enterprise Data Architectures; Enterprise Technology Architectures; Enterprise Architecture Terminology-Business Terms; The Enterprise Model; The Enterprise Data Architecture from a Development Perspective; Subject Area Drivers; Naming and Object Standards; Data Sharing Data Dictionary-Metadata RepositoryDomain Constraints in Corporate and Non-Corporate Data; Organizational Control Components; Data Administration; Database Administration; Setting Up a Database Administration Group; Repository Management Areas and Model Management; Chapter 4 Understanding Development Methodologies; Design Methods; Why Do We Need Development Methodologies?; The Beginnings; Structured Methods; Structured Programming; Structured Design; Structured Analysis; Still Having Problems; Requirements Definitions; Problems with Structured Approaches Personal Computers and the Age of ToolsEngineering Concepts Applied; Other Principles Utilized; The Birth of Information Engineering; Information Engineering as a Design Methodology; The Synergy of Tools and Information Engineering; Problems with Information Engineering; Implementing the Best of IE while Minimizing Expense; SECTION 2 THE PROBLEM; Chapter 5 Business Evolution; The Problem of Business Evolution; Expansion and Function Separation; Separate Function Communication; Manual Data Redundancy; Data Planning and Process Planning; Corporate Architecture; Using Nolan's Stages of Growth Problems with Older Organizations |
| Record Nr. | UNINA-9910785585003321 |
|
Tupper Charles D
|
||
| Amsterdam ; ; Boston, : Morgan Kaufmann, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Data architecture [[electronic resource] ] : from zen to reality / / Charles Tupper
| Data architecture [[electronic resource] ] : from zen to reality / / Charles Tupper |
| Autore | Tupper Charles D |
| Edizione | [1st edition] |
| Pubbl/distr/stampa | Amsterdam ; ; Boston, : Morgan Kaufmann, 2011 |
| Descrizione fisica | 1 online resource (442 p.) |
| Disciplina | 005.1/2 |
| Soggetto topico |
Data structures (Computer science)
Software architecture |
| ISBN |
1-283-06975-X
9786613069757 0-12-385127-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Front Cover; Data Architecture; Copyright Page; Contents; Preface; SECTION 1 THE PRINCIPLES; Chapter 1 Understanding Architectural Principles; Defining Architecture; Design Problems; Patterns and Pattern Usage; Concepts for Pattern Usage; Information Architecture; Structure Works!; Problems in Architecture; Architectural Solutions; The "Form Follows Function" Concept; Guideline: Composition and Environment; Guideline: Evolution; Guideline: Current and Future; Data Policies (Governance), the Foundation Building Codes; Data Policy Principles
Chapter 2 Enterprise Architecture Frameworks and MethodologiesArchitecture Frameworks; Brief History of Enterprise Architecture; The Zachman Framework for Enterprise Architecture; The Open Group Architecture Framework; The Federal Enterprise Architecture; Conclusions; Enterprise Data Architectures; Enterprise Models; The Enterprise Data Model; The Importance of the Enterprise Data Model; Object Concepts: Types and Structures Within Databases; Inheritance; Object Life Cycles; Relationships and Collections; Object Frameworks; Object Framework Programming; Pattern-Based Frameworks Architecture Patterns in UseU.S. Treasury Architecture Development Guidance; TADG Pattern Content; TADG Architecture Patterns; IBM Patterns for e-Business; Enterprise Data Model Implementation Methods; Chapter 3 Enterprise-Level Data Architecture Practices; Enterprise-Level Architectures; System Architectures; Enterprise Data Architectures; Enterprise Technology Architectures; Enterprise Architecture Terminology-Business Terms; The Enterprise Model; The Enterprise Data Architecture from a Development Perspective; Subject Area Drivers; Naming and Object Standards; Data Sharing Data Dictionary-Metadata RepositoryDomain Constraints in Corporate and Non-Corporate Data; Organizational Control Components; Data Administration; Database Administration; Setting Up a Database Administration Group; Repository Management Areas and Model Management; Chapter 4 Understanding Development Methodologies; Design Methods; Why Do We Need Development Methodologies?; The Beginnings; Structured Methods; Structured Programming; Structured Design; Structured Analysis; Still Having Problems; Requirements Definitions; Problems with Structured Approaches Personal Computers and the Age of ToolsEngineering Concepts Applied; Other Principles Utilized; The Birth of Information Engineering; Information Engineering as a Design Methodology; The Synergy of Tools and Information Engineering; Problems with Information Engineering; Implementing the Best of IE while Minimizing Expense; SECTION 2 THE PROBLEM; Chapter 5 Business Evolution; The Problem of Business Evolution; Expansion and Function Separation; Separate Function Communication; Manual Data Redundancy; Data Planning and Process Planning; Corporate Architecture; Using Nolan's Stages of Growth Problems with Older Organizations |
| Record Nr. | UNINA-9910827468503321 |
|
Tupper Charles D
|
||
| Amsterdam ; ; Boston, : Morgan Kaufmann, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The DevOps adoption playbook : a guide to adopting devOps in a multi-speed IT enterprise / / Sanjeev Sharma
| The DevOps adoption playbook : a guide to adopting devOps in a multi-speed IT enterprise / / Sanjeev Sharma |
| Autore | Sharma Sanjeev |
| Edizione | [1st edition] |
| Pubbl/distr/stampa | Indianapolis, IN : , : John Wiley and Sons, , [2017] |
| Descrizione fisica | 1 online resource (403 pages) : color illustrations |
| Disciplina | 005.1 |
| Collana | THEi Wiley ebooks |
| Soggetto topico |
Software architecture
Computer software - Development Operating systems (Computers) |
| ISBN |
1-119-31076-8
1-119-31077-6 1-119-31052-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | DevOps: An Overview -- Adopting DevOps -- Developing a Business Case for a DevOps Transformation -- DevOps Plays for Optimizing the Delivery Pipeline -- DevOps Plays for Driving Innovation -- Scaling DevOps for the Enterprise -- Leading DevOps Adoption in the Enterprise. |
| Record Nr. | UNINA-9910160317703321 |
|
Sharma Sanjeev
|
||
| Indianapolis, IN : , : John Wiley and Sons, , [2017] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The DevOps adoption playbook : a guide to adopting devOps in a multi-speed IT enterprise / / Sanjeev Sharma
| The DevOps adoption playbook : a guide to adopting devOps in a multi-speed IT enterprise / / Sanjeev Sharma |
| Autore | Sharma Sanjeev |
| Edizione | [1st edition] |
| Pubbl/distr/stampa | Indianapolis, IN : , : John Wiley and Sons, , [2017] |
| Descrizione fisica | 1 online resource (403 pages) : color illustrations |
| Disciplina | 005.1 |
| Collana | THEi Wiley ebooks |
| Soggetto topico |
Software architecture
Computer software - Development Operating systems (Computers) |
| ISBN |
1-119-31076-8
1-119-31077-6 1-119-31052-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | DevOps: An Overview -- Adopting DevOps -- Developing a Business Case for a DevOps Transformation -- DevOps Plays for Optimizing the Delivery Pipeline -- DevOps Plays for Driving Innovation -- Scaling DevOps for the Enterprise -- Leading DevOps Adoption in the Enterprise. |
| Record Nr. | UNINA-9910817621803321 |
|
Sharma Sanjeev
|
||
| Indianapolis, IN : , : John Wiley and Sons, , [2017] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
DISE 2017 : 2017 IEEE/ACM 1st International Workshop on Design and Innovation in Software Engineering : proceedings : 23 May 2017, Buenos Aires, Argentina
| DISE 2017 : 2017 IEEE/ACM 1st International Workshop on Design and Innovation in Software Engineering : proceedings : 23 May 2017, Buenos Aires, Argentina |
| Pubbl/distr/stampa | New York : , : ACM, , 2017 |
| Descrizione fisica | 1 online resource (30 pages) |
| Disciplina | 005.1 |
| Soggetto topico |
Software engineering
Computer software - Technological innovations Software architecture |
| ISBN | 1-5386-0400-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910211252403321 |
| New York : , : ACM, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
