690 search results - page 86 / 138 » Software Development in a Hardware Simulation Environment |
ATVA
2008
Springer
13 years 10 months ago
2008
Springer
UPPAAL PORT is a new tool for component-based design and analysis of embedded systems. It operates on the hierarchically structured continuous time component modeling language Save...
CODES
1999
IEEE
14 years 11 days ago
1999
IEEE
o much higher levels of abstraction than today's design practices, which are usually at the level of synthesizable RTL for custom hardware or Instruction Set Simulator (ISS) f...
ICMAS
2000
13 years 9 months ago
2000
In this paper we develop a notion of "objective trust" for Software Agents, that is trust of, or between, Agents based on actual experiences between those Agents. Experi...
OOPSLA
2009
Springer
14 years 2 months ago
2009
Springer
Model evolution is often supported by writing model transformation rules in specialized languages. This presents challenges to those who are unfamiliar with model transformation l...
ICECCS
2009
IEEE
14 years 2 months ago
2009
IEEE
Collaborative development, incremental design and revision management require the ability to compare different versions of software artifacts. There are well-established approache...