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.
FoSADA'15 : proceedings of the 1st International Workshop on Future of Software Architecture Design Assistants : May 6, 2015, Montréal, QC, Canada / / sponsored by ACM SIGSOFT
| FoSADA'15 : proceedings of the 1st International Workshop on Future of Software Architecture Design Assistants : May 6, 2015, Montréal, QC, Canada / / sponsored by ACM SIGSOFT |
| Pubbl/distr/stampa | New York : , : ACM, , 2015 |
| Descrizione fisica | 1 online resource (26 pages) |
| Soggetto topico |
Software architecture
Software architecture - Design |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910136786403321 |
| New York : , : ACM, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Fundamental approaches to software engineering : 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings / / Marsha Chechik, Martin Wirsing (Eds.)
| Fundamental approaches to software engineering : 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings / / Marsha Chechik, Martin Wirsing (Eds.) |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg, : Springer, c2009 |
| Descrizione fisica | 1 online resource (XIII, 488 p.) |
| Disciplina | 005.1 |
| Altri autori (Persone) |
ChechikMarsha
WirsingM (Martin) |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Software engineering
Software architecture |
| ISBN | 3-642-00593-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Scalable Analysis of Scalable Systems -- Scalable Analysis of Scalable Systems -- Model-Driven Development -- Rewriting Logic Semantics and Verification of Model Transformations -- Confluence in Domain-Independent Product Line Transformations -- Object Flow Definition for Refined Activity Diagrams -- A Category-Theoretical Approach to the Formalisation of Version Control in MDE -- Synthesis and Adaptation -- Controller Synthesis from LSC Requirements -- Interface Generation and Compositional Verification in JavaPathfinder -- A Formal Way from Text to Code Templates -- Context-Aware Adaptive Services: The PLASTIC Approach -- Modeling -- Synchronous Modeling and Validation of Priority Inheritance Schedulers -- Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy -- Testing and Debugging -- Reducing the Costs of Bounded-Exhaustive Testing -- Logical Testing -- Cross-Entropy-Based Replay of Concurrent Programs -- Model Analysis -- Control Dependence for Extended Finite State Machines -- Proving Consistency of Pure Methods and Model Fields -- On the Implementation of @pre -- Formal Specification and Analysis of Timing Properties in Software Systems -- Patterns -- Formal Foundation for Pattern-Based Modelling -- Problem-Oriented Documentation of Design Patterns -- Security -- Certification of Smart-Card Applications in Common Criteria -- Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks -- A Formal Connection between Security Automata and JML Annotations -- Queries and Error Handling -- Algorithms for Automatically Computing the Causal Paths of Failures -- Mining API Error-Handling Specifications from Source Code -- SNIFF: A Search Engine for Java Using Free-Form Queries -- Inquiry and Introspection for Non-deterministic Queries in Mobile Networks -- Tools (Demos) and Program Analysis -- hol-TestGen -- CADS*: Computer-Aided Development of Self-* Systems -- HAVE: Detecting Atomicity Violations via Integrated Dynamic and Static Analysis -- Accurate and Efficient Structural Characteristic Feature Extraction for Clone Detection -- Enhanced Property Specification and Verification in BLAST -- Finding Loop Invariants for Programs over Arrays Using a Theorem Prover. |
| Altri titoli varianti | FASE 2009 |
| Record Nr. | UNINA-9910483792503321 |
| Berlin ; ; Heidelberg, : Springer, c2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Getting started with Terraform : build, combine, and launch infrastructure in a fast, secure, and effective manner / / Kirill Shirinkin
| Getting started with Terraform : build, combine, and launch infrastructure in a fast, secure, and effective manner / / Kirill Shirinkin |
| Autore | Shirinkin Kirill |
| Edizione | [1st edition] |
| Pubbl/distr/stampa | Birmingham : , : Packt, , 2017 |
| Descrizione fisica | 1 online resource (199 pages) : illustrations |
| Soggetto topico | Software architecture |
| ISBN | 1-78646-880-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910162761203321 |
Shirinkin Kirill
|
||
| Birmingham : , : Packt, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Graph transformations and model-driven engineering : essays dedicated to Manfred Nagl on the occasion of his 65th birthday / / Gregor Engels ... [et al.] (eds.)
| Graph transformations and model-driven engineering : essays dedicated to Manfred Nagl on the occasion of his 65th birthday / / Gregor Engels ... [et al.] (eds.) |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, 2010 |
| Descrizione fisica | 1 online resource (XIV, 768 p. 328 illus.) |
| Disciplina | 005.1028 |
| Altri autori (Persone) | EngelsG |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Model-driven software architecture
Software architecture |
| ISBN |
1-280-39051-4
9786613568434 3-642-17322-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Graph Transformations and Model-Driven Engineering: The Merits of Manfred Nagl -- Graph Transformations and Model-Driven Engineering: The Merits of Manfred Nagl -- Graph Transformations: Theory and Applications -- The Edge of Graph Transformation — Graphs for Behavioural Specification -- Graph Transformation by Computational Category Theory -- On GS-Monoidal Theories for Graphs with Nesting -- Stochastic Modelling and Simulation of Mobile Systems -- Autonomous Units and Their Semantics – The Concurrent Case -- Parallel Independence of Amalgamated Graph Transformations Applied to Model Transformation -- Extended Triple Graph Grammars with Efficient and Compatible Graph Translators -- Controlling Reuse in Pattern-Based Model-to-Model Transformations -- Lessons Learned from Building a Graph Transformation System -- Workflow-Driven Tool Integration Using Model Transformations -- Software Architectures and Reengineering -- The Architecture Description Language MoDeL -- Towards Managing Software Architectures with Ontologies -- Using Role-Play Diagrams to Improve Scenario Role-Play -- Reverse Engineering Using Graph Queries -- Graph-Based Structural Analysis for Telecommunication Systems -- Process Support -- Do We Really Know How to Support Processes? Considerations and Reconstruction -- A Meta-Method for Defining Software Engineering Methods -- Techniques for Merging Views of Software Processes -- Embedded Systems Engineering -- Model Checking Programmable Router Configurations -- Architectural Issues of Adaptive Pervasive Systems -- Using Graph Grammars for Modeling Wiring Harnesses – An Experience Report -- Model-Driven Development with Mechatronic UML -- Model Synchronization at Work: Keeping SysML and AUTOSAR Models Consistent -- Multi-view Modeling to Support Embedded Systems Engineering in SysML -- Engineering Design Applications -- Requirements Engineering in Complex Domains -- Tool Support for Dynamic Development Processes -- An Extensible Modeling Language for the Representation of Work Processes in the Chemical and Process Industries -- Integration Tools for Consistency Management between Design Documents in Development Processes -- Towards Semantic Navigation in Mobile Robotics -- Model Driven Engineering in Operative Industrial Process Control Environments. |
| Record Nr. | UNINA-9910484056803321 |
| Berlin ; ; New York, : Springer, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Hardware and software, verification and testing : third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007 : proceedings / / Karen Yorav (editor)
| Hardware and software, verification and testing : third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007 : proceedings / / Karen Yorav (editor) |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Germany : , : Springer, , [2008] |
| Descrizione fisica | 1 online resource (XII, 267 p.) |
| Disciplina | 004.24 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer input-output equipment
Software architecture Computer programs - Verification |
| Soggetto non controllato |
Verification
Hardware Software |
| ISBN | 3-540-77966-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Simulation vs. Formal: Absorb What Is Useful; Reject What Is Useless -- Scaling Commercial Verification to Larger Systems -- From Hardware Verification to Software Verification: Re-use and Re-learn -- Where Do Bugs Come from? -- HVC Award -- Symbolic Execution and Model Checking for Testing -- Hardware Verification -- On the Characterization of Until as a Fixed Point Under Clocked Semantics -- Reactivity in SystemC Transaction-Level Models -- Model Checking -- Verifying Parametrised Hardware Designs Via Counter Automata -- How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison -- Dynamic Hardware Verification -- Constraint Patterns and Search Procedures for CP-Based Random Test Generation -- Using Virtual Coverage to Hit Hard-To-Reach Events -- Merging Formal and Testing -- Test Case Generation for Ultimately Periodic Paths -- Dynamic Testing Via Automata Learning -- Formal Verification for Software -- On the Architecture of System Verification Environments -- Exploiting Shared Structure in Software Verification Conditions -- Delayed Nondeterminism in Model Checking Embedded Systems Assembly Code -- A Complete Bounded Model Checking Algorithm for Pushdown Systems -- Software Testing -- Locating Regression Bugs -- The Advantages of Post-Link Code Coverage -- GenUTest: A Unit Test and Mock Aspect Generation Tool. |
| Record Nr. | UNINA-9910483947603321 |
| Berlin, Germany : , : Springer, , [2008] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Hardware and software, verification and testing : third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007 : proceedings / / Karen Yorav (editor)
| Hardware and software, verification and testing : third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007 : proceedings / / Karen Yorav (editor) |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Germany : , : Springer, , [2008] |
| Descrizione fisica | 1 online resource (XII, 267 p.) |
| Disciplina | 004.24 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer input-output equipment
Software architecture Computer programs - Verification |
| Soggetto non controllato |
Verification
Hardware Software |
| ISBN | 3-540-77966-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Simulation vs. Formal: Absorb What Is Useful; Reject What Is Useless -- Scaling Commercial Verification to Larger Systems -- From Hardware Verification to Software Verification: Re-use and Re-learn -- Where Do Bugs Come from? -- HVC Award -- Symbolic Execution and Model Checking for Testing -- Hardware Verification -- On the Characterization of Until as a Fixed Point Under Clocked Semantics -- Reactivity in SystemC Transaction-Level Models -- Model Checking -- Verifying Parametrised Hardware Designs Via Counter Automata -- How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison -- Dynamic Hardware Verification -- Constraint Patterns and Search Procedures for CP-Based Random Test Generation -- Using Virtual Coverage to Hit Hard-To-Reach Events -- Merging Formal and Testing -- Test Case Generation for Ultimately Periodic Paths -- Dynamic Testing Via Automata Learning -- Formal Verification for Software -- On the Architecture of System Verification Environments -- Exploiting Shared Structure in Software Verification Conditions -- Delayed Nondeterminism in Model Checking Embedded Systems Assembly Code -- A Complete Bounded Model Checking Algorithm for Pushdown Systems -- Software Testing -- Locating Regression Bugs -- The Advantages of Post-Link Code Coverage -- GenUTest: A Unit Test and Mock Aspect Generation Tool. |
| Record Nr. | UNISA-996466044003316 |
| Berlin, Germany : , : Springer, , [2008] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
HP Vertica architecture and SQL / / Tom Coffing, Leslie Nolander
| HP Vertica architecture and SQL / / Tom Coffing, Leslie Nolander |
| Autore | Coffing Tom |
| Pubbl/distr/stampa | [Place of publication not identified] : , : Coffing Publishing, , 2015 |
| Descrizione fisica | 1 online resource (766 pages) |
| Disciplina | 005.7565 |
| Collana | Tera-Tom genius series |
| Soggetto topico |
Database management
Data warehousing Software architecture |
| ISBN | 1-940540-34-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910798589903321 |
|
Coffing Tom
|
||
| [Place of publication not identified] : , : Coffing Publishing, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
HP Vertica architecture and SQL / / Tom Coffing, Leslie Nolander
| HP Vertica architecture and SQL / / Tom Coffing, Leslie Nolander |
| Autore | Coffing Tom |
| Pubbl/distr/stampa | [Place of publication not identified] : , : Coffing Publishing, , 2015 |
| Descrizione fisica | 1 online resource (766 pages) |
| Disciplina | 005.7565 |
| Collana | Tera-Tom genius series |
| Soggetto topico |
Database management
Data warehousing Software architecture |
| ISBN | 1-940540-34-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910816927503321 |
|
Coffing Tom
|
||
| [Place of publication not identified] : , : Coffing Publishing, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
ICSA 2017 : proceedings : 2017 IEEE International Conference on Software Architecture : 3-7 April 2017, Gothenburg, Sweden
| ICSA 2017 : proceedings : 2017 IEEE International Conference on Software Architecture : 3-7 April 2017, Gothenburg, Sweden |
| Pubbl/distr/stampa | New York : , : IEEE, , 2017 |
| Descrizione fisica | 1 online resource (xv, 314 pages) |
| Soggetto topico | Software architecture |
| ISBN | 1-5090-5729-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996280479603316 |
| New York : , : IEEE, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
ICSA 2017 : proceedings : 2017 IEEE International Conference on Software Architecture : 3-7 April 2017, Gothenburg, Sweden
| ICSA 2017 : proceedings : 2017 IEEE International Conference on Software Architecture : 3-7 April 2017, Gothenburg, Sweden |
| Pubbl/distr/stampa | New York : , : IEEE, , 2017 |
| Descrizione fisica | 1 online resource (xv, 314 pages) |
| Soggetto topico | Software architecture |
| ISBN | 1-5090-5729-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910209343303321 |
| New York : , : IEEE, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
