Nicht aus der Schweiz? Besuchen Sie lehmanns.de

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
Buch | Softcover
XIII, 436 Seiten
2016 | 1st ed. 2016
Springer Berlin (Verlag)
978-3-662-49664-0 (ISBN)

Lese- und Medienproben

Fundamental Approaches to Software Engineering -
CHF 104,80 inkl. MwSt
  • Versand in 10-15 Tagen
  • Versandkostenfrei
  • Auch auf Rechnung
  • Artikel merken

This bookconstitutes the proceedings of the 19th International Conference on FundamentalApproaches to Software Engineering, FASE 2016, which took place in Eindhoven,The Netherlands, in April 2016, held as Part of the European Joint Conferenceson Theory and Practice of Software, ETAPS 2016.
The 23 full papers presented in this volume were carefully reviewed and selectedfrom 90 submissions. They were organized in topical sections named: concurrentand distributed systems; model-driven development; analysis and bug triaging;probabilistic and stochastic systems; proof and theorem proving; andverification. 

The Death of Object-Oriented Programming.- Concurrentand Distributed Systems Automated Choreography Repair.- A Graph-Based SemanticsWorkbench for Concurrent Asynchronous Programs.- ABS-YARN: A Formal Frameworkfor Modeling Hadoop YARN Clusters.- Integrated environment for verifying andrunning distributed components.- Model-Driven Development.- Iterative andincremental model generation by logic solvers.- Automated Model Merge by DesignSpace Exploration.- RuleMerger: Automatic Construction of Variability-BasedModel Transformation Rules.- Two-Step Transformation of Model Traversal EOLQueries for Large CDO Repositories.- Mind the Gap! Automated Anomaly Detectionfor Potentially Unbounded Cardinality-based Feature Models.- Analysis and BugTriaging.- Cut Branches Before Looking for Bugs: Sound Verification on Relaxed Slices.-The Influences of Edge Instability on Change Propagation and Connectivity inCall Graphs.- Modeling and Abstraction of Memory Management in a Hypervisor.- CrowdsourcedBug Triaging: Leveraging Q&A resources for Bug Assignment.- Probabilisticand Stochastic Systems Model-Based Testing of Probabilistic Systems.- AnIterative Decision-Making Scheme for Markov Decision Processes and ItsApplication to Self-Adaptive Systems.- Family-Based Modeling and Analysis forProbabilistic Systems - Featuring ProFeat.- Statistical model checking ofe-Motions domain-specific modeling languages.- Proof and Theorem Proving.- TowardsFormal Proof Metrics.- Reduction Rules for Colored Workflow Nets.- Many-valuedInstitutions for Constraint Specification.- CafeInMaude: a CafeOBJ interpreterin Maude.- Verification.- Verifying a Verifier: On the Formal Correctness of anLTS Transformation Verification Technique.- Hybrid Session Verification throughEndpoint API Generation.- PVAIR: Partial Variable Assignment InterpolatoR.

 

Erscheinungsdatum
Reihe/Serie Lecture Notes in Computer Science
Theoretical Computer Science and General Issues
Zusatzinfo XIII, 436 p. 127 illus.
Verlagsort Berlin
Sprache englisch
Maße 155 x 235 mm
Themenwelt Mathematik / Informatik Informatik Software Entwicklung
Informatik Theorie / Studium Compilerbau
Schlagworte Applications • automated static analysis • Cloud-Based Systems • complex networks • Computer Science • conference proceedings • Debugging • domain-specific languages • Formal Language Definitions • formal software verification • Informatics • logic solvers • Model Checking • Model Driven Development • model generation • Modeling • Modularity • Research • Run-time errors • Semantics • Software engineering • Software Engineering / Softwareentwicklung • software evolution • Software Product Lines • Software Testing • Software Verification • theorem proving
ISBN-10 3-662-49664-X / 366249664X
ISBN-13 978-3-662-49664-0 / 9783662496640
Zustand Neuware
Haben Sie eine Frage zum Produkt?
Mehr entdecken
aus dem Bereich
Grundlagen und Anwendungen

von Hanspeter Mössenböck

Buch | Softcover (2024)
dpunkt (Verlag)
CHF 41,85