Sciweavers

1655 search results - page 38 / 331
» Visual tool for generative programming
Sort
View
CORR
2010
Springer
176views Education» more  CORR 2010»
13 years 7 months ago
Bus Protocols: MSC-Based Specifications and Translation into Program of Verification Tool for Formal Verification
Message Sequence Charts (MSCs) are an appealing visual formalism mainly used in the early stages of system design to capture the system requirements. However, if we move towards a...
Kamrul Hasan Talukder
NAR
2006
120views more  NAR 2006»
13 years 7 months ago
TreeDomViewer: a tool for the visualization of phylogeny and protein domain structure
Phylogenetic analysis and examination of protein domains allow accurate genome annotation and are invaluable to study proteins and protein complex evolution. However, two sequence...
Blaise T. F. Alako, Daphne Rainey, Harm Nijveen, J...
VL
2005
IEEE
123views Visual Languages» more  VL 2005»
14 years 1 months ago
A Visually-Specified Code Generator for Simulink/Stateflow
On one hand, visual modeling languages are often used today in engineering domains, Mathworks’ Simulink/Stateflow for simulation, signal processing and controls being the prime ...
Sandeep Neema, Zsolt Kalmar, Feng Shi, Attila Vizh...
BMCBI
2010
135views more  BMCBI 2010»
13 years 7 months ago
Integration and visualization of systems biology data in context of the genome
Background: High-density tiling arrays and new sequencing technologies are generating rapidly increasing volumes of transcriptome and protein-DNA interaction data. Visualization a...
J. Christopher Bare, Tie Koide, David J. Reiss, Da...
BMCBI
2007
176views more  BMCBI 2007»
13 years 7 months ago
Genome Expression Pathway Analysis Tool - Analysis and visualization of microarray gene expression data under genomic, proteomic
Background: Regulation of gene expression is relevant to many areas of biology and medicine, in the study of treatments, diseases, and developmental stages. Microarrays can be use...
Markus Weniger, Julia C. Engelmann, Jörg Schu...