Sciweavers

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

109

ICFEM
2000
Springer

favoriteEmaildiscussreport

269views Software Engineering» more ICFEM 2000»

Formal Foundations of Object-Oriented Modeling Notations

15 years 1 months ago

Formal Foundations of Object-Oriented Modeling Notations

Download www.lifia.info.unlp.edu.ar

Claudia Pons, Gabriel Baum

Real-time Traffic

ICFEM 2000 | Software Engineering |

claim paper

Related Content

» A Framework for Semantics of UML Sequence Diagrams in PVS

» A Pragmatic Approach to Formalizing ObjectOriented Modeling and Development

» vPromela A Visual ObjectOriented Language for SPIN

» Linking EventB and Concurrent ObjectOriented Programs

» ModelBased Testing of ObjectOriented Reactive Systems with Spec Explorer

» Universal Arrow Foundations for Visual Modeling

» On the Use of Coloured Petri Nets for ObjectOriented Design

» Role Activity Diagrams as Finite State Processes

» Formal Verification of Condition Data Flow Diagrams for Assurance of Correct Network Proto...

Post Info
More Details (n/a)

Added	24 Aug 2010
Updated	24 Aug 2010
Type	Conference
Year	2000
Where	ICFEM
Authors	Claudia Pons, Gabriel Baum

Comments (0)