3827 search results - page 409 / 766 » The Epsilon Generation Language |
157
click to vote
TPHOL
2005
IEEE
16 years 10 days ago
2005
IEEE
Using the HOL theorem prover, we proved the correctness of a translation from a subset of Accellera’s property specification language PSL to linear temporal logic LTL. Moreover,...
152
click to vote
VL
2005
IEEE
16 years 10 days ago
2005
IEEE
We present a semi-automatic debugger for spreadsheet systems that is specifically targeted at end-user programmers. Users can report expected values for cells that yield incorrec...
186
click to vote
VL
2005
IEEE
16 years 10 days ago
2005
IEEE
Abstract— Visualizing software architecture faces the challenges of both data complexity and visual complexity. This paper presents an approach for visualizing software architect...
174
click to vote
CAISE
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. As personalization and device independence become prominent issues in Web development, tools to adapt existing Web Information Systems (WISs) are required. Still, current...
191
click to vote
CAISE
2005
Springer
16 years 9 days ago
2005
Springer
: In this paper, we propose an MDA based approach for developing multi-agent systems. MDA specifies a structured software development process divided in modeling stages. In the PIM...