000			04118nam a2200409 i 4500
999			_c334660 _d334660 _x1
001			334660
003			ES-MaUEC
005			20230102114732.0
006			a|||| o|||| 00| 0
007			cr nn nnnaamaa
008			200727s2021 si a o |||| 0|eng d
020			_a9789811550546
024	7		_a10.1007/978-981-15-5054-6 _2doi
040			_aES-MaUEC _bspa _cES-MaUEC _dES-MaUEC
050		4	_aQA76.758 _b2021 EB
245	0	0	_aImplicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems : _bCommunications of NII Shonan Meetings _cedited by Yamine Ait-Ameur, Shin Nakajima, Dominique Méry
250			_aFirst edition 2021
264		1	_aSingapore _bSpringer International Publising _c2021
300			_a1 recurso en línea (XII, 346 páginas) _b138 ilustraciones, 29 ilustraciones a color
336			_2rdacontent _aTexto _btxt
337			_2rdamedia _aelectrónico _bc
338			_2rdacarrier _arecurso electrónico _bcr
347			_atext file _bPDF _2rda
505	0		_aChapter 1: Modelling an e-voting domain for the formal development of a Software Product Line -- Chapter 2: Domain-specific Developments using Rodin Theories -- Chapter 3: Integrating Domain Knowledge in Formal Requirements Engineering -- Chapter 4: Operations over Lightweight Ontologies and their Implementation -- Chapter 5: Formal Ontological Analysis for Medical Protocol -- Chapter 6: Deriving Implicit Security Requirements in Safety-Explicit Formal Development of Control Systems -- Chapter 7: Towards an Integration of Probabilistic and Knowledge-Based Data Analysis Using Probabilistic Knowledge Patterns -- Chapter 8: An Explicit Semantics for Event-B Refinements -- Chapter 9: Contextual Dependency in State-based Modelling -- Chapter 10: Configuration of complex systems -- Chapter 11: Towards Making Safety Case Arguments Explicit, Precise, and Well Founded -- Chapter 12: The Indefeasibility Criterion for Assurance Cases -- Chapter 13: An Event-B development process for the distributed BIP framework -- Chapter 14: Explicit Exploration of Refinement Design in Proof-based Approach -- Chapter 15: Constructing Rigorous Sketches for Refinement-based Formal Development.
520	3		_aThis book addresses mechanisms for reducing model heterogeneity induced by the absence of explicit semantics expression in the formal techniques used to specify design models. More precisely, it highlights the advances in handling both implicit and explicit semantics in formal system developments, and discusses different contributions expressing different views and perceptions on the implicit and explicit semantics. The book is based on the discussions at the Shonan meeting on this topic held in 2016, and includes contributions from the participants summarising their perspectives on the problem and offering solutions. Divided into 5 parts: domain modelling, knowledge-based modelling, proof-based modelling, assurance cases, and refinement-based modelling, and offers inspiration for researchers and practitioners in the fields of formal methods, system and software engineering, domain knowledge modelling, requirement analysis, and explicit and implicit semantics of modelling languages.
988			_aSpringer_Computer_2021
650		7	_2embne _aIngeniería del software _9152630
700	1		_aAit-Ameur, Yamine _eeditor literario _0(orcid)0000-0003-4582-9712 _1https://orcid.org/0000-0003-4582-9712 _4edt _4http://id.loc.gov/vocabulary/relators/edt
700	1		_aNakajima, Shin _eeditor literario _4edt _4http://id.loc.gov/vocabulary/relators/edt
700	1		_aMéry, Dominique _eeditor literario _0(orcid)0000-0001-5231-6611 _1https://orcid.org/0000-0001-5231-6611 _4edt _4http://id.loc.gov/vocabulary/relators/edt
710	2		_aSpringerLink
856	4	0	_uhttps://go.openathens.net/redirector/universidadeuropea.es?url=https://doi.org/10.1007/978-981-15-5054-6 _zAcceso a este recurso digital (usuarios Universidad Europea de Madrid)
942			_2lcc _cLE
998			_b05/2021 _dz _eb _zSI