Sciweavers

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

44

SFM
2007
Springer

favoriteEmaildiscussreport

134views Formal Methods» more SFM 2007»

From Annotated Software Designs (UML SPT/MARTE) to Model Formalisms

14 years 5 months ago

From Annotated Software Designs (UML SPT/MARTE) to Model Formalisms

Download www.sti.uniurb.it

C. Murray Woodside

Real-time Traffic

SFM 2007 |

claim paper

Related Content

» From UML to LQN by XML algebrabased model transformations

» Pattern Synthesis from Multiple Scenarios for Parameterized RealTime UML Models

» A Metamodel for Generating Performance Models from UML Designs

» Using a Formal Language Constructs for Software Model Evolution

» From UML activity diagrams to Stochastic Petri nets application to software performance en...

» Performance evaluation of UML software architectures with multiclass Queueing Network mode...

» Systemonchip validation using UML and CWL

» A Minimalist Visual Notation for Design Patterns and Antipatterns

» Performance by unified model analysis PUMA

Post Info
More Details (n/a)

Added	09 Jun 2010
Updated	09 Jun 2010
Type	Conference
Year	2007
Where	SFM
Authors	C. Murray Woodside

Comments (0)