✦ LIBER ✦

Modular specification and verification of object-oriented programs

✍ Scribed by Leavens, G.T.

Book ID: 119782305
Publisher: IEEE
Year: 1991
Tongue: English
Weight: 938 KB
Volume: 8
Category: Article
ISSN: 0740-7459
DOI: 10.1109/52.300040

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Verification of object-oriented programs

Verification of object-oriented programs: A transformational approach

✍ Krzysztof R. Apt; Frank S. de Boer; Ernst-Rüdiger Olderog; Stijn de Gouw 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 369 KB

Modular specification and verification o

Modular specification and verification of XTP

✍ Peter Herrmann; Heiko Krumm 📂 Article 📅 1998 🏛 Springer US 🌐 English ⚖ 714 KB

Modular verification of multithreaded pr

Modular verification of multithreaded programs

✍ Cormac Flanagan; Stephen N. Freund; Shaz Qadeer; Sanjit A. Seshia 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 330 KB

Formal specification and object-oriented

Formal specification and object-oriented design

✍ Mary Buchanan; Carol Britton 📂 Article 📅 1992 🏛 Elsevier Science ⚖ 153 KB

Modeling, specification, and verificatio

Modeling, specification, and verification of automaton programs

✍ E. V. Kuzmin; V. A. Sokolov 📂 Article 📅 2008 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 261 KB

IMPROVING MODULARITY IN OBJECT-ORIENTED

IMPROVING MODULARITY IN OBJECT-ORIENTED FINITE ELEMENT PROGRAMMING

✍ DUBOIS-PÈLERIN, YVES ;PEGON, PIERRE 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 119 KB

Making a ®nite element code easier to maintain is achieved by further modularizing it. Due to its two levels of modularity (of procedures and data), object-oriented programming is the method of choice. Its potential is investigated in two bottlenecks of ®nite element programming where so far it has