14 search results - page 1 / 3 » Debugging temporal specifications with concept analysis |
PLDI
2003
ACM
13 years 9 months ago
2003
ACM
ICRA
2002
IEEE
13 years 9 months ago
2002
IEEE
This paper describes a set of tools that allows a developer to instrument an autonomous control system to log data at run-time and then analyze that data to verify correct program...
MATES
2005
Springer
13 years 9 months ago
2005
Springer
This paper presents the language and software environment LEADSTO that has been developed to model and simulate the dynamics of Multi-Agent Systems (MAS) in terms of both qualitati...
CCGRID
2006
IEEE
13 years 10 months ago
2006
IEEE
Component-based software construction is widely used in a variety of applications, from embedded environments to grid computing. However, errors in these applications and systems ...
DSVIS
2005
Springer
13 years 9 months ago
2005
Springer
Abstract. The ConcurTaskTrees (CTT) is one of the most widely used notations for task modeling, specifically tailored for user interface model-based design. The integration of CTT ...