Chapter 10: Contracts for Requirement Engineering: 10.1 Motivation: formalizing requirements.

Autor:	Benveniste, A., Caillaud, B., Nickovic, D., Passerone, R., Raclet, J.-B., Reinkemeier, Ph., Sangiovanni-Vincentelli, A., Damm, W., Henzinger, T., Larsen, K. G.
Předmět:	REQUIREMENTS engineering CONTRACTS MATHEMATICAL models ENGINEERING design ORIGINAL equipment manufacturers SUPPLIERS SURETYSHIP & guaranty
Zdroj:	Foundations & Trends in Electronic Design Automation; 2018, Vol. 12 Issue 2/3, p328-331, 4p
Databáze:	Complementary Index
Externí odkaz:	Zobrazit plný text záznamu