Free Delivery Over $100
|
|
|||
|
||||
OverviewThe 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. Full Product DetailsAuthor: Anna-Lena LamprechtPublisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Imprint: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Volume: 8311 Dimensions: Width: 15.50cm , Height: 1.30cm , Length: 23.50cm Weight: 0.454kg ISBN: 9783642453885ISBN 10: 3642453880 Pages: 223 Publication Date: 10 December 2013 Audience: Professional and scholarly , Professional & Vocational Format: Paperback Publisher's Status: Active Availability: Manufactured on demand  We will order this item for you from a manufactured on demand supplier. Table of ContentsReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |
||||
