Tags
Language
Tags
May 2024
Su Mo Tu We Th Fr Sa
28 29 30 1 2 3 4
5 6 7 8 9 10 11
12 13 14 15 16 17 18
19 20 21 22 23 24 25
26 27 28 29 30 31 1

Advances in Design and Specification Languages for Embedded Systems: Selected Contributions from FDL'06

Posted By: AvaxGenius
Advances in Design and Specification Languages for Embedded Systems: Selected Contributions from FDL'06

Advances in Design and Specification Languages for Embedded Systems: Selected Contributions from FDL'06 by Sorin A. Huss
English | PDF | 2007 | 352 Pages | ISBN : 1402061471 | 8.1 MB

Embedded systems are meanwhile in the focus of industry in quite different application domains such as automotive, avionics, telecom, and consumer products. The need for a shift in design methodologies towards system level design is widely recognised and design flows aimed to an integration of software and hardware specification and implementation approaches are being developed.

Domain Science and Engineering: A Foundation for Software Development

Posted By: AvaxGenius
Domain Science and Engineering: A Foundation for Software Development

Domain Science and Engineering: A Foundation for Software Development by Dines Bjørner
English | PDF | 2021 | 403 Pages | ISBN : 3030734838 | 4.6 MB

In this book the author explains domain engineering and the underlying science, and he then shows how we can derive requirements prescriptions for computing systems from domain descriptions. A further motivation is to present domain descriptions, requirements prescriptions, and software design specifications as mathematical quantities.