Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

3

FM
1990
Springer

favoriteEmaildiscussreport

56views Formal Methods» more FM 1990»

Object Orientation and Formal Techniques

13 years 9 months ago

Object Orientation and Formal Techniques

Download heim.ifi.uio.no

Abstract Ole-Johan Dahl Dept. of Informatics, University of Oslo April 9, 1999

Ole-Johan Dahl

Real-time Traffic

Abstract Ole-Johan Dahl | FM 1990 | Formal Methods |

claim paper

Related Content

» Object oriented concepts identification from formal B specifications

» A Technique for Customizing ObjectOriented Knowledge Representation Systems With An Applic...

» Supplementing ProcessOriented with StructureOriented Design Explanation within Formal Obje...

» Integrating Verification and Testing of ObjectOriented Software

» Validation of Object Oriented Models using Animation

» Temporal Logic Properties of Java Objects

» Using Process Algebra to Validate Behavioral Aspects of ObjectOriented Models

» On Test Script Technique Oriented Automation of Embedded Software Simulation Testing

» A New Formalism to Characterize Contact States Involving Articulated Polyhedral Objects

Post Info
More Details (n/a)

Added	11 Aug 2010
Updated	11 Aug 2010
Type	Conference
Year	1990
Where	FM
Authors	Ole-Johan Dahl

Comments (0)