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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Lamprecht, Anna-Lena (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Edición:1st ed. 2013.
Colección:Programming and Software Engineering, 8311
Temas:
Software engineering.
Computer science.
Computer simulation.
Application software.
Bioinformatics.
Software Engineering.
Computer Science Logic and Foundations of Programming.
Computer Modelling.
Computer and Information Systems Applications.
Computational and Systems Biology.
Acceso en línea:Texto Completo
Descripción
Sumario: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.
Descripción Física:XXII, 223 p. 84 illus. online resource.
ISBN:9783642453892
ISSN:2945-9168 ;

Ejemplares similares