6978 search results - page 71 / 1396 » Reframing Requirements Analysis |
CORR
2011
Springer
13 years 5 months ago
2011
Springer
Despite the increasing maturity of model-driven development (MDD), some research challenges remain open in the field of information systems (IS). For instance, there is a need to i...
TCAD
2010
13 years 4 months ago
2010
The Monte-Carlo (MC) technique is a traditional solution for a reliable statistical analysis, and in contrast to probabilistic methods, it can account for any complicate model. How...
ICSE
2011
IEEE-ACM
13 years 1 months ago
2011
IEEE-ACM
A dependability case is an explicit, end-to-end argument, based on concrete evidence, that a system satisfies a critical property. We report on a case study constructing a depend...
KCAP
2011
ACM
13 years 1 months ago
2011
ACM
Open Information Extraction extracts relations from text without requiring a pre-specified domain or vocabulary. While existing techniques have used only shallow syntactic featur...
ATVA
2011
Springer
12 years 10 months ago
2011
Springer
In [AKL10], we showed how viewing online algorithms as reactive systems enables the application of ideas from formal verification to the competitive analysis of online algorithms....