|
Date |
Speaker(s) |
Title |
|
Oct 14, 2013 |
no meeting |
|
|
Oct 21, 2013 |
Yishai Feldman
|
Software and Systems
Engineering: A Disaster? |
|
Oct 28, 2013 |
Itai Segall, IBM HRL |
MSD-based test generation for
Software-intensive Systems |
|
Nov 4, 2013 |
no meeting (HVC
this week) |
|
|
Nov 11, 2013 |
no meeting |
|
|
Nov 18, 2013 |
Ivan Beschastnikh, UBC (remote talk) |
Modeling Systems from Logs of
their Behavior |
|
Nov 25, 2013 |
Aharon Abadi |
Codeless Screen-Oriented
Programming for Enterprise Mobile Applications
|
|
Dec 2, 2013 |
Julia Rubin, IBM HRL |
N-way
Merge: Merging Multiple Models |
|
Dec 9, 2013 |
Irit Hadar, University
of Haifa |
Examining Software
Development in Practice: The Cognitive Perspective |
|
Dec 16, 2013 |
no meeting |
|
|
Dec 23, 2013 |
Daniel Jackson, MIT |
Rethinking software
design by analyzing state structure |
|
Dec 30, 2013 |
no meeting |
|
|
Jan 6, 2014 |
Nir Koblenc, Open U |
Purification of Esterel programs |
|
Jan 13, 2014 |
no meeting |
|
|
|
|
|
|
Feb 17, 2014 |
Nikolai Tillman, Peli
de Halleux, Microsoft Research (remote talk) |
TouchDevelop: Cloud-based
Scripting on and for Touch-based Devices |
|
Feb 24, 2014 |
Eran Yahav, Technion |
PRIME: programming with Millions
of Examples |
|
Mar 3, 2014 |
Barak Cohen |
Semantically Configurable
Analysis of Scenario-Based Specifications |
|
Mar 10, 2014 |
no meeting |
|
|
Mar 17, 2014 |
José Juan Dominguez Veiga,
MIT (remote talk) |
MIT
App Inventor: Enabling Personal Mobile Computing. |
|
Mar 24, 2014 |
Jan Oliver Ringert |
Crosscutting Structural Views for Component
and Connector Models: Verification and Synthesis |
|
Mar 31, 2014 |
no meeting |
|
|
Apr 7, 2014 |
no meeting, due to Embedded Computer Systems RD&E |
|
|
Apr 28, 2014 |
Nir Hauser, Technion |
COARA: Code offloading on Android with RMI and AspectJ |
|
May 12, 2014 |
Special talk, in Open U. Ramat Aviv: Jan Vitek, Purdue University |
The once and future R: a language for data analytics |
|
May 19, 2014 |
Shah Rukh Humayoun, University of Kaiserslautern, Germany (remote talk) |
Designing for the Current Mobile
Paradigm |
|
May 26, 2014 |
Maayan Goldstein, IBM |
System Grokking - Software Architecture Understanding, Validation, and Evolution |
|
June 2, 2014 |
no meeting |
|
|
June 9, 2014 |
Ohad Shai |
Continuous Delivery with Codeine |
|
|
|
|
|
Sept 7,11:00 |
Matthias Weidlich, Imperial College London Cancelled! |
A Declarative Angle to Process Model Analysis - The 4C Spectrum of Behavioural Relations |