Fundamental Approaches to Software Engineering - edizione con copertina flessibile

Libro nella banca dati dal 2016-04-23T03:59:42+02:00 (Zurich)
Pagina di dettaglio ultima modifica in 2023-08-07T17:02:14+02:00 (Zurich)
ISBN/EAN: 9783662496640

ISBN - Stili di scrittura alternativi:
3-662-49664-X, 978-3-662-49664-0
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : stevens, perdita
Titolo del libro: software, eindhoven, perdita, european, fundamental, proceedings the international

Dati dell'editore

Autore: Perdita Stevens; Andrzej Wąsowski
Titolo: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Fundamental Approaches to Software Engineering - 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Editore: Springer; Springer Berlin
436 Pagine
Anno di pubblicazione: 2016-03-22
Berlin; Heidelberg; DE
Stampato / Fatto in
Lingua: Inglese
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
XIII, 436 p. 127 illus.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Informatik; Complex networks; Model checking; Semantics; Software evolution; Software verification; Automated static analysis; Cloud-based systems; Debugging; Domain-specific languages; Formal language definitions; Formal software verification; Logic solvers; Model driven development; Model generation; Modeling; Modularity; Run-time errors; Software product lines; Software testing; Theorem proving; Software Engineering; Compilers and Interpreters; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Compiler und Übersetzer; Theoretische Informatik; EA

The 23 full papers presented in this volume were carefully reviewed and selected from 90 submissions. They were organized in topical sections named: concurrent and distributed systems; model-driven development; analysis and bug triaging; probabilistic and stochastic systems; proof and theorem proving; and verification. 

The Death of Object-Oriented Programming.- Concurrent and Distributed Systems Automated Choreography Repair.- A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs.- ABS-YARN: A Formal Framework for Modeling Hadoop YARN Clusters.- Integrated environment for verifying and running distributed components.- Model-Driven Development.- Iterative and incremental model generation by logic solvers.- Automated Model Merge by Design Space Exploration.- RuleMerger: Automatic Construction of Variability-Based Model Transformation Rules.- Two-Step Transformation of Model Traversal EOL Queries for Large CDO Repositories.- Mind the Gap! Automated Anomaly Detection for Potentially Unbounded Cardinality-based Feature Models.- Analysis and Bug Triaging.- Cut Branches Before Looking for Bugs: Sound Verification on Relaxed Slices.- The Influences of Edge Instability on Change Propagation and Connectivity in Call Graphs.- Modeling and Abstraction of Memory Management in a Hypervisor.- Crowdsourced Bug Triaging: Leveraging Q&A resources for Bug Assignment.- Probabilistic and Stochastic Systems Model-Based Testing of Probabilistic Systems.- An Iterative Decision-Making Scheme for Markov Decision Processes and Its Application to Self-Adaptive Systems.- Family-Based Modeling and Analysis for Probabilistic Systems – Featuring ProFeat.- Statistical model checking of e-Motions domain-specific modeling languages.- Proof and Theorem Proving.- Towards Formal Proof Metrics.- Reduction Rules for Colored Workflow Nets.- Many-valued Institutions for Constraint Specification.- CafeInMaude: a CafeOBJ interpreter in Maude.- Verification.- Verifying a Verifier: On the Formal Correctness of an LTS Transformation Verification Technique.- Hybrid Session Verification through Endpoint API Generation.- PVAIR: Partial Variable Assignment InterpolatoR.