During ICSE’16, Gail gave a keynote talk. I collected tweets from the #icse16 hashtag and put them together in Storify. You can find the result here: https://storify.com/MFamelis/gail-murphy-s-keynote-at-icse16 Gail’s slides are here: Is Continuous Adoption in Software …
-
-
Gail Murphy’s keynote at ICSE’16
-
Webinar: MMINT — A Graphical Tool for Interactive Model Management
Model Management addresses the accidental complexity caused by the proliferation of models in software engineering. It provides a high-level view in which entire models and their relationships (i.e., mappings between models) can be manipulated using …
-
On publishing the “obvious”
As a requirement for the course “Advanced Propositional Reasoning” that I’m taking, today I did a presentation of a very very interesting paper titled Empirical study of the anatomy of modern SAT solvers. You can …
-
What is “Computer Science” ?
-
Slides for “Partial Models: A Position Paper”
I’ve uploaded the slides for the talk I’m going to give tomorrow at the MoDeVVa 2011 workshop. You can download them here.
-
Aspect oriented modeling
A very interesting Google Tech Talk. I kinda expected to see attributed graph grammars pop up when he started discussing the rule-based transformation approach. I wander if a declarative approach could also work.
-
The Unbearable Stupidity of Modeling
Presentation (direct link) by Ed Merks (head of the Eclipse Modeling Project) and Peter Friese. I found it at Jordi’s excellent modeling website. PS. Slide 37 is like the best slide ever.
-
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 …
