000			02840nam a22003615i 4500
001			322748
003			MX-SnUAN
005			20160429161605.0
007			cr nn 008mamaa
008			160111s2015 gw | s |||| 0|eng d
020			_a9783319246444 _9978-3-319-24644-4
035			_avtls000422629
039		9	_y201601111027 _zstaff
050		4	_aQA76.758
245	1	0	_aFundamentals of software engineering : _b6th international conference, fsen 2015, tehran, iran, april 22-24, 2015. Revised selected papers / _cedited by Mehdi Dastani, Marjan Sirjani.
250			_a1st ed. 2015.
264		1	_aCham : _bSpringer International Publishing : _bSpringer, _c2015.
300			_ax, 317 páginas : _b80 ilustraciones
336			_atexto _btxt _2rdacontent
337			_acomputadora _bc _2rdamedia
338			_arecurso en línea _bcr _2rdacarrier
347			_aarchivo de texto _bPDF _2rda
490	0		_aLecture Notes in Computer Science, _x0302-9743 ; _v9392
500			_aSpringer eBooks
505	0		_aTowards Smart Systems of Systems -- Automated Integration of Service-oriented Software Systems -- Software Architecture Modeling and Evaluation Based on Stochastic -- Applicative Bisimulation and Quantum Lambda-Calculi -- A Theory of Integrating Tamper Evidence with Stabilization -- A Safe Stopping Protocol to Enable Reliable Reconfiguration for Component-based Distributed Systems -- Efficient Architecture-Level Configuration of Large-Scale Embedded Software Systems -- Benchmarks for Parity Games -- A behavioral theory for a pi-calculus with preorders -- Incremental Realization of Safety Requirements: Non-Determinism vs. Modularity -- Analyzing Mutable Checkpointing -- High Performance Computing Applications using Parallel Data Processing Units -- Improved Iterative Methods for Verifying Markov Decision Processes -- A Pre-congruence Format for XY-simulation -- Tooled Process for Early Validation of SysML Models using Modelica Simulation -- Can High Throughput Atone for High Latency in Compiler-Generated Protocol Code? -- Painless support for static and runtime verification of component-based Applications -- Linear Evolution of Domain Architecture in Service-Oriented Software Product Lines -- An Interval-Based Approach to Modelling Time in Event-B -- From Event-B Models to Dafny Code Contracts.
590			_aPara consulta fuera de la UANL se requiere clave de acceso remoto.
700	1		_aDastani, Mehdi, _eeditor. _9302459
700	1		_aSirjani, Marjan, _eeditor. _9334051
710	2		_aSpringerLink (Servicio en línea) _9299170
776	0	8	_iEdición impresa: _z9783319246437
856	4	0	_uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/978-3-319-24644-4 _zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL)
942			_c14
999			_c322748 _d322748