Haben Sie Fragen? Einfach anrufen, wir helfen gerne: Tel. 089/210233-0
oder besuchen Sie unser Ladengeschäft in der Pacellistraße 5 (Maxburg) 80333 München
+++ Versandkostenfreie Lieferung innerhalb Deutschlands
Haben Sie Fragen? Tel. 089/210233-0

User-Level Workflow Design

49,22 €*

Sofort verfügbar, Lieferzeit: 1-3 Tage

Produktnummer: 18ed1f970969d448e189235b8835acd0c5
Autor: Lamprecht, Anna-Lena
Themengebiete: EDAM ontology bioinformatics constraint-driven design constraints domain modeling formal methods jABC jETI loose programming model checking
Veröffentlichungsdatum: 10.12.2013
EAN: 9783642453885
Sprache: Englisch
Seitenzahl: 223
Produktart: Kartoniert / Broschiert
Verlag: Springer Berlin
Untertitel: A Bioinformatics Perspective
Produktinformationen "User-Level Workflow Design"
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.

Sie möchten lieber vor Ort einkaufen?

Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.

Juristische Fachbuchhandlung
Georg Blendl

Parcellistraße 5 (Maxburg)
8033 München

Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen