Articoli correlati a Fundamental Approaches to Software Engineering: 13th...
Fundamental Approaches to Software Engineering: 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and ... Cyprus, March 20-28, 2010, Proceedings: 6013 - Brossura
Sinossi
and proceedings.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
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.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Compra nuovo
Visualizza questo articolo
EUR 48,37
EUR 9,70 per la spedizione da Germania a Italia
Destinazione, tempi e costi
Risultati della ricerca per Fundamental Approaches to Software Engineering: 13th...
Foto dell'editore
Fundamental Approaches to Software Engineering : 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
Editore:
Springer Berlin Heidelberg, 2010
ISBN 10: 3642120288
ISBN 13: 9783642120282
Antico o usato
Brossura
Da: Buchpark, Trebbin, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher. Codice articolo 6859689/12
Quantità: 1 disponibili
Immagini fornite dal venditore
Fundamental Approaches to Software Engineering
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Fast track conference proceedingsState of the art researchOf interest to academic and industrial researchers alikeInvited Speaker.- Why the Virtual Nature of Software Makes It Ideal for Search Based Optimization.- Model Transformation.- A Formalisation . Codice articolo 5049735
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Fundamental Approaches to Software Engineering
Editore:
Springer Berlin Heidelberg Mrz 2010, 2010
ISBN 10: 3642120288
ISBN 13: 9783642120282
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -ETAPS 2010 was the 13th instance of the European Joint Conferences on T- oryand Practiceof Software. ETAPS is anannual federatedconference that was establishedin1998bycombininganumberofexistingandnewconferences. This yearitcomprisedtheusual vesisterconferences(CC,ESOP,FASE,FOSSACS, TACAS), 19 satellite workshops (ACCAT, ARSPA-WITS, Bytecode, CMCS, COCV, DCC, DICE, FBTC, FESCA, FOSS-AMA, GaLoP, GT-VMT, LDTA, MBT, PLACES, QAPL, SafeCert, WGT, and WRLA) and seven invited l- tures (excluding those that were speci c to the satellite events). The ve main conferences this year received 497 submissions (including 31 tool demonstration papers), 130 of which were accepted (10 tool demos), giving an overall acc- tance rate of 26%, with most of the conferences at around 24%. Congratulations thereforetoalltheauthorswhomadeittothe nalprogramme!Ihopethatmost of the other authors will still have found a way of participating in this exciting event, and that you will all continue submitting to ETAPS and contributing to make of it the best conference on software science and engineering. The events that comprise ETAPS address various aspects of the system - velopment process, including speci cation, design, implementation, analysis and improvement. The languages, methodologies and tools which support these - tivities are all well within its scope. Di erent blends of theory and practice are represented,withaninclinationtowardtheorywithapracticalmotivationonthe one hand and soundly based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive. ETAPS is a confederation in which each event retains its own identity, with a separate Programme Committee and proceedings. 400 pp. Englisch. Codice articolo 9783642120282
Quantità: 2 disponibili
Immagini fornite dal venditore
Fundamental Approaches to Software Engineering : 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
Editore:
Springer Berlin Heidelberg, 2010
ISBN 10: 3642120288
ISBN 13: 9783642120282
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - ETAPS 2010 was the 13th instance of the European Joint Conferences on T- oryand Practiceof Software. ETAPS is anannual federatedconference that was establishedin1998bycombininganumberofexistingandnewconferences. This yearitcomprisedtheusual vesisterconferences(CC,ESOP,FASE,FOSSACS, TACAS), 19 satellite workshops (ACCAT, ARSPA-WITS, Bytecode, CMCS, COCV, DCC, DICE, FBTC, FESCA, FOSS-AMA, GaLoP, GT-VMT, LDTA, MBT, PLACES, QAPL, SafeCert, WGT, and WRLA) and seven invited l- tures (excluding those that were speci c to the satellite events). The ve main conferences this year received 497 submissions (including 31 tool demonstration papers), 130 of which were accepted (10 tool demos), giving an overall acc- tance rate of 26%, with most of the conferences at around 24%. Congratulations thereforetoalltheauthorswhomadeittothe nalprogramme!Ihopethatmost of the other authors will still have found a way of participating in this exciting event, and that you will all continue submitting to ETAPS and contributing to make of it the best conference on software science and engineering. The events that comprise ETAPS address various aspects of the system - velopment process, including speci cation, design, implementation, analysis and improvement. The languages, methodologies and tools which support these - tivities are all well within its scope. Di erent blends of theory and practice are represented,withaninclinationtowardtheorywithapracticalmotivationonthe one hand and soundly based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive. ETAPS is a confederation in which each event retains its own identity, with a separate Programme Committee and proceedings. Codice articolo 9783642120282
Quantità: 1 disponibili
Immagini fornite dal venditore
Fundamental Approaches to Software Engineering
ISBN 10: 3642120288
ISBN 13: 9783642120282
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Neuware -and proceedings. 400 pp. Englisch. Codice articolo 9783642120282
Quantità: 2 disponibili
Immagini fornite dal venditore
Fundamental Approaches to Software Engineering : 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
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 8747971-n
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Fundamental Approaches to Software Engineering: 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and (Paperback or Softback)
Editore:
Springer 3/16/2010, 2010
ISBN 10: 3642120288
ISBN 13: 9783642120282
Nuovo
Paperback or Softback
Da: BargainBookStores, Grand Rapids, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback or Softback. Condizione: New. Fundamental Approaches to Software Engineering: 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and 1.35. Book. Codice articolo BBS-9783642120282
Quantità: 5 disponibili
Immagini fornite dal venditore
Fundamental Approaches to Software Engineering : 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
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 8747971
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Fundamental Approaches to Software Engineering : 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
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 8747971-n
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Fundamental Approaches to Software Engineering : 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
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 8747971
Quantità: Più di 20 disponibili