反馈文件质量
lgli/Mathias Soeken, Rolf Drechsler - Formal Specification Level: Concepts, Methods, and Algorithms (2014, Springer).epub
Formal specification level : concepts, methods, and algorithms 🔍
Mathias Soeken, Rolf Drechsler (auth.) Springer International Publishing, 1, 2015
英语 [en] · EPUB · 2.4MB · 2015 · 📘 非小说类图书 · 🚀/lgli/scihub/zlib · Save
描述
This 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
备用文件名
scihub/10.1007/978-3-319-08699-6.pdf
备用文件名
zlib/no-category/Mathias Soeken, Rolf Drechsler/Formal Specification Level: Concepts, Methods, and Algorithms_21625017.epub
备选标题
Formal Specification Level: Algorithms, Concepts and Methods
备选作者
Soeken, Mathias, Drechsler, Rolf
备用出版商
Springer Nature Switzerland AG
备用版本
Switzerland, Switzerland
备用版本
2015, 2014
备用版本
Cham, 2015
元数据中的注释
sm33445446
备用描述
This 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.℗l 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. ĺØ℗lServes as a single-source reference to a new level of abstraction for embedded systems, known as the Formal Specification Level (FSL); ĺØ℗lProvides a variety of use cases which can be adapted to readersĺl specific design flows; ĺØ℗lIncludes 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
备用描述
Keine Beschreibung vorhanden.
Erscheinungsdatum: 28.11.2014
开源日期
2022-05-23
更多信息……

🚀 快速下载

成为会员以支持书籍、论文等的长期保存。为了感谢您对我们的支持，您将获得高速下载权益。❤️
如果您在本月捐款，您将获得双倍的快速下载次数。

🐢 低速下载

由可信的合作方提供。 更多信息请参见常见问题解答。 （可能需要验证浏览器——无限次下载！）

所有选项下载的文件都相同，应该可以安全使用。即使这样，从互联网下载文件时始终要小心。例如，确保您的设备更新及时。
显示外部下载
  • 对于大文件，我们建议使用下载管理器以防止中断。
    推荐的下载管理器：JDownloader
  • 您将需要一个电子书或 PDF 阅读器来打开文件，具体取决于文件格式。
    推荐的电子书阅读器：Anna的档案在线查看器、ReadEra和Calibre
  • 使用在线工具进行格式转换。
    推荐的转换工具：CloudConvert和PrintFriendly
  • 您可以将 PDF 和 EPUB 文件发送到您的 Kindle 或 Kobo 电子阅读器。
    推荐的工具：亚马逊的“发送到 Kindle”和djazz 的“发送到 Kobo/Kindle”
  • 支持作者和图书馆
    ✍️ 如果您喜欢这个并且能够负担得起，请考虑购买原版，或直接支持作者。
    📚 如果您当地的图书馆有这本书，请考虑在那里免费借阅。