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.
Architecting Systems with Trustworthy Components [[electronic resource] ] : International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers / / edited by Ralf H. Reussner, Judith A. Stafford, Clemens A. Szyperski
| Architecting Systems with Trustworthy Components [[electronic resource] ] : International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers / / edited by Ralf H. Reussner, Judith A. Stafford, Clemens A. Szyperski |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (X, 299 p.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Computer networks Computer programming Operating systems (Computers) Compilers (Computer programs) Software Engineering Computer Communication Networks Programming Techniques Operating Systems Compilers and Interpreters |
| ISBN | 3-540-35833-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Articles -- Audition of Web Services for Testing Conformance to Open Specified Protocols -- A Core Theory of Interfaces and Architecture and Its Impact on Object Orientation -- Making Specifications Complete Through Models -- Bus Scheduling for TDL Components -- Refinement and Consistency in Component Models with Multiple Views -- Articles by Participants -- A Taxonomy on Component-Based Software Engineering Methods -- Unifying Hardware and Software Components for Embedded System Development -- On the Composition of Compositional Reasoning -- Trustworthy Instantiation of Frameworks -- Performance Prediction of Component-Based Systems -- Towards an Engineering Approach to Component Adaptation -- Compatible Component Upgrades Through Smart Component Swapping -- Exceptions in Component Interaction Protocols – Necessity -- Coalgebraic Semantics for Component Systems -- A Type Theoretic Framework for Formal Metamodelling. |
| Record Nr. | UNISA-996465859203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Architecting systems with trustworthy components : international seminar, Dagstuhl Castle, Germany, December 12-17, 2004 : revised selected papers / / Ralf H. Reussner, Judith A. Stafford, Clemens A. Szyperski (eds.)
| Architecting systems with trustworthy components : international seminar, Dagstuhl Castle, Germany, December 12-17, 2004 : revised selected papers / / Ralf H. Reussner, Judith A. Stafford, Clemens A. Szyperski (eds.) |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, : Springer, 2006 |
| Descrizione fisica | 1 online resource (X, 299 p.) |
| Disciplina | 005.1 |
| Altri autori (Persone) |
ReussnerRalf H
StaffordJudith A (Judith Alyce) SzyperskiClemens A |
| Collana |
Lecture notes in computer science
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
| Soggetto topico |
Computer architecture
Computer systems - Reliability Fault-tolerant computing |
| ISBN | 3-540-35833-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Articles -- Audition of Web Services for Testing Conformance to Open Specified Protocols -- A Core Theory of Interfaces and Architecture and Its Impact on Object Orientation -- Making Specifications Complete Through Models -- Bus Scheduling for TDL Components -- Refinement and Consistency in Component Models with Multiple Views -- Articles by Participants -- A Taxonomy on Component-Based Software Engineering Methods -- Unifying Hardware and Software Components for Embedded System Development -- On the Composition of Compositional Reasoning -- Trustworthy Instantiation of Frameworks -- Performance Prediction of Component-Based Systems -- Towards an Engineering Approach to Component Adaptation -- Compatible Component Upgrades Through Smart Component Swapping -- Exceptions in Component Interaction Protocols – Necessity -- Coalgebraic Semantics for Component Systems -- A Type Theoretic Framework for Formal Metamodelling. |
| Record Nr. | UNINA-9910484826403321 |
| Berlin, : Springer, 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Common Component Modeling Example [[electronic resource] ] : Comparing Software Component Models / / edited by Andreas Rausch, Ralf H. Reussner, Raffaela Mirandola, Frantisek Plasil
| The Common Component Modeling Example [[electronic resource] ] : Comparing Software Component Models / / edited by Andreas Rausch, Ralf H. Reussner, Raffaela Mirandola, Frantisek Plasil |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
| Descrizione fisica | 1 online resource (VIII, 460 p.) |
| Disciplina | 520.9 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computers Computer programming Computer simulation Software Engineering Software Engineering/Programming and Operating Systems Theory of Computation Models and Principles Programming Techniques Simulation and Modeling |
| ISBN | 3-540-85289-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | CoCoTA – Common Component Task -- CoCoME - The Common Component Modeling Example -- Modeling Components and Component-Based Systems in KobrA -- A Rich Services Approach to CoCoME -- Modelling with Relational Calculus of Object and Component Systems - rCOS -- Component-Interaction Automata Approach (CoIn) -- Service-Oriented Modeling of CoCoME with Focus and AutoFocus -- Modelling the CoCoME with the Java/A Component Model -- Linking Programs to Architectures: An Object-Oriented Hierarchical Software Model Based on Boxes -- Modelling the CoCoME with DisCComp -- Palladio – Prediction of Performance Properties -- KLAPER: An Intermediate Language for Model-Driven Predictive Analysis of Performance and Reliability -- CoCoME in Fractal -- CoCoME in SOFA -- A Specification Language for Distributed Components Implemented in GCM/ProActive -- CoCoME Jury Evaluation and Conclusion. |
| Record Nr. | UNISA-996465886603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
The Common Component Modeling Example : Comparing Software Component Models / / edited by Andreas Rausch, Ralf H. Reussner, Raffaela Mirandola, Frantisek Plasil
| The Common Component Modeling Example : Comparing Software Component Models / / edited by Andreas Rausch, Ralf H. Reussner, Raffaela Mirandola, Frantisek Plasil |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
| Descrizione fisica | 1 online resource (VIII, 460 p.) |
| Disciplina | 520.9 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computers Computer programming Computer simulation Software Engineering Software Engineering/Programming and Operating Systems Theory of Computation Models and Principles Programming Techniques Simulation and Modeling |
| ISBN | 3-540-85289-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | CoCoTA – Common Component Task -- CoCoME - The Common Component Modeling Example -- Modeling Components and Component-Based Systems in KobrA -- A Rich Services Approach to CoCoME -- Modelling with Relational Calculus of Object and Component Systems - rCOS -- Component-Interaction Automata Approach (CoIn) -- Service-Oriented Modeling of CoCoME with Focus and AutoFocus -- Modelling the CoCoME with the Java/A Component Model -- Linking Programs to Architectures: An Object-Oriented Hierarchical Software Model Based on Boxes -- Modelling the CoCoME with DisCComp -- Palladio – Prediction of Performance Properties -- KLAPER: An Intermediate Language for Model-Driven Predictive Analysis of Performance and Reliability -- CoCoME in Fractal -- CoCoME in SOFA -- A Specification Language for Distributed Components Implemented in GCM/ProActive -- CoCoME Jury Evaluation and Conclusion. |
| Record Nr. | UNINA-9910484299803321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Component-Based Software Engineering [[electronic resource] ] : 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010, Proceedings / / edited by Lars Grunske, Ralf H. Reussner, Frantisek Plasil
| Component-Based Software Engineering [[electronic resource] ] : 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010, Proceedings / / edited by Lars Grunske, Ralf H. Reussner, Frantisek Plasil |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (X, 253 p. 78 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Computer communication systems Computer programming Software Engineering/Programming and Operating Systems Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Computer Communication Networks Programming Techniques |
| ISBN |
1-280-38673-8
9786613564658 3-642-13238-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Component-Based Embedded Systems -- Reliability Analysis of Component-Based Systems with Multiple Failure Modes -- Comparison of Component Frameworks for Real-Time Embedded Systems -- A Three-Tier Approach for Composition of Real-Time Embedded Software Stacks -- Bridging the Semantic Gap between Abstract Models of Embedded Systems -- Component-Based Adaptive Systems -- Reliable Dynamic Reconfigurations in a Reflective Component Model -- Reactive Model-Based Control of Reconfiguration in the Fractal Component-Based Model -- Enabling on Demand Deployment of Middleware Services in Componentized Middleware -- A Self-healing Component Sandbox for Untrustworthy Third Party Code Execution -- Component Interfaces, Contracts and Adapters of Component-Based Systems -- Component Contracts in Eclipse - A Case Study -- Automated Creation and Assessment of Component Adapters with Test Cases -- An Empirical Study of the Component Dependency Resolution Search Space -- Composition and (De)-composition of Component-Based Systems -- Component Composition Using Feature Models -- Restructuring Object-Oriented Applications into Component-Oriented Applications by Using Consistency with Execution Traces -- (Behavioural) Design Patterns as Composition Operators. |
| Record Nr. | UNISA-996465845603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Dependability Metrics [[electronic resource] ] : GI-Dagstuhl Research Seminar, Dagstuhl Castle, Germany, October 5 - November 1, 2005, Advanced Lectures / / edited by Irene Eusgeld, Felix Freiling, Ralf H. Reussner
| Dependability Metrics [[electronic resource] ] : GI-Dagstuhl Research Seminar, Dagstuhl Castle, Germany, October 5 - November 1, 2005, Advanced Lectures / / edited by Irene Eusgeld, Felix Freiling, Ralf H. Reussner |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
| Descrizione fisica | 1 online resource (XI, 305 p.) |
| Disciplina | 004 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Operating systems (Computers) Computer security Software Engineering/Programming and Operating Systems Software Engineering Operating Systems Systems and Data Security |
| ISBN | 3-540-68947-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | to Dependability Metrics -- to Dependability Metrics -- I Foundations -- On Metrics and Measurements -- Validation of Predictions with Measurements -- Consistent Metric Usage: From Design to Deployment -- Basic and Dependent Metrics -- Goal, Question, Metric -- Quality of Service Modeling Language -- Markov Models -- II Reliability Metrics -- Hardware Reliability -- Software Reliability -- III Security Metrics -- to Security Metrics -- Cryptographic Attack Metrics -- Security Measurements and Metrics for Networks -- Industrial Approaches and Standards for Security Assessment -- Economic Security Metrics -- Human Factors -- IV Performance Metrics -- to Performance Metrics -- Performance-Related Metrics in the ISO 9126 Standard -- Analytical Performance Metrics -- Performance Metrics in Software Design Models -- Measuring Performance Metrics: Techniques and Tools -- Performance Metrics for Specific Domains -- V Overlapping Metrics -- to Overlapping Attributes -- Performability -- Reliability vs. Security: A Subjective Overview. |
| Record Nr. | UNISA-996465614403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Proceedings of the 1st Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling
| Proceedings of the 1st Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling |
| Autore | Atkinson Colin |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2013 |
| Descrizione fisica | 1 online resource (49 pages) |
| Collana | ACM Other conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| ISBN | 1-4503-2070-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | VAO '13 |
| Record Nr. | UNINA-9910375890403321 |
Atkinson Colin
|
||
| [Place of publication not identified], : ACM, 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Quality of Software Architectures [[electronic resource] ] : Second International Conference on Quality of Software Architectures, QoSA 2006, Västeras, Schweden, June 27-29, 2006, Revised Papers / / edited by Christine Hofmeister, Ivica Crnkovic, Ralf H. Reussner
| Quality of Software Architectures [[electronic resource] ] : Second International Conference on Quality of Software Architectures, QoSA 2006, Västeras, Schweden, June 27-29, 2006, Revised Papers / / edited by Christine Hofmeister, Ivica Crnkovic, Ralf H. Reussner |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (X, 218 p.) |
| Disciplina | 004.2/2 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer system failures Computer logic Computer communication systems Computers and civilization Software Engineering/Programming and Operating Systems System Performance and Evaluation Software Engineering Logics and Meanings of Programs Computer Communication Networks Computers and Society |
| ISBN | 3-540-48820-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Abstracts of the Keynotes -- Expanding the Scope of Software Product Families: Problems and Alternative Approaches -- Composing with Style – Components Meet Architecture -- Abstracts of the Tutorials -- Documentation Principles and Practices That You Can Live with -- Model-Based Software Development with Eclipse -- Software Architecture Analysis and Evaluation -- Architecture Evaluation: Selecting Alternatives -- MEMS: A Method for Evaluating Middleware Architectures -- Evaluating Alternative COTS Assemblies from Imperfect Component Information -- Managing and Applying Architectural Knowledge -- Building Up and Reasoning About Architectural Knowledge -- Managing Architectural Design Decisions for Safety-Critical Software Systems -- Architectural Evaluation: Performance Prediction -- Runtime Prediction of Queued Behaviour -- Model Transformation in Software Performance Engineering -- Processes for Supporting Architecture Quality -- Traveling Architects – A New Way of Herding Cats -- A Practical Architecture-Centric Analysis Process -- Models for Architecture Evaluation -- Embedded Systems Architecture: Evaluation and Analysis -- Parameter Dependent Performance Specifications of Software Components -- Architectural Evaluation -- Applying the ATAM to an Architecture for Decentralized Control of a Transportation System -- Towards an Integration of Standard Component-Based Safety Evaluation Techniques with SaveCCM. |
| Record Nr. | UNISA-996466058103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Quality of Software Architectures and Software Quality [[electronic resource] ] : First International Conference on the Quality of Software Architectures, QoSA 2005 and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September, 20-22, 2005, Proceedings / / edited by Ralf H. Reussner, Johannes Mayer, Judith A. Stafford, Sven Overhage, Steffen Becker, Patrick J. Schroeder
| Quality of Software Architectures and Software Quality [[electronic resource] ] : First International Conference on the Quality of Software Architectures, QoSA 2005 and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September, 20-22, 2005, Proceedings / / edited by Ralf H. Reussner, Johannes Mayer, Judith A. Stafford, Sven Overhage, Steffen Becker, Patrick J. Schroeder |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (XIV, 294 p.) |
| Disciplina | 005.3 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer system failures Computer logic Computer communication systems Computers and civilization Software Engineering/Programming and Operating Systems System Performance and Evaluation Software Engineering Logics and Meanings of Programs Computer Communication Networks Computers and Society |
| Classificazione | 54.52 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynotes -- Reexamining the Role of Interactions in Software Architecture -- Are Successful Test Cases Useless or Not? -- QoSA Long Papers -- DoSAM – Domain-Specific Software Architecture Comparison Model -- An Architecture-Centric Approach for Producing Quality Systems -- A Model-Oriented Framework for Runtime Monitoring of Nonfunctional Properties -- Predicting Mean Service Execution Times of Software Components Based on Markov Models -- An XML-Based Language to Support Performance and Reliability Modeling and Analysis in Software Architectures -- Formal Definition of Metrics Upon the CORBA Component Model -- The Architect’s Dilemma – Will Reference Architectures Help? -- Architectural Reuse in Software Systems In-house Integration and Merge – Experiences from Industry -- Supporting Security Sensitive Architecture Design -- Exploring Quality Attributes Using Architectural Prototyping -- On the Estimation of Software Reliability of Component-Based Dependable Distributed Systems -- Empirical Evaluation of Model-Based Performance Prediction Methods in Software Development -- SOQUA Long Papers -- Automatic Test Generation for N-Way Combinatorial Testing -- Automated Generation and Evaluation of Dataflow-Based Test Data for Object-Oriented Software -- Automated Model-Based Testing of ? Simulation Models with TorX -- Jartege: A Tool for Random Generation of Unit Tests for Java Classes -- FlexTest: An Aspect-Oriented Framework for Unit Testing -- Quality Assurance in Performance: Evaluating Mono Benchmark Results. |
| Record Nr. | UNISA-996465846003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||