Monday, March 26, 2007
SVG Viewer for PDA
SVG images (Scalable Vector Graphics) are two-dimensional vector graphics. Most of the internet browsers have a built-in SVG Viewer, but you can't find a free SVG Viewer for a mobile device. That's the purpose of this project. In conformation with SVG Tiny Specification this software tool intends to view static and animated SVG images, and also offer the possibility to interact with these images on devices running Windows CE.
Visual TLA
What is TLA? Well, ... TLA (the Temporal Logic of Actions) is a logic for specifying and reasoning about concurrent and reactive systems. It is the basis for TLA+, a complete specification language. More info can be found at Microsoft's Research Page.
This tool is an IDE (integrated development environment) for the TLA language, with features like:
- ability to run TLA files
- autocomplete
- TEX, DVI and PDF generation via TLA and MikTeX
- option for reading settings from CLASSPATH variable
- error localization from compilation/execution output
Subscribe to:
Posts (Atom)