Download GTSE 2012 Proceedings
Thursday, November 8
09:00 – 10:00 Joint GTSE-PFSE introduction
Ivar Jacobson, Michael Goedicke, Arne Berre, Pontus Johnson
10:00 – 10:30 General theories: an exposé
11:00 – 12:00 Aspects of theories I
Tero Päivärinta and Kari Smolander, A Framework for Building Theories from Software Development Practice
Nada Bajnaid, Algirdas Pakštas and Shahram Salekzamankhani, Ontology-Based Modeling of the Software Quality Assurance Knowledge
13:15 – 14:00 Aspects of theories II
Jürgen Börstler, The Importance of Empirical Software Engineering
14:00 – 15:00 Discussion: What are the objectives of a theory of software engineering? How can a theory be of use in practice?
15:30 – 16:30 Discussion: What questions should a theory of software engineering answer?
16:30 – 17:00 Invited presentation
18:30 – Dinner
Friday, November 9
08:30 – 09:00 Invited presentation
Dines Bjørner, A Formal Model of [the] Software Development [process] modulo ‘method' and SEMAT. Presentation slide is at http://www2.imm.dtu.dk/~dibj/semat-s.pdf
09:00 – 09:30 Theory proposals I
Paul Ralph, Sensemaking-Coevolution-Implementation Theory [Talk slide at http://prezi.com/wo732ijeiw3j/sci-theory/] [video]
10.00 – 10:45 Theory proposals II
Iaakov Exman, Linear Software Models [video]
10:45 - 12:00 Discussion: What should the main elements of a general theory of software engineering be?
13:15 - 14:30 Discussion: What are the most important qualities of a general theory of software engineering?
15:00 – 15:30 GTSE Summary
15:30 - 16:00 Joint GTSE-PFSE summary