000			03737nam a22003855i 4500
999			_c103804 _d103804 _x1
001			103804
003			DE-He213
005			20230102113146.0
006			a||||fo|||| 00| 0
007			cr nn 008mamaa
008			150327s2015 gw | s |||| 0|eng d
020			_a9783319165776
024	7		_a10.1007/978-3-319-16577-6 _2doi
040			_bspa _dES-MaUEC
050		4	_aQA76.76.D47 _b2015 EB
245	1	0	_aFormalisms for Reuse and Systems Integration _cedited by Thouraya Bouabana-Tebibel, Stuart H. Rubin.
264		1	_aCham _bSpringer International Publishing _c2015
300			_a1 recurso en línea (X, 295 páginas 118 ilustraciones, 5 ilustraciones a color.)
336			_2rdacontent _aTexto (visual) _btxt
337			_2rdamedia _aelectrónico _bc
338			_2rdacarrier _arecurso electrónico _bcr
490	0		_aAdvances in Intelligent Systems and Computing, _x2194-5357 ; _v346
490	0		_aEngineering (Springer-11647)
505	0		_aTesting with Buchi Automata: Transition Coverage Metrics, Performance Analysis, and Property Refinement -- Forward and Backward Analysis of Weak Sequencing Specification -- A CEGAR Tool for the Reachability Analysis of PLC-Controlled Plants using Hybrid Automata -- On the Formalization of Cardinal Points of Optical Systems -- Towards a General Model to Handle Multi-Enabledness in Time Petri Nets -- Time Properties Verification of Real-Time Systems using UML/MARTE/OCL-RT -- Formal Modeling and Analysis of Business Process Timed Constraints -- A Model-based Approach for User Requirements Decomposition and Component Selection.
520	3		_aReuse and integration are defined as synergistic concepts, where reuse addresses how to minimize redundancy in the creation of components; while, integration focuses on component composition. Integration supports reuse and vice versa. These related concepts support the design of software and systems for maximizing performance while minimizing cost. Knowledge, like data, is subject to reuse; and, each can be interpreted as the other. This means that inherent complexity, a measure of the potential utility of a system, is directly proportional to the extent to which it maximizes reuse and integration. Formal methods can provide an appropriate context for the rigorous handling of these synergistic concepts. Furthermore, formal languages allow for non ambiguous model specification; and, formal verification techniques provide support for insuring the validity of reuse and integration mechanisms.   This edited book includes 12 high quality research papers written by experts in formal aspects of reuse and integration to cover the most recent advances in the field. These papers are extended versions of some of the best papers, which were presented at the IEEE International Conference on Information Reuse and Integration and the IEEE International Workshop on Formal Methods Integration - both of which were held in San Francisco in August 2014.
988			_aEBSPRINGER_2018
650		7	_aIngeniería del software _2embne _9152630
700	1		_aBouabana-Tebibel, Thouraya _eeditor literario _4edt _4http://id.loc.gov/vocabulary/relators/edt _1http://viaf.org/viaf/2496145857074622921044/ _999045
700	1		_aRubin, Stuart H. _eeditor literario _4edt _4http://id.loc.gov/vocabulary/relators/edt _0http://id.loc.gov/authorities/names/n2004001324 _1http://viaf.org/viaf/11459732/ _999046
776	0	8	_iEdición impresa: _z9783319165783
776	0	8	_iEdición impresa: _z9783319165769
856	4	0	_uhttps://go.openathens.net/redirector/universidadeuropea.es?url=https://doi.org/10.1007/978-3-319-16577-6 _zAcceso a este recurso digital (usuarios Universidad Europea de Madrid)
942			_2lcc _cLE
998			_b04/2019 _dz _eIG _zSI