Fundamental Approaches to Software Engineering - Livro de bolso

Livro na base de dados desde 2016-04-22T22:59:42-03:00 (Sao Paulo)
Página de detalhes modificada pela última vez em 2024-04-13T11:56:20-03:00 (Sao Paulo)
Número ISBN/EAN: 9783662496640

Número ISBN - Ortografia alternativa:
3-662-49664-X, 978-3-662-49664-0
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: stevens, perdita
Título do livro: software, eindhoven, perdita, european, fundamental, proceedings the international

Dados da editora

Autor: Perdita Stevens; Andrzej Wąsowski
Título: 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
Editora: Springer; Springer Berlin
436 Páginas
Ano de publicação: 2016-03-22
Berlin; Heidelberg; DE
Impresso / Feito em
Língua: Inglês
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.