Sciweavers

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

6

JOT
2002

favoriteEmaildiscussreport

62views more JOT 2002»

Debugging UML Designs with Model Checking

13 years 4 months ago

Debugging UML Designs with Model Checking

Download www.lcc.uma.es

María-del-Mar Gallardo, Pedro Merino, Ernes

Real-time Traffic

JOT 2002 |

claim paper

Related Content

» UMLbased design test generation

» Designing Procedural 4GL Applications through UML Modeling

» Runtime conformance checking of mobile and distributed systems using executable models

» Test ready UML statechart models

» Contradictory antecedent debugging in bounded model checking

» UMLAnalyzer A Tool for the Instant Consistency Checking of UML Models

» Using Model Checking to Debug Device Firmware

» Verification of Good Design Style of UML Models

» Monitoring with Behavior View Diagrams for Debugging

Post Info
More Details (n/a)

Added	22 Dec 2010
Updated	22 Dec 2010
Type	Journal
Year	2002
Where	JOT
Authors	María-del-Mar Gallardo, Pedro Merino, Ernesto Pimentel

Comments (0)