Software Engineering: Specification, Implementation, Verification Ebook Tooltip Ebooks kunnen worden gelezen op uw computer en op daarvoor geschikte e-readers.

Name: Software Engineering: Specification, Implementation, Verification
Author: Suad Alagić

Auteur: Suad Alagić

Taal: Engels

Afbeeldingen

Artikel vergelijken

Vergelijk met andere artikelen

Bekijk nu

Auteur: Suad Alagić

Engels
E-book
9783319615189
15 september 2017
Adobe ePub

Alle productspecificaties

Je leest ebooks gemakkelijk op je Kobo e-reader, of op je smartphone of tablet met de bol.com Kobo app. Let op! Ebooks kunnen niet geannuleerd of geretourneerd worden.

Samenvatting

This book takes a formal approach to teaching software engineering, using not only UML, but also Object Constraint Language (OCL) for specification and analysis of designed models. Employing technical details typically missing from existing textbooks on software engineering, the author shows how precise specifications lead to static verification of software systems. In addition, data management is given the attention that is required in order to produce a successful software project.

Uses constraints in all phases of software development
Follows recent developments in software technologies
Technical coverage of data management issues and software verification
Illustrated throughout to present analysis, specification, implementation and verification of multiple applications
Includes end-of-chapter exercises and Instructor Presentation Slides

Productspecificaties

Inhoud

Taal: en
Bindwijze: E-book
Oorspronkelijke releasedatum: 15 september 2017
Ebook Formaat: Adobe ePub
Illustraties: Nee

Betrokkenen

Hoofdauteur: Suad Alagić
Hoofduitgeverij: Springer

Lees mogelijkheden

Lees dit ebook op: Android (smartphone en tablet) | Kobo e-reader | Desktop (Mac en Windows) | iOS (smartphone en tablet) | Windows (smartphone en tablet)

Overige kenmerken

Studieboek: Nee

EAN

EAN: 9783319615189

Je vindt dit artikel in

Categorieën: Computers & Informatica

Computertechnologie

Programmeren

Wiskunde voor computerwetenschappers

Compilers & interpreters

Softwareontwikkeling

Boeken
Taal: Engels
Beschikbaarheid: Leverbaar
Boek, ebook of luisterboek?: Ebook
Studieboek of algemeen: Studieboeken

Reviews

Nog geen reviews

Hoe controleren en plaatsen wij reviews? Hoe controleren en plaatsen wij reviews?

Negatief, positief, neutraal: we zetten een review altijd online. We controleren wel eerst of ’ie voldoet aan onze reviewvoorwaarden en niet nep is. We controleren ook of ’ie is geschreven door iemand die het artikel heeft gekocht via bol.com en zetten dit er dan bij. De controles gebeuren automatisch, al kijken er soms mensen mee. Bol.com betaalt niet voor reviews. Als een reviewer door een andere partij is vergoed, staat dit in de review zelf.

Kies gewenste uitvoering

Bindwijze : E-book

Prijsinformatie en bestellen

De prijs van dit product is 69 euro.

Direct beschikbaar

Verkoop door bol

Software Engineering: Specification, Implementation, Verification

69,00 verkoop door: bol.com

Ebook

E-book is direct beschikbaar na aankoop
E-books lezen is voordelig
Dag en nacht klantenservice
Veilig betalen

Houd er rekening mee dat je downloadartikelen niet kunt annuleren of retourneren. Bij nog niet verschenen producten kun je tot de verschijningsdatum annuleren.

Zie ook de retourvoorwaarden