1735 search results - page 215 / 347 » Software visualization |
VL
2009
IEEE
14 years 5 months ago
2009
IEEE
When conceiving of and implementing interactive behaviors, most designers rely on professional software developers to prototype and implement their designs. They often use static ...
WSR
2008
13 years 11 months ago
2008
: TGraphs are directed graphs with typed, attributed, and ordered nodes and edges. These properties leverage the use of graphs as models for all kinds of artifacts in the context o...
VL
2006
IEEE
14 years 4 months ago
2006
IEEE
Many end user programming tools lack adequate support for domain-specific data. We will design a lightweight representation for categories of data, called “topes,” and develop...
ICSE
2003
IEEE-ACM
14 years 10 months ago
2003
IEEE-ACM
We show how the state space exploration tool VeriSoft can be used to analyze parallel C/C++ programs compositionally. VeriSoft is used to check assume/guarantee specifications of ...
PPPJ
2004
ACM
14 years 3 months ago
2004
ACM
This paper discusses the current resurgence of interest in the Linda coordination language for parallel and distributed programming. Particularly in the Java field, there have be...