000			02892nam a22003855i 4500
999			_c103473 _d103473 _x1
001			103473
003			DE-He213
005			20230102113132.0
006			a||||fo|||| 00| 0
007			cr nn 008mamaa
008			141112s2015 gw | s |||| 0|eng d
020			_a9783319086996
024	7		_a10.1007/978-3-319-08699-6 _2doi
040			_bspa _dES-MaUEC
050		4	_aQA76.9.N38 _b2015 EB
100	1		_aSoeken, Mathias. _eautor. _4aut _4http://id.loc.gov/vocabulary/relators/aut _1http://viaf.org/viaf/313251395/
245	1	0	_aFormal Specification Level _bConcepts, Methods, and Algorithms _cby Mathias Soeken, Rolf Drechsler.
264		1	_aCham _bSpringer International Publishing _c2015
300			_a1 recurso en línea (VIII, 138 páginas 87 ilustraciones)
336			_2rdacontent _aTexto (visual) _btxt
337			_2rdamedia _aelectrónico _bc
338			_2rdacarrier _arecurso electrónico _bcr
490	0		_aEngineering (Springer-11647)
505	0		_aIntroduction -- Background -- NLP-Assisted Model Generation -- Verification of Static Aspects -- Verification of Dynamic Aspects -- Conclusions.
520	3		_aThis book introduces a new level of abstraction that closes the gap between the textual specification of embedded systems and the executable model at the Electronic System Level (ESL). Readers will be enabled to operate at this new, Formal Specification Level (FSL), using models which not only allow significant verification tasks in this early stage of the design flow, but also can be extracted semi-automatically from the textual specification in an interactive manner.  The authors explain how to use these verification tasks to check conceptual properties, e.g. whether requirements are in conflict, as well as dynamic behavior, in terms of execution traces. • Serves as a single-source reference to a new level of abstraction for embedded systems, known as the Formal Specification Level (FSL); • Provides a variety of use cases which can be adapted to readers' specific design flows; • Includes a comprehensive illustration of Natural Language Processing (NLP) techniques, along with examples of how to implement and apply these techniques in the design of embedded systems.
988			_aEBSPRINGER_2018
650		7	_aProceso en lenguaje natural (Informática) _2embne _9158738
700	1		_aDrechsler, Rolf _eautor. _4aut _4http://id.loc.gov/vocabulary/relators/aut _0http://id.loc.gov/authorities/names/n98033803 _1http://viaf.org/viaf/64793347/ _999112
776	0	8	_iEdición impresa: _z9783319087009
776	0	8	_iEdición impresa: _z9783319086989
776	0	8	_iEdición impresa: _z9783319378824
856	4	0	_uhttps://go.openathens.net/redirector/universidadeuropea.es?url=https://doi.org/10.1007/978-3-319-08699-6 _zAcceso a este recurso digital (usuarios Universidad Europea de Madrid)
942			_2lcc _cLE
998			_b03/2019 _dz _eIG _zSI