Search Sciweavers | Sciweavers

5232 search results - page 80 / 1047

» Generative modeling: a symbolic system for geometric modelin...

164

click to vote

DEPCOS
2006
IEEE

93views Hardware» more DEPCOS 2006»

Model-based Automatic Test Generation for Event-Driven Embedded Systems using Model Checkers

16 years 8 days ago

Download home.mit.bme.hu

Zoltán Micskei, István Majzik

claim paper

Read More »

139

click to vote

ICDCIT
2004
Springer

85views Internet Technology» more ICDCIT 2004»

Generating a Prototype from a UML Model of System Requirements

15 years 11 months ago

Download www.iist.unu.edu

Xiaoshan Li, Zhiming Liu, Jifeng He, Quan Long

claim paper

Read More »

106

click to vote

KBSE
1998
IEEE

78views Software Engineering» more KBSE 1998»

Explanation-based Scenario Generation for Reactive System Models

15 years 10 months ago

Download ase.informatik.uni-essen.de

Robert J. Hall

claim paper

Read More »

190

click to vote

CADUI
1996

107views User Interface» more CADUI 1996»

Issues in Automatic Generation of User Interfaces in Model-Based Systems

15 years 7 months ago

Download www.arpuerta.com

Angel R. Puerta

claim paper

Read More »

120

click to vote

ISSE
2010

156views Security Privacy» more ISSE 2010»

Generating heterogeneous executable specifications in SystemC from UML/MARTE models

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers