Sciweavers

613 search results - page 80 / 123
» Executable Visual Contracts
Sort
View
HICSS
2007
IEEE
126views Biometrics» more  HICSS 2007»
13 years 11 months ago
Model Driven Design and Implementation of Statistical Surveys
We describe the evolution of a statistical survey design visual language from a standalone design-time modelling language into an environment supporting design, coordination, exec...
Chul Hwee Kim, John G. Hosking, John C. Grundy
SFP
2004
13 years 11 months ago
A graphic functional-dataflow language
NiMo (Nets in Motion) is a visual environment aimed to support totally graphic programming in Data Flow style, with a strong functional inspiration. Solutions of growing complexit...
Silvia Clerici, Cristina Zoltan
CASCON
2000
119views Education» more  CASCON 2000»
13 years 11 months ago
Efficient mapping of software system traces to architectural views
Information about a software system's execution can help a developer with many tasks, including software testing, performance tuning, and program understanding. In almost all...
Robert J. Walker, Gail C. Murphy, Jeffrey Steinbok...
BMCBI
2007
137views more  BMCBI 2007»
13 years 10 months ago
GEVALT: An integrated software tool for genotype analysis
Background: Genotype information generated by individual and international efforts carries the promise of revolutionizing disease studies and the association of phenotypes with al...
Ofir Davidovich, Gad Kimmel, Ron Shamir
SEMCO
2008
IEEE
14 years 4 months ago
TcruziKB: Enabling Complex Queries for Genomic Data Exploration
We developed a novel analytical environment to aid in the examination of the extensive amount of interconnected data available for genome projects. Our focus is to enable ity and ...
Pablo N. Mendes, Bobby McKnight, Amit P. Sheth, Je...