Blog

You can register for the event here. Thanks Miguel for this opportunity. Event details (spanish): Towebs & MSDN lo invitan a conocer las herramientas más innovadoras para el desarrollo web en plataforma Windows. Las charlas, están orientadas a programadores...

I know I promised a mini DEVS model for this post. But I bumped into this interesting thing and I wanted to share it. We are currently working on a JSF web application which has a GWT component in it. To debug the app, we have to compile the GWT...

Generating 3D trees

One simple way to make arithmetic expressions in lambda calculus, is just to extend the calculus with the arithmetic rules: (λx.(λy. x+y)) 2 3 → (λy. 2+y) 3 → 2+3 = 5 But that’s pretty easy for us, and (as you problably have already noticed) we like...

The new feature encapsulated by MatcherAttibute in Moq allows developers to create quite easy argument matchers. In a scenario with a Customer class and a IFooService: public class Customer { public string Name { get; set; } public int Age

Just to gather new tools to help me in my M. Sc. thesis, I’m taking a course on Discrete Event Simulation. This course in fact is not as general as its name may suggest. It focuses mainly on modelling with a formalism called DEVS (which stands for...

From the Wikipedia: “calculus can refer to any method or system of calculation”, and that’s not an exception for the Lambda Calculus. First of all, lets define the terms of this calculus: A Lambda Term is something with the form x where x is in...

In my quest for making every piece of code testable, I run across the requestor pattern. You won’t find it doing a Google search. I first saw it in many places in JDT’s source code. The idea is separating an extraction of information (a processor)...

In the first part of the article, we showed how to let a JSF bean drive a GWT module through an exposed JavaScript API. Now we’ll see how to make a GWT module raise events in a way such that a call to the server is made letting it respond accordingly...

A Term Rewriting System (TRS) is a very powerful yet simple math tool used, for instance, for the creation of computational models. Given a set of function symbols S, and an (uncountable) set of variables V, I will define rewriting rule by example...