2021 IEEE 18th International Conference on Software Architecture (ICSA) / / IEEE Computer Society |
Pubbl/distr/stampa | Los Alamitos : , : IEEE Computer Society, , 2021 |
Descrizione fisica | 1 online resource (xvii, 185 pages) : illustrations (some color) |
Disciplina | 005.12 |
Soggetto topico | Software architecture |
ISBN | 1-7281-6260-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | 2021 IEEE 18th International Conference on Software Architecture |
Record Nr. | UNINA-9910554005803321 |
Los Alamitos : , : IEEE Computer Society, , 2021 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
2021 IEEE 18th International Conference on Software Architecture (ICSA) / / IEEE Computer Society |
Pubbl/distr/stampa | Los Alamitos : , : IEEE Computer Society, , 2021 |
Descrizione fisica | 1 online resource (xvii, 185 pages) : illustrations (some color) |
Disciplina | 005.12 |
Soggetto topico | Software architecture |
ISBN | 1-7281-6260-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | 2021 IEEE 18th International Conference on Software Architecture |
Record Nr. | UNISA-996574802703316 |
Los Alamitos : , : IEEE Computer Society, , 2021 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
42010-2022 - IEEE/ISO/IEC International Standard for Software, systems and enterprise : Architecture description / / IEEE |
Pubbl/distr/stampa | New York : , : IEEE, , 2022 |
Descrizione fisica | 1 online resource (74 pages) |
Disciplina | 005.12 |
Soggetto topico |
Software architecture
Software engineering - Standards |
ISBN | 1-5044-9155-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996575142803316 |
New York : , : IEEE, , 2022 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Abstract State Machines, B and Z [[electronic resource] ] : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings / / edited by Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca |
Edizione | [1st ed. 2008.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
Descrizione fisica | 1 online resource (XII, 384 p.) |
Disciplina | 005.12 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Software engineering
Computer science Machine theory Compilers (Computer programs) Database management Software Engineering Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Compilers and Interpreters Database Management |
ISBN | 3-540-87603-0 |
Classificazione |
54.10
DAT 550f SS 4800 004 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without Sacrificing Productivity -- The High Road to Formal Validation: -- Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach -- Refinement of State-Based Systems: ASMs and Big Commuting Diagrams (Abstract) -- 2. ASM Papers -- Model Based Refinement and the Tools of Tomorrow -- A Concept-Driven Construction of the Mondex Protocol Using Three Refinements -- A Scenario-Based Validation Language for ASMs -- Data Flow Analysis and Testing of Abstract State Machines -- A Verified AsmL Implementation of Belief Revision -- Direct Support for Model Checking Abstract State Machines by Utilizing Simulation -- 3. B Papers -- On the Purpose of Event-B Proof Obligations -- Generating Tests from B Specifications and Test Purposes -- Combining Scenario- and Model-Based Testing to Ensure POSIX Compliance -- UseCase-Wise Development: Retrenchment for Event-B -- Towards Modelling Obligations in Event-B -- A Practical Single Refinement Method for B -- The Composition of Event-B Models -- Reconciling Axiomatic and Model-Based Specifications Reprised -- A Verifiable Conformance Relationship between Smart Card Applets and B Security Models -- Modelling Attacker’s Knowledge for Cascade Cryptographic Protocols -- Using EventB to Create a Virtual Machine Instruction Set Architecture -- 4. Z Papers -- Z2SAL - Building a Model Checker for Z -- Formal Modeling and Analysis of a Flash Filesystem in Alloy -- Unit Testing of Z Specifications -- Autonomous Objects and Bottom-Up Composition in ZOO Applied to a Case Study of Biological Reactivity -- 5. ABZ Short Papers -- Integrating Z into Large Projects Tools and Techniques -- A First Attempt to Express KAOS Refinement Patterns with Event B -- Verification and Validation of Web Service Composition Using Event B Method -- Stability of Real-Time Abstract State Machines under Desynchronization -- XML Database Transformations with Tree Updates -- Dynamic Resource Configuration & Management for Distributed Information Fusion in Maritime Surveillance -- UML-B: A Plug-in for the Event-B Tool Set -- BART: A Tool for Automatic Refinement -- Model Checking Event-B by Encoding into Alloy -- A Roadmap for the Rodin Toolset -- Exploiting the ASM Method for Validation & Verification of Embedded Systems -- Tool Support for the Circus Refinement Calculus -- Separation of Z Operations -- BSmart: A Tool for the Development of Java Card Applications with the B Method -- From ABZ to Cryptography -- Using ASM to Achieve Executability within a Family of DSL -- Using Satisfiability Modulo Theories to Analyze Abstract State Machines (Abstract) -- Formal Verification of ASM Models Using TLA?+? -- DIR 41 Case Study -- FDIR Architectures for Autonomous Spacecraft: Specification and Assessment with Event-B -- Object Modelling in the SystemB Industrial Project -- 6. VSR Day -- Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification -- ABZ2008 VSR-Net Workshop. |
Record Nr. | UNISA-996465278603316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Abstract State Machines, B and Z : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings / / edited by Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca |
Edizione | [1st ed. 2008.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
Descrizione fisica | 1 online resource (XII, 384 p.) |
Disciplina | 005.12 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Software engineering
Computer science Machine theory Compilers (Computer programs) Database management Software Engineering Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Compilers and Interpreters Database Management |
ISBN | 3-540-87603-0 |
Classificazione |
54.10
DAT 550f SS 4800 004 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without Sacrificing Productivity -- The High Road to Formal Validation: -- Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach -- Refinement of State-Based Systems: ASMs and Big Commuting Diagrams (Abstract) -- 2. ASM Papers -- Model Based Refinement and the Tools of Tomorrow -- A Concept-Driven Construction of the Mondex Protocol Using Three Refinements -- A Scenario-Based Validation Language for ASMs -- Data Flow Analysis and Testing of Abstract State Machines -- A Verified AsmL Implementation of Belief Revision -- Direct Support for Model Checking Abstract State Machines by Utilizing Simulation -- 3. B Papers -- On the Purpose of Event-B Proof Obligations -- Generating Tests from B Specifications and Test Purposes -- Combining Scenario- and Model-Based Testing to Ensure POSIX Compliance -- UseCase-Wise Development: Retrenchment for Event-B -- Towards Modelling Obligations in Event-B -- A Practical Single Refinement Method for B -- The Composition of Event-B Models -- Reconciling Axiomatic and Model-Based Specifications Reprised -- A Verifiable Conformance Relationship between Smart Card Applets and B Security Models -- Modelling Attacker’s Knowledge for Cascade Cryptographic Protocols -- Using EventB to Create a Virtual Machine Instruction Set Architecture -- 4. Z Papers -- Z2SAL - Building a Model Checker for Z -- Formal Modeling and Analysis of a Flash Filesystem in Alloy -- Unit Testing of Z Specifications -- Autonomous Objects and Bottom-Up Composition in ZOO Applied to a Case Study of Biological Reactivity -- 5. ABZ Short Papers -- Integrating Z into Large Projects Tools and Techniques -- A First Attempt to Express KAOS Refinement Patterns with Event B -- Verification and Validation of Web Service Composition Using Event B Method -- Stability of Real-Time Abstract State Machines under Desynchronization -- XML Database Transformations with Tree Updates -- Dynamic Resource Configuration & Management for Distributed Information Fusion in Maritime Surveillance -- UML-B: A Plug-in for the Event-B Tool Set -- BART: A Tool for Automatic Refinement -- Model Checking Event-B by Encoding into Alloy -- A Roadmap for the Rodin Toolset -- Exploiting the ASM Method for Validation & Verification of Embedded Systems -- Tool Support for the Circus Refinement Calculus -- Separation of Z Operations -- BSmart: A Tool for the Development of Java Card Applications with the B Method -- From ABZ to Cryptography -- Using ASM to Achieve Executability within a Family of DSL -- Using Satisfiability Modulo Theories to Analyze Abstract State Machines (Abstract) -- Formal Verification of ASM Models Using TLA?+? -- DIR 41 Case Study -- FDIR Architectures for Autonomous Spacecraft: Specification and Assessment with Event-B -- Object Modelling in the SystemB Industrial Project -- 6. VSR Day -- Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification -- ABZ2008 VSR-Net Workshop. |
Record Nr. | UNINA-9910483369103321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Advanced Information Systems Engineering [[electronic resource] ] : 20th International Conference, CAiSE 2008 Montpellier, France, June 18-20, 2008, Proceedings / / edited by Zohra Bellahsène, Michel Léonard |
Edizione | [1st ed. 2008.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
Descrizione fisica | 1 online resource (XVII, 588 p.) |
Disciplina | 005.12 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Software engineering
Data mining Computer engineering Database management Application software User interfaces (Computer systems) Software Engineering/Programming and Operating Systems Data Mining and Knowledge Discovery Computer Engineering Database Management Information Systems Applications (incl. Internet) User Interfaces and Human Computer Interaction |
ISBN | 3-540-69534-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Keynote -- The Challenges of Service Evolution -- Duality and Process Modeling -- Assigning Ontology-Based Semantics to Process Models: The Case of Petri Nets -- On the Duality of Information-Centric and Activity-Centric Models of Business Processes -- A New Paradigm for the Enactment and Dynamic Adaptation of Data-Driven Process Structures -- Interoperability of IS and Enterprises -- An Aspect Oriented Approach for Context-Aware Service Domain Adapted to E-Business -- Modeling Service Choreographies Using BPMN and BPEL4Chor -- Work Distribution and Resource Management in BPEL4People: Capabilities and Opportunities -- Refactoring -- Documenting Application-Specific Adaptations in Software Product Line Engineering -- Refactoring Process Models in Large Process Repositories -- Service-Oriented Information Systems Engineering: A Situation-Driven Approach for Service Integration -- When Interaction Choices Trigger Business Evolutions -- Information Systems in e-Government and Life-Science -- GATiB-CSCW, Medical Research Supported by a Service-Oriented Collaborative System -- Strategic Alignment in the Context of e-Services – An Empirical Investigation of the INSTAL Approach Using the Italian eGovernment Initiative Case Study -- Knowledge Patterns for IS Engineering -- Understanding and Improving Collective Attention Economy for Expertise Sharing -- Exploring the Effectiveness of Normative i* Modelling: Results from a Case Study on Food Chain Traceability -- Towards a Catalogue of Patterns for Defining Metrics over i* Models -- Requirements Engineering for IS -- Business Process Modelling and Purpose Analysis for Requirements Analysis of Information Systems -- Supporting the Elicitation of Requirements Compliant with Regulations -- On the Impact of Evolving Requirements-Architecture Dependencies: An Exploratory Study -- The IT Organization Modeling and Assessment Tool for IT Governance Decision Support -- Ensuring Transactional Reliability by E-Contracting -- Conceptual Schema Modeling -- Drawing Preconditions of Operation Contracts from Conceptual Schemas -- Decidable Reasoning in UML Schemas with Constraints -- Round-Trip Engineering for Maintaining Conceptual-Relational Mappings -- Service Infrastructure -- Capturing and Using QoS Relationships to Improve Service Selection -- KAF: Kalman Filter Based Adaptive Maintenance for Dependability of Composite Services -- SpreadMash: A Spreadsheet-Based Interactive Browsing and Analysis Tool for Data Services -- Service Evolution -- Managing the Evolution of Service Specifications -- On the Definition of Service Granularity and Its Architectural Impact -- Reasoning about Substitute Choices and Preference Ordering in e-Services -- Flexible Information Technologies -- Message Correlation and Business Protocol Discovery in Service Interaction Logs -- Concern-Sensitive Navigation: Improving Navigation in Web Software through Separation of Concerns -- A Flexible and Semantic-Aware Publication Infrastructure for Web Services -- Metrics and Process Modelling -- Measuring Similarity between Business Process Models -- How Much Language Is Enough? Theoretical and Practical Use of the Business Process Modeling Notation -- On a Quest for Good Process Models: The Cross-Connectivity Metric -- Information Systems Engineering -- Information Systems Engineering Supported by Cognitive Matchmaking -- On Modeling and Analyzing Cost Factors in Information Systems Engineering -- Computer-Aided Method Engineering: An Analysis of Existing Environments -- Adapting Secure Tropos for Security Risk Management in the Early Phases of Information Systems Development -- IS Development with Ubiquitous Technologies -- Probabilistic Entity Linkage for Heterogeneous Information Spaces -- Product Based Workflow Support: Dynamic Workflow Execution -- Location-Based Variability for Mobile Information Systems -- Modelling, Simulation, and Performance Analysis of Business Processes Involving Ubiquitous Systems -- Open Source Workflow: A Viable Direction for BPM?. |
Record Nr. | UNISA-996465870003316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Advanced information systems engineering : 20th international conference, CAISE 2008, Montpellier, France, June 16-20, 2008 : proceedings / / Zohra Bellahsene, Michel Leonard (eds.) |
Edizione | [1st ed. 2008.] |
Pubbl/distr/stampa | Berlin, : Springer, 2008 |
Descrizione fisica | 1 online resource (XVII, 588 p.) |
Disciplina | 005.12 |
Altri autori (Persone) |
BellahseneZohra
LeonardMichel |
Collana |
Lecture notes in computer science
LNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI |
Soggetto topico |
Computer-aided software engineering
Systems engineering |
ISBN | 3-540-69534-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Keynote -- The Challenges of Service Evolution -- Duality and Process Modeling -- Assigning Ontology-Based Semantics to Process Models: The Case of Petri Nets -- On the Duality of Information-Centric and Activity-Centric Models of Business Processes -- A New Paradigm for the Enactment and Dynamic Adaptation of Data-Driven Process Structures -- Interoperability of IS and Enterprises -- An Aspect Oriented Approach for Context-Aware Service Domain Adapted to E-Business -- Modeling Service Choreographies Using BPMN and BPEL4Chor -- Work Distribution and Resource Management in BPEL4People: Capabilities and Opportunities -- Refactoring -- Documenting Application-Specific Adaptations in Software Product Line Engineering -- Refactoring Process Models in Large Process Repositories -- Service-Oriented Information Systems Engineering: A Situation-Driven Approach for Service Integration -- When Interaction Choices Trigger Business Evolutions -- Information Systems in e-Government and Life-Science -- GATiB-CSCW, Medical Research Supported by a Service-Oriented Collaborative System -- Strategic Alignment in the Context of e-Services – An Empirical Investigation of the INSTAL Approach Using the Italian eGovernment Initiative Case Study -- Knowledge Patterns for IS Engineering -- Understanding and Improving Collective Attention Economy for Expertise Sharing -- Exploring the Effectiveness of Normative i* Modelling: Results from a Case Study on Food Chain Traceability -- Towards a Catalogue of Patterns for Defining Metrics over i* Models -- Requirements Engineering for IS -- Business Process Modelling and Purpose Analysis for Requirements Analysis of Information Systems -- Supporting the Elicitation of Requirements Compliant with Regulations -- On the Impact of Evolving Requirements-Architecture Dependencies: An Exploratory Study -- The IT Organization Modeling and Assessment Tool for IT Governance Decision Support -- Ensuring Transactional Reliability by E-Contracting -- Conceptual Schema Modeling -- Drawing Preconditions of Operation Contracts from Conceptual Schemas -- Decidable Reasoning in UML Schemas with Constraints -- Round-Trip Engineering for Maintaining Conceptual-Relational Mappings -- Service Infrastructure -- Capturing and Using QoS Relationships to Improve Service Selection -- KAF: Kalman Filter Based Adaptive Maintenance for Dependability of Composite Services -- SpreadMash: A Spreadsheet-Based Interactive Browsing and Analysis Tool for Data Services -- Service Evolution -- Managing the Evolution of Service Specifications -- On the Definition of Service Granularity and Its Architectural Impact -- Reasoning about Substitute Choices and Preference Ordering in e-Services -- Flexible Information Technologies -- Message Correlation and Business Protocol Discovery in Service Interaction Logs -- Concern-Sensitive Navigation: Improving Navigation in Web Software through Separation of Concerns -- A Flexible and Semantic-Aware Publication Infrastructure for Web Services -- Metrics and Process Modelling -- Measuring Similarity between Business Process Models -- How Much Language Is Enough? Theoretical and Practical Use of the Business Process Modeling Notation -- On a Quest for Good Process Models: The Cross-Connectivity Metric -- Information Systems Engineering -- Information Systems Engineering Supported by Cognitive Matchmaking -- On Modeling and Analyzing Cost Factors in Information Systems Engineering -- Computer-Aided Method Engineering: An Analysis of Existing Environments -- Adapting Secure Tropos for Security Risk Management in the Early Phases of Information Systems Development -- IS Development with Ubiquitous Technologies -- Probabilistic Entity Linkage for Heterogeneous Information Spaces -- Product Based Workflow Support: Dynamic Workflow Execution -- Location-Based Variability for Mobile Information Systems -- Modelling, Simulation, and Performance Analysis of Business Processes Involving Ubiquitous Systems -- Open Source Workflow: A Viable Direction for BPM?. |
Altri titoli varianti | CAISE 2008 |
Record Nr. | UNINA-9910483671503321 |
Berlin, : Springer, 2008 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Advanced Microservices : A Hands-on Approach to Microservice Infrastructure and Tooling / / by Thomas Hunter II |
Autore | Hunter II Thomas |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Berkeley, CA : , : Apress : , : Imprint : Apress, , 2017 |
Descrizione fisica | 1 online resource (XVIII, 181 p. 29 illus., 26 illus. in color.) |
Disciplina | 005.12 |
Soggetto topico |
Open source software
Open Source |
ISBN | 1-4842-2887-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1. Introduction.- 2. HTTP API Design -- 3. Deployments -- 4. Service Discovery -- 5. Data Flow -- 6. Consumers -- 7. Monitoring -- 8. Documentation -- 9. Collaboration. |
Record Nr. | UNINA-9910254852803321 |
Hunter II Thomas
![]() |
||
Berkeley, CA : , : Apress : , : Imprint : Apress, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Advances in self-organizing maps : 7th International workshop, WSOM 2009 : St. Augustine, FL, USA, june 8-10, 2009 : proceedings / José C. Prìncipe ...[et al.] (Eds.) |
Autore | International workshop, WSOM : <7.; : 2009 |
Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2009 |
Descrizione fisica | X, 371 p. : ill. ; 24 cm |
Disciplina | 005.12 |
Collana | Lecture notes in computer science |
Soggetto topico | Informatica - Congressi - St. Augustine - 2009 |
ISBN | 978-3-642-02396-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990003324940203316 |
International workshop, WSOM : <7.; : 2009
![]() |
||
Berlin [etc.] : Springer, copyr. 2009 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Algorithm engineering : 4th International workshop, WAE 2000 : Saarbrucken, Germany, September 5-8, 2000 : proceedings / Stefan Naher ... <et al.> (eds.) |
Autore | International workshop WAE 2000 <4. ; 2000 ; Saarbrucken, Germany> |
Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 2001 |
Descrizione fisica | VIII, 241 p. : ill. ; 20 cm |
Disciplina | 005.12 |
Collana | Lecture notes in computer science |
Soggetto non controllato |
Algoritmi - Congressi - 2000
Congressi - Saarbrucken - 2000 |
ISBN | 3-540-42512-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000891790203316 |
International workshop WAE 2000 <4. ; 2000 ; Saarbrucken, Germany>
![]() |
||
Berlin [etc.] : Springer-Verlag, copyr. 2001 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|