1 option
User-Level Workflow Design : A Bioinformatics Perspective / by Anna-Lena Lamprecht.
- Format:
- Book
- Author/Creator:
- Lamprecht, Anna-Lena, Author.
- Series:
- Computer Science (SpringerNature-11645)
- LNCS sublibrary. Programming and software engineering 2945-9168 ; SL 2, 8311
- Programming and Software Engineering, 2945-9168 ; 8311
- Language:
- English
- Subjects (All):
- 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.
- Local Subjects:
- Software Engineering.
- Computer Science Logic and Foundations of Programming.
- Computer Modelling.
- Computer and Information Systems Applications.
- Computational and Systems Biology.
- Physical Description:
- 1 online resource (XXII, 223 pages) : 84 illustrations
- Edition:
- 1st ed. 2013.
- Contained In:
- Springer Nature eBook
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
- System Details:
- text file PDF
- Summary:
- 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.
- Contents:
- The Bio-jETI Framework
- Phylogenetic Analysis Workflows
- GeneFisher-P
- FiatFlux-P
- Microarray Data Analysis Pipelines.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-642-45389-2
- 9783642453892
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.