Sciweavers

3399 search results - page 486 / 680
» Requirements Development in Scenario-Based Design
Sort
View
EMSOFT
2008
Springer
15 years 8 months ago
Automatically transforming and relating Uppaal models of embedded systems
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...
Timothy Bourke, Arcot Sowmya
ASE
2007
143views more  ASE 2007»
15 years 6 months ago
Composition inference for UML class diagrams
Knowing which associations are compositions is important in a tool for the reverse engineering of UML class diagrams. Firstly, recovery of composition relationships bridges the ga...
Ana Milanova
CORR
2010
Springer
133views Education» more  CORR 2010»
15 years 6 months ago
PSIM: A tool for analysis of device pairing methods
Wireless networks are a common place nowadays and almost all of the modern devices support wireless communication in some form. These networks differ from more traditional computi...
Yasir Arfat Malkani, Lachhman Das Dhomeja
BMCBI
2006
118views more  BMCBI 2006»
15 years 6 months ago
Djinn Lite: a tool for customised gene transcript modelling, annotation-data enrichment and exploration
Background: There is an ever increasing rate of data made available on genetic variation, transcriptomes and proteomes. Similarly, a growing variety of bioinformatic programs are ...
Erdahl T. Teber, Edward Crawford, Kent B. Bolton, ...
BMCBI
2005
140views more  BMCBI 2005»
15 years 6 months ago
Dissecting systems-wide data using mixture models: application to identify affected cellular processes
Background: Functional analysis of data from genome-scale experiments, such as microarrays, requires an extensive selection of differentially expressed genes. Under many condition...
J. Peter Svensson, Renée X. de Menezes, Ing...