000 03215nam a22003735i 4500
001 295533
003 MX-SnUAN
005 20160429155231.0
007 cr nn 008mamaa
008 150903s2006 gw | o |||| 0|eng d
020 _a9783540331933
_99783540331933
024 7 _a10.1007/9783540331933
_2doi
035 _avtls000348626
039 9 _a201509030921
_bVLOAD
_c201405050340
_dVLOAD
_y201402071033
_zstaff
040 _aMX-SnUAN
_bspa
_cMX-SnUAN
_erda
050 4 _aQA76.758
100 1 _aBjørner, Dines.
_eautor
_9329135
245 1 0 _aSoftware Engineering 2 :
_bSpecification of Systems and Languages /
_cby Dines Bjørner.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c2006.
300 _axxiv, 777 páginas 151 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 _aOpening -- Specification Facets -- Hierarchies and Compositions -- Denotations and Computations -- Configurations: Contexts and States -- A Crucial Domain and Computing Facet -- Time, Space and Space/Time -- Linguistics -- Pragmatics -- Semantics -- Syntax -- Semiotics -- Further Specification Techniques -- Modularisation -- Automata and Machines -- Concurrency and Temporality -- Petri Nets -- Message and Live Sequence Charts -- Statecharts -- Quantitative Models of Time -- Interpreter and Compiler Definitions -- SAL: Simple Applicative Language -- SIL: Simple Imperative Language -- SMIL: Simple Modular, Imperative Language -- SPIL: Simple Parallel, Imperative Language -- Closing -- Closing.
520 _aThe art, craft, discipline, logic, practice and science of developing large-scale software products needs a professional base. The textbooks in this three-volume set combine informal, engineeringly sound approaches with the rigor of formal, mathematics-based approaches. This volume covers the basic principles and techniques of specifying systems and languages. It deals with modelling the semiotics (pragmatics, semantics and syntax of systems and languages), modelling spatial and simple temporal phenomena, and such specialized topics as modularity (incl. UML class diagrams), Petri nets, live sequence charts, statecharts, and temporal logics, including the duration calculus. Finally, the book presents techniques for interpreter and compiler development of functional, imperative, modular and parallel programming languages. This book is targeted at late undergraduate to early graduate university students, and researchers of programming methodologies. Vol. 1 of this series is a prerequisite text.
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:
_z9783540211501
856 4 0 _uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/978-3-540-33193-3
_zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL)
942 _c14
999 _c295533
_d295533