wyszukanych pozycji: 2
Reusable Mathematical Models
ISBN: 9783836466738 / Angielski / Miękka / 2008 / 152 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. Mathematically proving programs is hard and time-consuming. Although there exist a number of formal approaches to software engineering, they do not leverage the most beneficial concept in software engineering: Reuse of software elements, not only in terms of functionality, but also as mathematically proven units.
In this book we develop a framework of reusable mathematical models for EIFFEL contracts, enabling rigorous reusable specifications using the Design by Contract(TM) method. We introduce the Intermediate Functional Language (IFL), based on the EIFFEL language and specifically designed... Mathematically proving programs is hard and time-consuming. Although there exist a number of formal approaches to software engineering, they do not le...
|
|
cena:
299,74 zł |
Reusable Mathematical Models
ISBN: 9783639441567 / Angielski / Miękka / 2012 / 156 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
299,74 zł |