Sciweavers

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

71

Voted

CASCON
2000

favoriteEmaildiscussreport

98views Education» more CASCON 2000»

Model checking the composition of hypermedia design components

14 years 11 months ago

Model checking the composition of hypermedia design components

Download www.utdallas.edu

Jing Dong

Real-time Traffic

CASCON 2000 | CASCON 2007 |

claim paper

Related Content

» Design Issues for a DexterBased Hypermedia System

» Automatic Compositional Reasoning for Probabilistic Model Checking of Hardware Designs

» MCF A Metamodelingbased Visual Component Composition Framework

» Web Service Interactions Analysis and Design

» On Analysis of Design Component Contracts A Case Study

» Towards a UML Extension for Hypermedia Design

» A framework for rapid integration of presentation components

» A Design Toolkit for Hypermedia Applications Based on Ariadne Development Method

» A Compositional Semantic Theory for Synchronous Componentbased Design

Post Info
More Details (n/a)

Added	01 Nov 2010
Updated	01 Nov 2010
Type	Conference
Year	2000
Where	CASCON
Authors	Jing Dong

Comments (0)