eBook, PDF

Deriving Object-Oriented Specifications from Algebraic Specifications through Refinement (eBook, PDF)

Sofort per Download lieferbar
18,90 €
inkl. MwSt.
Alle Infos zum eBook verschenken
PAYBACK Punkte
0 °P sammeln!
This thesis presents a formal method how to refine algebraic specifications into object-oriented specifications in a systematic way. Thereby, we highlight the conceptual differences between algebraic specifications and object-oriented modeling. The correctness of the refinement step is established by preserving the models of the algebraic specification respecting a natural semantic relation. The thesis also comprises a basic system model for object-oriented systems and a comprehensive case study demonstrating the refinement step. Moreover, we survey the prototype system ASIOS which is an inter...

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.