InfoQ Homepage News
-
Spec# and Boogie Released on CodePlex
The source code for Spec# is now available on CodePlex under the Microsoft Research Shared Source License Agreement (non-commercial use only). It’s code verification tools, named Boogie, has been released under the Microsoft Public License, which conforms to Free/Open Source standards.
-
NHibernate LINQ Provider Released
NHibernate Linq 1.0 has been released. Based on the stable provider from NHibernate Contrib, NHibernate Linq 1.0 is a LINQ provider that supports most operations available through the NHibernate criteria query API.
-
Comparing Value, Velocity and Value Velocity
An implicit assumption made by most Agile teams is that 'value' is directly proportional to the 'velocity' of the team. While this may be true in some cases, however mostly, the team velocity gives little indication on the true value delivered.
-
-
'State of Agile' Survey Open
The fourth annual 'State of Agile' survey is open for public participation. The 6-page survey takes 5 to 10 minutes to complete and participants remain anonymous. Over the past 3 years the survey, sponsored by VersionOne, has gauged how widely agile practices have been adopted, as well as the results obtained.
-
A Preview of Version 2 of ASP.NET MVC
Microsoft has released the first preview for their ASP.NET MVC v2. Highlights include a new plugable validation model, sub-projects for dividing up large websites, and an enhanced templating model.
-
JBoss Netty 3.1 Released
Netty 3.1.0 was recently released by the JBoss Community and is another option when writing client/server network applications.
-
Future of the Threading and Garbage Collection in Ruby - Interview with Koichi Sasada
InfoQ caught up with the creator of Ruby 1.9.x's VM Koichi Sasada to talk about what's coming for Ruby 1.9.2, the state of the Global Interpreter Lock (or Global VM Lock) and what it'll take to get a generational GC in 1.9.x.
-
Is CRUD Bad for REST?
In his new post, Arnon Rotem-Gal-Oz explains that REST is more than just a set of standards and APIs, and it requires following REST architectural principles for reaping its complete benefits.
-
Generating Linux Appliances from Visual Studio
Novell has released SUSE Studio, a tool used for creating Linux appliances. Related to that, the Mono team has created a plug-in to generate such SUSE powered appliances from within Visual Studio.
-
Interview on Wolfram|Alpha, a Computational Knowledge Engine
Wolfram|Alpha was launched two months ago. It is time to review a few frequently asked questions: What is the relationship between Wolfram|Alpha and Google? How would Wolfram|Alpha position itself in the market? To what extent is Wolfram|Alpha a Semantic Web search engine? And how could Wolfram| Alpha make profit in the market? An interview with Xiang Wang, Wolfram Research, China.
-
IronRuby and the Road to 1.0
IronRuby was originally announced by Microsoft at MIX'07 and two years later developers are wondering where is version 1.0. InfoQ interviewed John Lam My in January of 2008, where John indicated the team was looking for release in the second half of the year, but that did not materialize.
-
EU Software Libability lawsuit: half say unit testing is the answer
52% of the .NET developers surveyed by Typemock think that unit testing can help companies avoid law suits associated with the proposed EU software liability bill. What does this say?
-
HyperSpace, a Browsing Environment with a Small Footprint
Phoenix Technologies has created HyperSpace, a small OS that supports only browsing. HyperSpace precedes Google Chrome OS which is supposed to offer the same functionality with some differences.
-
Partition Your Backlog for Maximum Mileage
Backlogs have been under constant criticism for quite some time now. Mary Poppendieck suggested that the product backlog should be eliminated if it is not satisfying the desired purpose. Serge Beaumont suggested an interesting way of partitioning the backlog such that it maps to a flow and makes the backlog worthy for existence.