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