Technical Program
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é
Pontus Johnson [Talk slide] [video]
Coffee
11:00 – 12:00 Aspects of theories I
Per Runeson, Theory Building Attempts in Software Engineering [Talk slide] [video]
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
Harlod Lawson, Software Engineering in the System Context [Talk slide] [video]
Lunch
13:15 – 14:00 Aspects of theories II
Jürgen Börstler, The Importance of Empirical Software Engineering
Howell Jordan and Rem Collier, Measuring Quality: A Cornerstone of Theory in Software Engineering [Talk slide] [video]
Pontus Johnson and Iaakov Exman, Requirements on theories of software engineering [Talk slide] [video]
14:00 – 15:00 Discussion: What are the objectives of a theory of software engineering? How can a theory be of use in practice?
Coffee
15:30 – 16:30 Discussion: What questions should a theory of software engineering answer?
16:30 – 17:00 Invited presentation
Capers Jones, Software Excellence [Talk slide] [video]
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]
Ilia Bider, Knowledge Transformation in Software Development Processes [Talk slide] [video]
Coffee
10.00 – 10:45 Theory proposals II
Hannu-Matti Järvinen and Mikko Tiusanen, States and Transformations for Software Engineering Theory [Talk slide] [video]
Iaakov Exman, Linear Software Models [video]
Ekkart Kindler, On the dimensions of software documents – An idea for framing the SE process [Talk slide] [video]
10:45 - 12:00 Discussion: What should the main elements of a general theory of software engineering be?
Lunch
13:15 - 14:30 Discussion: What are the most important qualities of a general theory of software engineering?
Coffee
15:00 – 15:30 GTSE Summary
15:30 - 16:00 Joint GTSE-PFSE summary