5775 search results - page 322 / 1155 » A Rationale-based Analysis Tool |
155
click to vote
FUZZIEEE
2007
IEEE
16 years 1 months ago
2007
IEEE
—This paper describes a Java-based graphical user interface to a large number of data analysis programs the first author has written in C over the years. In addition, this toolb...
173
click to vote
ICMCS
2005
IEEE
16 years 11 days ago
2005
IEEE
The paper provides insights into our efforts to develop techniques for the analysis of visual art. The AUTHENTIC project aims at creating a collection of software tools to support...
204
click to vote
EMSOFT
2005
Springer
16 years 8 days ago
2005
Springer
Key challenges in distributed real-time embedded (DRE) system developments include safe composition of system components and mapping the functional specifications onto the target...
158
click to vote
DMSN
2004
ACM
16 years 5 days ago
2004
ACM
In this position paper, we present MEADOWS, a software framework that we are building at HKUST (The Hong Kong University of Science and Technology) for modeling, emulation, and an...
169
click to vote
GC
2004
Springer
16 years 4 days ago
2004
Springer
The DEGAS project aims at enriching standard UML-centred development environments in such a way that the developers of global applications can exploit automated formal analyses wit...