Título :	7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017, Revised Selected Papers
Tipo de documento:	documento electrónico
Autores:	Dastani, Mehdi, ; Sirjani, Marjan,
Mención de edición:	1 ed.
Editorial:	[s.l.] : Springer
Fecha de publicación:	2017
Número de páginas:	X, 261 p. 70 ilustraciones
ISBN/ISSN/DL:	978-3-319-68972-2
Nota general:	Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave:	Ingeniería de software  Ciencias de la Computación  Algoritmos  Compiladores (programas informáticos)  Programación de computadoras  Ingeniería Informática  Red de computadoras  Lógica informática y fundamentos de la programación  Compiladores e intérpretes  Técnicas de programación  Ingeniería Informática y Redes
Índice Dewey:	005.1 Programación (Computadoras)
Resumen:	Este libro constituye las actas posteriores a la conferencia, exhaustivamente arbitradas, de la Séptima Conferencia Internacional sobre Fundamentos de Ingeniería de Software, FSEN 2017, celebrada en Teherán, Irán, en abril de 2017. Los 16 artículos completos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 49 presentaciones. . Los temas de interés en FSEN abarcan todos los aspectos de los métodos formales, especialmente aquellos relacionados con el avance de la aplicación de métodos formales en la industria del software y la promoción de su integración con técnicas prácticas de ingeniería.
Nota de contenido:	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. .
En línea:	https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
Link:	https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i

7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017, Revised Selected Papers [documento electrónico] / Dastani, Mehdi, ; Sirjani, Marjan,  . -  1 ed.  . - [s.l.] : Springer, 2017 . - X, 261 p. 70 ilustraciones.
ISBN : 978-3-319-68972-2
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.

Palabras clave:	Ingeniería de software  Ciencias de la Computación  Algoritmos  Compiladores (programas informáticos)  Programación de computadoras  Ingeniería Informática  Red de computadoras  Lógica informática y fundamentos de la programación  Compiladores e intérpretes  Técnicas de programación  Ingeniería Informática y Redes
Índice Dewey:	005.1 Programación (Computadoras)
Resumen:	Este libro constituye las actas posteriores a la conferencia, exhaustivamente arbitradas, de la Séptima Conferencia Internacional sobre Fundamentos de Ingeniería de Software, FSEN 2017, celebrada en Teherán, Irán, en abril de 2017. Los 16 artículos completos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 49 presentaciones. . Los temas de interés en FSEN abarcan todos los aspectos de los métodos formales, especialmente aquellos relacionados con el avance de la aplicación de métodos formales en la industria del software y la promoción de su integración con técnicas prácticas de ingeniería.
Nota de contenido:	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. .
En línea:	https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
Link:	https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i