Library of American University of Madaba
Your cart is empty.
Lamprecht, Anna-Lena.
User-Level Workflow Design A Bioinformatics Perspective / [electronic resource] : edited by Anna-Lena Lamprecht. - XXII, 223 p. 84 illus. online resource. - Lecture Notes in Computer Science, 8311 0302-9743 ; .
The Bio-jETI Framework -- Phylogenetic Analysis Workflows -- GeneFisher-P -- FiatFlux-P -- Microarray Data Analysis Pipelines.
The continuous trend in computer science to lift programming to higher abstraction levels increases scalability and opens programming to a wider public. In particular, service-oriented programming and the support of semantics-based frameworks make application development accessible to users with almost no programming expertise. This monograph establishes requirement-centric scientific workflow design as an instance of consequent constraint-driven development. Requirements formulated in terms of user-level constraints are automatically transformed into running applications using temporal logic-based synthesis technology. The impact of this approach is illustrated by applying it to four very different bioinformatics scenarios: phylogenetic analysis, the dedicated GeneFisher-P scenario, the FiatFlux-P scenario, and microarray data analyses.
9783642453892
Computer science.
Software engineering.
Logic design.
Computer simulation.
Bioinformatics.
Computer Science.
Software Engineering.
Logics and Meanings of Programs.
Simulation and Modeling.
Information Systems Applications (incl. Internet).
Computational Biology/Bioinformatics.
QA76.758
005.1
User-Level Workflow Design A Bioinformatics Perspective / [electronic resource] : edited by Anna-Lena Lamprecht. - XXII, 223 p. 84 illus. online resource. - Lecture Notes in Computer Science, 8311 0302-9743 ; .
The Bio-jETI Framework -- Phylogenetic Analysis Workflows -- GeneFisher-P -- FiatFlux-P -- Microarray Data Analysis Pipelines.
The continuous trend in computer science to lift programming to higher abstraction levels increases scalability and opens programming to a wider public. In particular, service-oriented programming and the support of semantics-based frameworks make application development accessible to users with almost no programming expertise. This monograph establishes requirement-centric scientific workflow design as an instance of consequent constraint-driven development. Requirements formulated in terms of user-level constraints are automatically transformed into running applications using temporal logic-based synthesis technology. The impact of this approach is illustrated by applying it to four very different bioinformatics scenarios: phylogenetic analysis, the dedicated GeneFisher-P scenario, the FiatFlux-P scenario, and microarray data analyses.
9783642453892
Computer science.
Software engineering.
Logic design.
Computer simulation.
Bioinformatics.
Computer Science.
Software Engineering.
Logics and Meanings of Programs.
Simulation and Modeling.
Information Systems Applications (incl. Internet).
Computational Biology/Bioinformatics.
QA76.758
005.1