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.
Fundamental Approaches to Software Engineering [[electronic resource] ] : 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010, Proceedings / / edited by David S. Rosenblum, Gabriele Taentzer
| Fundamental Approaches to Software Engineering [[electronic resource] ] : 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010, Proceedings / / edited by David S. Rosenblum, Gabriele Taentzer |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XIII, 383 p. 127 illus.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Computer networks Computer science Compilers (Computer programs) Computer programming Software Engineering Computer Communication Networks Computer Science Logic and Foundations of Programming Compilers and Interpreters Programming Techniques |
| ISBN |
1-280-38587-1
9786613563798 3-642-12029-6 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Speaker -- Why the Virtual Nature of Software Makes It Ideal for Search Based Optimization -- Model Transformation -- A Formalisation of Constraint-Aware Model Transformations -- Formal Real-Time Model Transformations in MOMENT2 -- Reusing Model Transformations While Preserving Properties -- Software Evolution -- Are Popular Classes More Defect Prone? -- Operation-Based, Fine-Grained Version Control Model for Tree-Based Representation -- A Method for Analyzing Code Homology in Genealogy of Evolving Software -- Dynamic Resource Scheduling in Disruption-Prone Software Development Environments -- Graph Transformation -- Incremental Service Composition Based on Partial Matching of Visual Contracts -- Formal Analysis and Verification of Self-Healing Systems -- Stochastic Simulation of Graph Transformation Systems -- Modeling Concepts -- Prescriptive Semantics for Big-Step Modelling Languages -- A Modular Model Composition Technique -- A Verifiable Modeling Approach to Configurable Role-Based Access Control -- Incremental Consistency Checking of Dynamic Constraints -- Verification -- Proving Consistency and Completeness of Model Classes Using Theory Interpretation -- Automatic Cross Validation of Multiple Specifications: A Case Study -- An Automata-Theoretic Approach to Hardware/Software Co-verification -- Program Analysis -- Shape Refinement through Explicit Heap Analysis -- Memory Leaks Detection in Java by Bi-abductive Inference -- Analyzing the Impact of Change in Multi-threaded Programs -- Testing and Debugging -- Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction Techniques -- A Lightweight and Portable Approach to Making Concurrent Failures Reproducible -- Efficient Runtime Assertion Checking of Assignable Clauses with Datagroups -- Performance Modeling and Analysis -- Performance Modeling and Analysis of Context-Aware Mobile Software Systems -- A Process to Effectively Identify “Guilty” Performance Antipatterns. |
| Record Nr. | UNISA-996465329803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Proceedings of the 2007 International Symposium on Software Testing and Analysis
| Proceedings of the 2007 International Symposium on Software Testing and Analysis |
| Autore | Rosenblum David S |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2007 |
| Descrizione fisica | 1 online resource (250 pages) |
| Collana | ACM Conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
ISSTA '07
International Symposium on Software Testing and Analysis, London, United Kngdm - July 09 - 12, 2007 |
| Record Nr. | UNINA-9910376412603321 |
Rosenblum David S
|
||
| [Place of publication not identified], : ACM, 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||