36,95 €
36,95 €
inkl. MwSt.
Sofort per Download lieferbar
18 °P sammeln
36,95 €
Als Download kaufen
36,95 €
inkl. MwSt.
Sofort per Download lieferbar
18 °P sammeln
Jetzt verschenken
Alle Infos zum eBook verschenken
36,95 €
inkl. MwSt.
Sofort per Download lieferbar
Alle Infos zum eBook verschenken
18 °P sammeln
Andere Kunden interessierten sich auch für
![Leveraging Applications of Formal Methods, Verification, and Validation (eBook, PDF)]( "Leveraging Applications of Formal Methods, Verification, and Validation (eBook, PDF)")
Leveraging Applications of Formal Methods, Verification, and Validation (eBook, PDF)40,95 €![Leveraging Applications of Formal Methods, Verification and Validation (eBook, PDF)]( "Leveraging Applications of Formal Methods, Verification and Validation (eBook, PDF)")
Leveraging Applications of Formal Methods, Verification and Validation (eBook, PDF)40,95 €![Leveraging Applications of Formal Methods, Verification and Validation (eBook, PDF)]( "Leveraging Applications of Formal Methods, Verification and Validation (eBook, PDF)")
Leveraging Applications of Formal Methods, Verification and Validation (eBook, PDF)40,95 €![Job Scheduling Strategies for Parallel Processing (eBook, PDF)]( "Job Scheduling Strategies for Parallel Processing (eBook, PDF)")
Job Scheduling Strategies for Parallel Processing (eBook, PDF)32,95 €![Job Scheduling Strategies for Parallel Processing (eBook, PDF)]( "Job Scheduling Strategies for Parallel Processing (eBook, PDF)")
Job Scheduling Strategies for Parallel Processing (eBook, PDF)36,95 €![Software Engineering and Formal Methods (eBook, PDF)]( "Software Engineering and Formal Methods (eBook, PDF)")
Software Engineering and Formal Methods (eBook, PDF)40,95 €![Software Technologies (eBook, PDF)]( "Software Technologies (eBook, PDF)")
Software Technologies (eBook, PDF)40,95 €
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.
Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.