Sciweavers

412 search results - page 1 / 83
» RATSY - A New Requirements Analysis Tool with Synthesis
Sort
View
CAV
2010
Springer
223views Hardware» more  CAV 2010»
14 years 1 months ago
RATSY - A New Requirements Analysis Tool with Synthesis
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...
Roderick Bloem, Alessandro Cimatti, Karin Greimel,...
IV
2009
IEEE
124views Visualization» more  IV 2009»
14 years 4 months ago
Needs Assessment for the Design of Information Synthesis Visual Analytics Tools
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...
Anthony C. Robinson
PCM
2009
Springer
145views Multimedia» more  PCM 2009»
14 years 3 months ago
A Movement Data Analysis and Synthesis Tool for Museum Visitors' Behaviors
Abstract. Achievement of museum guide systems, in physical and virtual worlds, providing the personalization and context awareness features requires the prior analysis and identi...
Kingkarn Sookhanaphibarn, Ruck Thawonmas
COMPSAC
2000
IEEE
14 years 1 months ago
Automating Scenario-Driven Structured Requirements Engineering
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...
Hong Zhu, Lingzi Jin
BMCBI
2010
189views more  BMCBI 2010»
13 years 7 months ago
solQTL: a tool for QTL analysis, visualization and linking to genomes at SGN database
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...
Isaak Y. Tecle, Naama Menda, Robert M. Buels, Esth...