426 search results - page 19 / 86 » Towards Verifying Model Transformations |
ECMDAFA
2010
Springer
14 years 2 months ago
2010
Springer
Successful application of model-driven engineering approaches requires interchanging a lot of relevant data among the tool ecosystem employed by an engineering team (e.g., requirem...
MEMOCODE
2007
IEEE
14 years 4 months ago
2007
IEEE
The always increasing complexity of digital system is overcome in design flows based on Transaction Level Modeling (TLM) by designing and verifying the system at difbstraction le...
BMCV
2000
Springer
14 years 2 months ago
2000
Springer
First IEEE International Workshop on Biologically Motivated Computer Vision, Seoul, Korea (May 2000). There is considerable evidence that object recognition in primates is based o...
ADAEUROPE
2010
Springer
13 years 7 months ago
2010
Springer
Real-Time (RT) systems exhibit specific characteristics that make them particularly sensitive to architectural decissions. Design patterns help integrating the desired timing behav...
IFIP
2007
Springer
14 years 4 months ago
2007
Springer
The paper describes a conceptual framework for model-driven development based on concise application of UML and modeling tool functionality. A case study of modeling software for l...