4350 search results - page 190 / 870 » Case studies for contract-based systems |
147
click to vote
ASWEC
2007
IEEE
15 years 10 months ago
2007
IEEE
Behavior Trees (BTs) are a graphical notation used for formalising functional requirements and have been successfully applied to several case studies. However, the notation curren...
165
click to vote
CCS
2006
ACM
15 years 8 months ago
2006
ACM
We propose an integrated process for component-based system development and security risk analysis. The integrated process is evaluated in a case study involving an instant messag...
168
click to vote
KBS
2011
14 years 11 months ago
2011
In today’s industrial applications, we see that knowledge systems are successfully implemented. However, critical domains require the elaborate and thoughtful validation of the ...
148
click to vote
FUIN
2002
15 years 4 months ago
2002
The article describes a method combining two widely-used empirical approaches to learning from examples: rule induction and instance-based learning. In our algorithm (RIONA) decisi...
134
click to vote
RISE
2005
Springer
15 years 10 months ago
2005
Springer
Software Product Line (SPL) engineering allows designers to reason about an entire family of software applications, instead of a single product, with a strategic importance for the...