Sciweavers

15636 search results - page 357 / 3128
» Modelling by supersaturated designs
Sort
View
FDL
2006
IEEE
16 years 26 days ago
Formalizing TLM with Communicating State Machines
Transaction Level Models are widely being used as high-level reference models during embedded systems development. High simulation speed and great modeling flexibility are the ma...
Bernhard Niemann, Christian Haubelt
WSC
2004
15 years 8 months ago
Foundations of Validating Reusable Behavioral Models in Engineering Design Problems
We present a conceptual framework for validating reusable behavioral models. The setting for this work is a modern product development environment in which design is performed by ...
Richard J. Malak, Christiaan J. J. Paredis
TAMODIA
2007
15 years 8 months ago
Articulating Interaction and Task Models for the Design of Advanced Interactive Systems
Mixed Interactive Systems (MIS) is a generic term encompassing mixed and augmented reality, augmented virtuality, and tangible interfaces systems. The work we present in this paper...
Syrine Charfi, Emmanuel Dubois, Rémi Bastid...
ICSE
2008
IEEE-ACM
16 years 7 months ago
Automatic modularity conformance checking
According to Parnas's information hiding principle and Baldwin and Clark's design rule theory, the key step to decomposing a system into modules is to determine the desi...
Sunny Huynh, Yuanfang Cai, Yuanyuan Song, Kevin J....
OOPSLA
2009
Springer
15 years 11 months ago
MT-scribe: a tool for recording and inferring model transformations
The traditional model transformation approach is to write transformation programs in a specialized language. Although such languages provide powerful capabilities to automate mode...
Yu Sun, Jeff Gray, Jules White