Sciweavers

1937 search results - page 55 / 388
» Starting B Specifications from Use Cases
Sort
View
ENTCS
2008
118views more  ENTCS 2008»
15 years 4 months ago
Barbed Model-Driven Software Development: A Case Study
When thinking of MDE, the immediate understanding is that models drive software development, in the at the software is constructed by transforming models from higher levels of abs...
Carlo Montangero, Laura Semini
UM
2001
Springer
15 years 8 months ago
Modeling Literary Style for Semi-automatic Generation of Poetry
Abstract. The generation of formal poetry involves both complex creativity usually exercised by a human poet - and strict algorithmic restrictions regarding the metrical structure ...
Pablo Gervás
FMICS
2006
Springer
15 years 8 months ago
Model-Based Testing of a WAP Gateway: An Industrial Case-Study
Abstract. We present experiences from a case study where a model-based approach to black-box testing is applied to verify that a Wireless Application Protocol (WAP) gateway conform...
Anders Hessel, Paul Pettersson
BMCBI
2010
167views more  BMCBI 2010»
15 years 4 months ago
Creating PWMs of transcription factors using 3D structure-based computation of protein-DNA free binding energies
Background: Knowledge of transcription factor-DNA binding patterns is crucial for understanding gene transcription. Numerous DNA-binding proteins are annotated as transcription fa...
Denitsa Alamanova, Philip Stegmaier, Alexander E. ...
BMCBI
2007
169views more  BMCBI 2007»
15 years 4 months ago
Transcription factor target prediction using multiple short expression time series from Arabidopsis thaliana
Background: The central role of transcription factors (TFs) in higher eukaryotes has led to much interest in deciphering transcriptional regulatory interactions. Even in the best ...
Henning Redestig, Daniel Weicht, Joachim Selbig, M...