In the course of my Empirical Methods course, I recently read “Let’s go to the whiteboard: how and why software developers use drawings“, a case study conducted by Microsoft Research on MS employees. Of course, …
Blog
-
-
Graph of NP-Complete Problems
Check out this wonderful graph of NP-Complete Problems. It even links individual problems to their Wikipedia articles! (via @dialecti) Update: I just discovered that Christian already posted it here. That’s a weird coincidence. Maybe my …
-
Automotive SE
I’ve just read “Challenges in Automotive Software Engineering” by Manfred Broy, and I can almost feel my mind tickling. The article is a bird’s-eye view of the challenges that the automotive industry faces with regard …
-
Category feeds are perfectly good
I just got an email from one of the people whose blogs are syndicated in the Planet, who asked me to not syndicate the feed for his entire blog, but the feed that is generated …
-
How Planet DCS@UofT was set up
So, the whole fat rhetorical stuff has nicely been put away in the previous post and now I can comfortably get a bit greasy about how Planet DCS@UofT was set up. For one thing, a …
-
Pollination and aggregators
During yesterday’s meeting for Greg Wilson‘s CSC2125S course (“the consulting course”), the issue was raised of students using social media (blogs, twitter etc) to communicate their projects, research and academic life in general. As Carolyn …
-
Warm, fuzzy awesomeness.
-
BPM, M2, DSL
I stumbled across this very interesting article named “BPM is not Software Engineering” by Keith Swenson, which I very much recommend for reading. It makes the point that while Business Process Management looks a lot …
-
Monitoring and diagnosing software requirements
Yet another presentation, this time for my Conceptual Modeling course. I read and presented the paper “Monitoring and diagnosing software requirements” by Yiqiao Wang, Sheila McIlraith, Yijun Yu and John Mylopoulos. The paper is about …
-
RaceFuzzer
As a requirement of my Algorithmic Software Verification course, I prepared a presentation of Koushik Sen‘s paper “Race Directed Random Testing of Concurrent Programs“. The paper is basically introducing RaceFuzzer, an algorithm for determining real …
