ADAEUROPE
2005
Springer
14 years 7 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
14 years 8 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...