登入
選單
返回
Google圖書搜尋
User-Level Workflow Design
Anna-Lena Lamprecht
其他書名
A Bioinformatics Perspective
出版
Springer
, 2013-12-09
主題
Computers / Software Development & Engineering / General
Computers / Programming / General
Computers / Computer Simulation
Computers / Information Technology
Computers / Computer Science
Computers / System Administration / Storage & Retrieval
Science / Life Sciences / General
ISBN
3642453899
9783642453892
URL
http://books.google.com.hk/books?id=tni7BQAAQBAJ&hl=&source=gbs_api
EBook
SAMPLE
註釋
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.