412 search results - page 1 / 83 » RATSY - A New Requirements Analysis Tool with Synthesis |
CAV
2010
Springer
14 years 1 months ago
2010
Springer
Formal specifications play an increasingly important role in system design-flows. Yet, they are not always easy to deal with. In this paper we present RATSY, a successor of the R...
IV
2009
IEEE
14 years 4 months ago
2009
IEEE
Information synthesis is a key portion of the analysis process with visual analytics tools. This stage of work requires users to collect, organize, and add meaning to individual a...
PCM
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Achievement of museum guide systems, in physical and virtual worlds, providing the personalization and context awareness features requires the prior analysis and identi...
COMPSAC
2000
IEEE
14 years 1 months ago
2000
IEEE
Scenario analysis is a vehicle of separating concerns in the elicitation of users' requirements. It is also a means of requirements validation and verification. In the practi...
BMCBI
2010
13 years 7 months ago
2010
Background: A common approach to understanding the genetic basis of complex traits is through identification of associated quantitative trait loci (QTL). Fine mapping QTLs require...