Difference between revisions of "The Tracer"

From WeizmannWiki
Jump to: navigation, search
(References)
Line 7: Line 7:
 
[[Image:Tracer Main View and Overview.PNG]]
 
[[Image:Tracer Main View and Overview.PNG]]
  
== References ==  
+
== References ==
  
[http://www.se-rwth.de/~maoz/ Shahar Maoz] and [http://www.wisdom.weizmann.ac.il/~harel/ David Harel]: On tracing reactive systems. Software and Systems Modeling (SoSyM),  2010. DOI= 10.1007/s10270-010-0151-2
+
[http://www.se-rwth.de/~maoz/ Shahar Maoz] and [http://www.wisdom.weizmann.ac.il/~harel/ David Harel]: On tracing reactive systems. ''Software and Systems Modeling'' (SoSyM),  2010. DOI= 10.1007/s10270-010-0151-2

Revision as of 20:15, 4 September 2010

The Tracer is a prototype tool for scenario-based trace visualization and exploration.


A screenshot of the main view of the Tracer is shown below.

Tracer Main View and Overview.PNG

References

Shahar Maoz and David Harel: On tracing reactive systems. Software and Systems Modeling (SoSyM), 2010. DOI= 10.1007/s10270-010-0151-2