Java Software Development with Event B
A Practical Guide
The cost of fixing software design flaws after the completion of a software product is so high that it is vital to come up with ways to detect software design flaws in the early stages of software development, for instance, during the software requirements, the analysis activity, or during software design, before coding starts.It is not uncommon that software requirements are ambiguous or contradict each other. Ambiguity is exacerbated by the fact that software requirements are typically written in a natural language, which is not tied to any formal semantics. A palliative to the ambiguity of software requirements is to restrict their syntax…
Mehr
CHF 55.50
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V106:
Fremdlagertitel. Lieferzeit unbestimmt
Produktdetails
Weitere Autoren: Baresi, Luciano (Hrsg.)
- ISBN: 978-1-68173-687-7
- EAN: 9781681736877
- Produktnummer: 33552439
- Verlag: Morgan & Claypool Publishers
- Sprache: Englisch
- Erscheinungsjahr: 2020
- Seitenangabe: 100 S.
- Masse: H23.5 cm x B19.1 cm x D0.5 cm 205 g
- Abbildungen: Paperback
- Gewicht: 205
4 weitere Werke von Néstor Cataño Collazos:
Bewertungen
Anmelden