91 search results - page 19 / 19 » New Development of Advanced ITG Framework |
EMSOFT
2011
Springer
12 years 6 months ago
2011
Springer
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...