Microsoft's bloggin, photo, social something. Seems pretty dead to me - it's online since september 2003, see also http://www.wired.com/news/culture/0,1284,61095,00.html
This list provides a quick overview of the landscape of open-source bibliographic software; both where is has been, but more importantly, where it may yet go.
Research Commissioner Janez Potočnik told the Council that he will establish a group to provide the Spring Council 2006 with recommendations on research investment priorities.
he Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules. It combines the design by contract approach of Eiffel and the model-based specification approach of the Larch family
S. Vahdati, N. Arndt, S. Auer, and C. Lange. Proceedings of 20th International Conference on Knowledge Engineering and Knowledge Management (EKAW'2016), 10024, Heidelberg, Springer Verlag, (November 2016)