Sciweavers

Share
14 search results - page 1 / 3
» Debugging temporal specifications with concept analysis
Sort
View
PLDI
2003
ACM
9 years 1 months ago
Debugging temporal specifications with concept analysis
Glenn Ammons, David Mandelin, Rastislav Bodí...
ICRA
2002
IEEE
96views Robotics» more  ICRA 2002»
9 years 1 months ago
A Suite of Tools for Debugging Distributed Autonomous Systems
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...
David Kortenkamp, Reid G. Simmons, Tod Milam, Joaq...
MATES
2005
Springer
9 years 1 months ago
LEADSTO: A Language and Environment for Analysis of Dynamics by SimulaTiOn
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...
Tibor Bosse, Catholijn M. Jonker, Lourens van der ...
CCGRID
2006
IEEE
9 years 2 months ago
Component-Based Modeling, Analysis and Animation
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 ...
Jeff Kramer
DSVIS
2005
Springer
9 years 1 months ago
Mapping ConcurTaskTrees into UML 2.0
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 ...
Leonel Nóbrega, Nuno Jardim Nunes, Helder C...
books