4476 search results - page 195 / 896 » Modeling software architectures in the Unified Modeling Lang... |
152
click to vote
SCAM
2008
IEEE
16 years 29 days ago
2008
IEEE
An appropriate translation of the data model is central to any language migration effort. Finding a mapping between original and target data models may be challenging for legacy l...
158
click to vote
TIC
1998
Springer
15 years 10 months ago
1998
Springer
In previous work, we presented a Typed Assembly Language (TAL). TAL is sufficiently expressive to serve as a target language for compilers of high-level languages such as ML. More...
186
click to vote
JCIT
2010
15 years 1 months ago
2010
This study explores the construction of an intermediary as a product knowledge-sharing system for design industry with the advanced features of the Extensible Markup Language (XML...
167
click to vote
VSTTE
2005
Springer
16 years 2 days ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...
151
click to vote
PDPTA
2003
15 years 8 months ago
2003
In this paper, precedence constraint combination formalisms defined in the software domain are used to define the behavior of hardware systems. Specifically, AND-join and various ...