The new way that we are going to look at computers:
http://www.microsoft.com/surface/
Wednesday, May 30, 2007
Thursday, May 10, 2007
Visual Studio codename "Orcas" beta 1
Labels:
Beta,
Programming,
Visual Studio
Friday, April 20, 2007
SVG Tutorials
Here are the tutorials I've used for my project:
http://www.w3schools.com/svg/default.asp
http://apike.ca/prog_svg.html
http://www.adobe.com/svg/basics/intro.html
If you have any other good tutorials, leave a comment, or email me.
http://www.w3schools.com/svg/default.asp
http://apike.ca/prog_svg.html
http://www.adobe.com/svg/basics/intro.html
If you have any other good tutorials, leave a comment, or email me.
Tuesday, April 3, 2007
SVG Tiny 1.2 Final Specification ?
The latest Scalable Vector Graphics (SVG) Tiny 1.2 Specification was Candidate Recommendation of W3C in 10 august 2006.
When will the final specifications be ready ?
When will the final specifications be ready ?
Labels:
Specification,
SVG,
Tiny
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)