MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "On Object-Oriented Design and Verification." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

ATOM

On Object-Oriented Design and Verification
by C. Lewerentz, Th. Lindner, A. Rüping, E. Sekerinski — In Broy and Jähnichen [5
…On Object-Oriented Design and Verification C. Lewerentz, Th. Lindner, A. R��uping, E. Sekerinski…
Cited by 1 (0 self) – Add To MetaCart

Mobile Networks and Applications 8, 75--86, 2003
by Corba Based Design, Mária Törö, Jinsong Zhu, Kangming Liu, Victor C. M. Leung — 1996 — In ACM Principles of Programming Languages, St Petersburg, FL
…-T, and we used ObjectGEODE which is a commercially available tool set supporting object-oriented design…
Add To MetaCart

Corba Based Design And Implementation Of Universal Personal Computing
by Maria Toeroe, Mária Törö, Thong Tri Huynh, Jinsong Zhu, Kanming Liu, Victor Leung — 1996 — In ACM Principles of Programming Languages, St Petersburg, FL
…GEODE which is a commercially available tool set supporting object-oriented design and verification of systems…
Add To MetaCart

A Semantic Framework for Object-Oriented Development
by Tony Clark — 1999
… with an initial design and wish to terminate with an object-oriented design. Verification of the process must 8…
Cited by 3 (0 self) – Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB