000 02651nam a22003735i 4500
001 294578
003 MX-SnUAN
005 20170705134230.0
007 cr nn 008mamaa
008 150903s2005 gw | o |||| 0|eng d
020 _a9783540273486
_99783540273486
024 7 _a10.1007/b138956
_2doi
035 _avtls000346934
039 9 _a201509030434
_bVLOAD
_c201405070516
_dVLOAD
_y201402070920
_zstaff
040 _aMX-SnUAN
_bspa
_cMX-SnUAN
_erda
050 4 _aQA76.9.L63
100 1 _aKurki-Suonio, Reino.
_eautor
_9328246
245 1 2 _aA Practical Theory of Reactive Systems :
_bIncremental Modeling of Dynamic Behaviors /
_cby Reino Kurki-Suonio.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c2005.
300 _axxii, 418 páginas 112 ilustraciones
_brecurso en línea.
336 _atexto
_btxt
_2rdacontent
337 _acomputadora
_bc
_2rdamedia
338 _arecurso en línea
_bcr
_2rdacarrier
347 _aarchivo de texto
_bPDF
_2rda
490 0 _aTexts in Theoretical Computer Science An EATCS Series
500 _aSpringer eBooks
505 0 _aPrologue -- Components of a Theory -- Fundamentals -- Towards an Action Language -- Formal Properties of Behaviors -- Proving Behavioral Properties -- Building a Practical Theory -- Basic Language Facilities -- Fundamentals of Design Methodology -- Object Orientation Elaborated -- Components and Interfaces -- Distributed and Real-Time Systems -- Distributed Systems -- Real Time -- Epilogue -- Reexamining the Theory.
520 _aThis book presents a "practical theory" of reactive systems, with formal foundations in Temporal Logic of Actions. The theory supports incremental development of operational, object-oriented models in steps that preserve already established properties. Models are given in an action-oriented language, and their modularity relates to aspects in aspect-oriented programming. The emphasis is on theoretical understanding of reactive behaviors, and on using "horizontal" modularity to manage their complexity. Special chapters are devoted to the applicability of the theory to distributed and real-time systems. Incremental specification is illustrated in the book by a number of examples of varying size and complexity.
590 _aPara consulta fuera de la UANL se requiere clave de acceso remoto.
710 2 _aSpringerLink (Servicio en línea)
_9299170
776 0 8 _iEdición impresa:
_z9783540233428
856 4 0 _uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/b138956
_zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL)
942 _c14
999 _c294578
_d294578