User-Level Workflow Design A Bioinformatics Perspective /

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 alm...

Full description

Corporate Author: SpringerLink (Online service)
Other Authors: Lamprecht, Anna-Lena.
Format: Electronic
Language: English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : 2013.
Series: Lecture Notes in Computer Science, 8311
Subjects:
Online Access: http://dx.doi.org/10.1007/978-3-642-45389-2
Tags: Add Tag
No Tags, Be the first to tag this record!
LEADER 02808nam a22005295i 4500
001 978-3-642-45389-2
003 DE-He213
005 20170324004442.0
007 cr nn 008mamaa
008 131209s2013 gw | s |||| 0|eng d
020 |a 9783642453892  |9 978-3-642-45389-2 
024 7 |a 10.1007/978-3-642-45389-2  |2 doi 
050 4 |a QA76.758 
072 7 |a UMZ  |2 bicssc 
072 7 |a COM051230  |2 bisacsh 
082 0 4 |a 005.1  |2 23 
245 1 0 |a User-Level Workflow Design  |h [electronic resource] :  |b A Bioinformatics Perspective /  |c edited by Anna-Lena Lamprecht. 
264 1 |a Berlin, Heidelberg :  |b Springer Berlin Heidelberg :  |b Imprint: Springer,  |c 2013. 
300 |a XXII, 223 p. 84 illus.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
490 1 |a Lecture Notes in Computer Science,  |x 0302-9743 ;  |v 8311 
505 0 |a The Bio-jETI Framework -- Phylogenetic Analysis Workflows -- GeneFisher-P -- FiatFlux-P -- Microarray Data Analysis Pipelines. 
520 |a 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. 
650 0 |a Computer science. 
650 0 |a Software engineering. 
650 0 |a Computer logic. 
650 0 |a Computer simulation. 
650 0 |a Bioinformatics. 
650 1 4 |a Computer Science. 
650 2 4 |a Software Engineering. 
650 2 4 |a Logics and Meanings of Programs. 
650 2 4 |a Simulation and Modeling. 
650 2 4 |a Information Systems Applications (incl. Internet). 
650 2 4 |a Computational Biology/Bioinformatics. 
700 1 |a Lamprecht, Anna-Lena.  |e editor. 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer eBooks 
776 0 8 |i Printed edition:  |z 9783642453885 
830 0 |a Lecture Notes in Computer Science,  |x 0302-9743 ;  |v 8311 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-45389-2 
912 |a ZDB-2-SCS 
912 |a ZDB-2-LNC 
950 |a Computer Science (Springer-11645) 
999 |c 52668  |d 52668