vaklove's Channel

vaklove's Channel
Vaclav Vincalek

Vaclav Vincalek

Icon_feed_rss Icon_feed_atom Bookmark and Share
Filtered by Tags: Checking Software Design Creator: Vaclav Vincalek
Alloy Home Page

Alloy Home Page

Vaclav Vincalek

Vaclav Vincalek in vaklove's Channel

The Alloy Analyzer is a tool developed by the Software Design Group for analyzing models written in Alloy, a simple s...
0
Dependable Software by Design

Dependable Software by Design

Vaclav Vincalek

Vaclav Vincalek in vaklove's Channel

Computers fly our airliners and run most of the world's banking, communications, retail and manufacturing systems. No...
0

Get Gleanr!

What is Gleanr?

Gleanr is the networking engine for digital-age professionals. Get impact (& income!) in the information streams you care about.

How does it work?

Your custom Gleanr channels automate information flow relevant to you. All you do is "click" - we do the rest (instant capture, indexing, and networking).

What is the value?

Gleanr is the only web service where professionals can manage and monetize their expertise.

Is this more web 2.0?

Yes, but for work. Now you can capitalize on your unique ability to filter and enrich professional information streams.

Show me!

Explore the public parts of professional information streams here, or take the Gleanr Tour.
Gleanr Tour

Sign me up!

Join Now