Linked by martini on Tue 23rd Oct 2012 22:02 UTC
X11, Window Managers Wayland 1.0 was officialy released on October 22. Wayland is a protocol for a compositor to talk to its clients as well as a C library implementation of that protocol. The compositor can be a standalone display server running on Linux kernel modesetting and evdev input devices, an X application, or a wayland client itself. The clients can be traditional applications, X servers (rootless or fullscreen) or other display servers.
Permalink for comment 539854
To read all comments associated with this story, please click here.
RE[6]: Comment by stabbyjones
by lucas_maximus on Wed 24th Oct 2012 10:19 UTC in reply to "RE[5]: Comment by stabbyjones"
lucas_maximus
Member since:
2009-08-18

Err well that is called Formal Specification.

http://en.wikipedia.org/wiki/Formal_methods

In some ways it is similar to unit testing except much more rigorous.

Edited 2012-10-24 10:20 UTC

Reply Parent Score: 4