262 search results - page 25 / 53 » Making Specifications Complete Through Models |
117
click to vote
WSC
2008
15 years 2 months ago
2008
Despite that simulation possesses an establish background and offers tremendous promise for designing and analyzing complex production systems, manufacturing industry has been les...
107
click to vote
IFIP3
1998
15 years 1 months ago
1998
Development of a wide spread project intended to teaching Computer Science, integrating a considerable number of students all over a country with big geographical extension and sc...
118
click to vote
SNPD
2008
15 years 1 months ago
2008
: Software for safety-critical systems has to deal with the hazards identified by safety analysis in order to make the system safe, risk-free and fail-safe. Software safety is a co...
EMSOFT
2008
Springer
15 years 1 months ago
2008
Springer
We investigate the problem of specification based testing with dense sets of inputs and outputs, in particular with imprecision as they might occur due to errors in measurements, ...
100
click to vote
SIGSOFT
2005
ACM
16 years 14 days ago
2005
ACM
Growing attention is being paid to application security at requirements engineering time. Confidentiality is a particular subclass of security concerns that requires sensitive inf...