Fundamentals of Software Engineering : 7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017, Revised Selected Papers /

Detalles Bibliográficos
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Dastani, Mehdi. (Editor ), Sirjani, Marjan. (Editor )
Formato:	eBook
Lenguaje:	English
Publicado:	Cham : Springer International Publishing : Imprint: Springer, 2017.
Edición:	1st ed. 2017.
Colección:	Programming and Software Engineering ; 10522
Materias:	Software engineering. Computer logic. Algorithms. Programming languages (Electronic computers). Computer programming. Computer organization. Software Engineering. Logics and Meanings of Programs. Algorithm Analysis and Problem Complexity. Programming Languages, Compilers, Interpreters. Programming Techniques. Computer Systems Organization and Communication Networks.

Tabla de Contenidos:

Implementing Open Call-by-Value
Debugging of Concurrent Programs Using Counterexample Analysis
Bisimilarity of Open Terms in Stream GSOS
Composing Families of Timed Automata
A Core Calculus for Multi SPLs
Translating Active Objects into Colored Petri Nets for Communication Analysias
Synthesizing Parameterized Self-Stabilizing Rings with Constant-Space Processes
Flexible Transactional Coordination in the Peer Model
Using Swarm Intelligence to Generate Test Data for Covering Prime Paths
LittleDarwin: a Feature-Rich and Extensible Mutation Testing Framework for Large and Complex Java Systems
TCE+: An Extension of the TCE Approach for Detecting Equivalent Mutants in Java Programs
Quality-Aware Reactive Programming for the IoT
Purpose-based Policy Enforcement in Actor-based Systems
Automatic Transition System Model Identification for Network Applications from Packet Traces
Gray-Box Conformance Testing for Symbolic Reactive State Machines
Model Checking of Concurrent Software Systems via Heuristic-Guided SAT Solving. .

Ejemplares similares