The development of implicit and explicit
✍ Hayne, Harlene; Rovee-Collier, Carolyn K.; Colombo, Michael
📂 Library
📅 2001
🏛 John Benjamins Pub. Co.
🌐 English
✦ LIBER ✦
📁
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings
✍ Scribed by Yamine Ait-Ameur, Shin Nakajima, Dominique Méry
- Publisher
- Springer Singapore;Springer
- Year
- 2021
- Tongue
- English
- Leaves
- 345
- Edition
- 1st ed.
- Category
- Library
⬇ Acquire This Volume
No coin nor oath required. For personal study only.
✦ Synopsis
This 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.
✦ Table of Contents
Front Matter ....Pages i-xii
Front Matter ....Pages 1-1
Modelling an E-Voting Domain for the Formal Development of a Software Product Line: When the Implicit Should Be Made Explicit (J. Paul Gibson, Jean-Luc Raffy)....Pages 3-18
Domain-Specific Developments Using Rodin Theories (Thai Son Hoang, Laurent Voisin, Michael Butler)....Pages 19-37
Integrating Domain Modeling Within a Formal Requirements Engineering Method (Steve Tueno, Régine Laleau, Amel Mammar, Marc Frappier)....Pages 39-58
Front Matter ....Pages 59-59
Operations over Lightweight Ontologies and Their Implementation (Marco A. Casanova, Rômulo C. Magalhães)....Pages 61-82
Formal Ontological Analysis for Medical Protocols (Neeraj Kumar Singh, Yamine Ait-Ameur, Dominique Méry)....Pages 83-107
Deriving Implicit Security Requirements in Safety-Explicit Formal Development of Control Systems (Inna Vistbakka, Elena Troubitsyna)....Pages 109-130
Towards an Integration of Probabilistic and Knowledge-Based Data Analysis Using Probabilistic Knowledge Patterns (Klaus-Dieter Schewe, Qing Wang)....Pages 131-151
Front Matter ....Pages 153-153
An Explicit Semantics for Event-B Refinements (Pierre Castéran)....Pages 155-173
Contextual Dependency in State-Based Modelling (Souad Kherroubi, Dominique Méry)....Pages 175-197
Configuration of Complex Systems—Maintaining Consistency at Runtime (Azadeh Jahanbanifar, Ferhat Khendek, Maria Toeroe)....Pages 199-224
Front Matter ....Pages 225-225
Towards Making Safety Case Arguments Explicit, Precise, and Well Founded (Valentín Cassano, Thomas S. E. Maibaum, Silviya Grigorova)....Pages 227-258
The Indefeasibility Criterion for Assurance Cases (John Rushby)....Pages 259-279
Front Matter ....Pages 281-281
An Event-B Development Process for the Distributed BIP Framework (Badr Siala, Jean-Paul Bodeveix, Mamoun Filali, Mohamed Tahar Bhiri)....Pages 283-307
Explicit Exploration of Refinement Design in Proof-Based Approach: Refinement Engineering in Event-B (Fuyuki Ishikawa, Tsutomu Kobayashi, Shinichi Honiden)....Pages 309-330
Constructing Rigorous Sketches for Refinement-Based Formal Development: An Application to Android (Shin Nakajima)....Pages 331-346
✦ Subjects
Computer Science; Software Engineering; Mathematical Logic and Foundations
📜 SIMILAR VOLUMES
Implicit and Explicit Learning of Langua
✍ Patrick Rebuschat (ed.)
📂 Library
📅 2015
🏛 John Benjamins Publishing Company
🌐 English
Implicit learning is a fundamental feature of human cognition. Many essential skills, including language comprehension and production, intuitive decision making, and social interaction, are largely dependent on implicit (unconscious) knowledge. Given its relevance, it is not surprising that the stud
The Challenges of Explicit and Implicit
✍ Maria Jodłowiec
📂 Library
📅 2015
🏛 Peter Lang, Internationaler Verlag der Wissenschaf
🌐 English
Relevance Theory provides an original theoretical framework to capture the complex nature and intricacies of the processes underlying ostensive communication. The model has been in constant development for the last 30 years, and this study attempts to contribute to it by challenging free enrichment
Implicit and Explicit Language Learning
✍ Cristina Sanz, Ronald P. Leow
📂 Library
📅 0
🌐 English
Georgetown University Press, 2011. - 229 p.<div class="bb-sep"></div>The volume includes an examination of the psychological and neurological processes of implicit and explicit learning, what aspects of language learning can be affected by explicit learning, and the effects of bilingualism on the me
Engineering Adaptive Software Systems: C
✍ Yijun Yu, Arosha Bandara, Shinichi Honiden, Zhenjiang Hu, Tetsuo Tamai, Hausi Mu
📂 Library
📅 2019
🏛 Springer Singapore
🌐 English
<p><p>This book discusses the problems and challenges in the interdisciplinary research field of self-adaptive software systems. Modern society is increasingly filled with software-intensive systems, which are required to operate in more and more dynamic and uncertain environments. These systems mus
Explicitation and implicitation in trans
✍ Becher Viktor.
📂 Library
🌐 English
Dissertation. Universitaet Hamburg. 2011. 251 Pages. (engl.)<div class="bb-sep"></div>The thesis presents a study of explicitation and implicitation in translation. Explicitating and implicitating shifts were manually identified in a corpus of English and German business texts and their translations