Picture of Modular Specification and Verification of Object–Oriented Programs (Lecture Notes in Computer Science)

Modular Specification and Verification of Object–Oriented Programs (Lecture Notes in Computer Science)

Peter Mueller

Springer

March 2002

Paperback, 306 pages

ISBN: 3540431675

Business Analyst Training IIBA endorsed
On-Site and On-Line Training Courses for Business Analysts

This book presents new techniques for the formal specification and verification of object–oriented software. Since modularity is of critical importance for reuse and component–based programming, special emphasis is given to the completeness of the presented specification techniques to allow module verification based on the specification of the imported modules. A formal framework developed for a Java subset illustrates these new techniques.

 

Buy from Amazon
Share

Free Business Analyst Skills Test for CBAP
Share

Business Analysis for Information Technology products

Picture of Logitech Wireless Keyboard K250 (Dark Fleur)

"Logitech Wireless Keyboard K250 (Dark Fleur)

Picture of Apple MacBook Pro MC374LL/A 13.3–Inch Laptop

"Apple MacBook Pro MC374LL/A 13.3–Inch Laptop

Picture of Post–it ® Easel Pad, Self–Stick, Tabletop, 20 Inches x 23 Inches, White, 20 Sheets per Pad

"Post–it ® Easel Pad, Self–Stick, Tabletop, 20 Inches x 23 Inches, White, 20 Sheets per Pad

Picture of Globe 5203801 Energy Saving Desk Lamp, Metallic Silver

"Globe 5203801 Energy Saving Desk Lamp, Metallic Silver

Picture of Toshiba NB505–N508BL 10.1–Inch Netbook (Blue)

"Toshiba NB505–N508BL 10.1–Inch Netbook (Blue)

Picture of Spracht Aura SOHO Full–Duplex Analog Conference Phone with Expandable Capability

"Spracht Aura SOHO Full–Duplex Analog Conference Phone with Expandable Capability

Picture of Fellowes DS–3 10 Sheet Cross–Cut Shredder (3231001)

"Fellowes DS–3 10 Sheet Cross–Cut Shredder (3231001)

Picture of ViewSonic‘s VA2231WM 22–Inch Widescreen LCD Monitor with Speakers, DVI and Energy Star 5.0 (Black)

"ViewSonic‘s VA2231WM 22–Inch Widescreen LCD Monitor with Speakers, DVI and Energy Star 5.0 (Black)

Picture of Post–it ® Super Sticky Self–Stick Easel Pads, Yellow Lined Paper, 25 Inches x 30 Inches, 30 Sheets per Pad, 2 Pads per Pack

"Post–it ® Super Sticky Self–Stick Easel Pads, Yellow Lined Paper, 25 Inches x 30 Inches, 30 Sheets per Pad, 2 Pads per Pack

Picture of ASUS Eee PC 1001PXD–EU17–BU 10.1–Inch Netbook (Blue)

"ASUS Eee PC 1001PXD–EU17–BU 10.1–Inch Netbook (Blue)