Nonfiction | Computer & Technology
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
by Yamine Ait-Ameur 2020-09-16 11:16:11
image1
COMPARE PRICE
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 e... Read more
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. Less
  • File size
  • Print pages
  • Publisher
  • Publication date
  • Language
  • ISBN
  • 9.25 X 6.1 X 0 in
  • 346
  • Springer Nature
  • July 27, 2020
  • eng
  • 9789811550546
autor-image
Yamine Ait-Ameur
Author
Yamine Ait Ameur is a professor at Toulouse National Polytechnique Institute and a member of the TCNRS IRIT Research Institute in Computer Science. His research topics concern 1) Formal methods for va...
Compare Prices
image
Hard Cover
Buy CAD 198.95
image
PDF (drm free, digitally watermarked)
Buy AUD 169.00
Available Discount
12 % OFF
12% off Academic Book Titles (ebooks.com)
Show Coupon Code

See More Details

Description: Back to School Promotion at eBooks.com. 12% off Academic book titles. Landing page is on our academics category page. Static image.

10 % OFF
Save 10% OFF on Student Text Books (ebooks.com)
Show Coupon Code

See More Details

Description: Purchase textbooks at student discounts!

20 % OFF
20% Off on selected Categories
Show Coupon Code

See More Details

Description: 20% Off these Categories- Body Mind & Spirit, Family & Relationships, Foreign Language Study, History, Sports & Recreation. Offer Lasts all through January.

Related Books
view all
image1
CompTIA Network+ Study Guide:
image1
Intelligence Analysis as Discovery of Evidence, Hypotheses, and Arguments:
image1
Python Programming for Arduino:
image1
Practical Monitoring:
image1
Windows 10 Bible:
image1
Network Programmability and Automation:
image1
CISM Certified Information Security Manager All-in-One Exam Guide:
image1
Rapid Prototyping Software for Avionics Systems:
image1
Drones For Dummies:
image1
MCSA SQL 2016 BI Development Exam Ref 2-pack:
image1
Troubleshooting Cisco Nexus Switches and NX-OS:
image1
Microsoft SharePoint 2013 Step by Step:
image1
Moodle Gradebook:
image1
LPIC-1:
image1
Expanding and Networking Microcomputers:
image1
Abstract Methods in Information Theory:
image1
The Seismic Analysis Code:
image1
The Digital Filmmaking Handbook:
image1
Topics at the Frontier of Statistics and Network Analysis:
image1
Privacy and Legal Issues in Cloud Computing:
image1
Windows Server 2012 R2 Pocket Consultant Volume 2:
image1
Complex Analysis with MATHEMATICA®:
image1
(ISC)2 CISSP Certified Information Systems Security Professional Official Study Guide:
image1
Make:
image1
Type Theory and Formal Proof:

Stay in touch.

© 2024 AMPLE READS