BOOK-CHAPTER
Contract Based Embedded Software Design
Christian LidströmDilian Gurov
Year: 2023 Lecture notes in computer science Pages: 77-94 Publisher: Springer Science+Business Media
Keywords:
Computer science Abstraction Contract theory Design by contract Programming language Software engineering Formal specification Formal methods Domain theory Software Software development Software construction Mathematics
Metrics
2
Cited By
2.43
FWCI (Field Weighted Citation Impact)
25
Refs
0.85
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Citation History
Topics
Formal Methods in Verification
Physical Sciences → Computer Science → Computational Theory and Mathematics
Logic, programming, and type systems
Physical Sciences → Computer Science → Artificial Intelligence
Advanced Software Engineering Methodologies
Physical Sciences → Computer Science → Artificial Intelligence
Related Documents
JOURNAL ARTICLE
Towards Design-by-Contract based software architecture design
Year: 2013 Vol: 99 Pages: 157-164
JOURNAL ARTICLE
Safety contract based design of software components
Andreas SöderbergRolf Johansson
Year: 2013 Pages: 365-370
BOOK-CHAPTER
A Contract-Based Framework for Formal Verification of Embedded Software
Xu LuCong TianBin GuYu BinChen ChenZhenhua Duan
Lecture notes in computer science Year: 2024 Pages: 180-196
BOOK-CHAPTER
A Logging Design Based on Embedded Software
Haijun LuoYikun WuLong MaTing Zheng
Atlantis Highlights in Computer Sciences/Atlantis highlights in computer sciences Year: 2023 Pages: 1527-1534