ADAEUROPE
2005
Springer
13 years 10 months ago
2005
Springer
Distributed Real-Time (DRE) systems require the verification of their properties to ensure both reliability and conformance to initial requirements. Architecture description langu...
HICSS
2008
IEEE
13 years 11 months ago
2008
IEEE
Defining requirements is one of the most critical activities in the development of software intensive systems. The EasyWinWin system has been very good in capturing initial requir...