Till sidans topp

Sidansvarig: Webbredaktion
Sidan uppdaterades: 2013-08-15 14:34

Tipsa en vän
Utskriftsversion

Programvaruteknik - Göteborgs universitet Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

Programvaruteknik

Del av forskningsområdet Data- och informationsvetenskap

Senaste publikationer

Towards Efficient Analysis of Variation in Time and Space
T. Thum, L. Teixeira, K. Schmid, E. Walkingshaw, Mukelabai Mukelabai et al.
SPLC '19: Proceedings of the 23rd International Systems and Software Product Line Conference - Volume B. pp. 57–64, ACM, Paper i proceeding 2020
Paper i proceeding

Facing the truth: Benchmarking the techniques for the evolution of variant-rich systems
Daniel Strüber, Mukelabai Mukelabai, Jacob Krüger, Stefan Fischer, Lukas Linsbauer et al.
SPLC'19: Proceedings of the 23rd International Systems and Software Product Line Conference, Vol A, pp. 177-188, ACM, Paper i proceeding 2020
Paper i proceeding

Migrating Java-Based Apo-Games into a Composition-Based Software Product Line
Jamel Debbiche, Oskar Lignell, J. Kruger, Thorsten Berger
SPLC '19: Proceedings of the 23rd International Systems and Software Product Line Conference - Volume A. pp. 98–102, ACM, Paper i proceeding 2020
Paper i proceeding

Usage Scenarios for a Common Feature Modeling Language
Thorsten Berger, P. Collet
SPLC '19: Proceedings of the 23rd International Systems and Software Product Line Conference - Volume B. pp. 174–181, ACM, Paper i proceeding 2020
Paper i proceeding

Migrating the Android Apo-Games into an Annotation-Based Software Product Line
J. Akesson, S. Nilsson, J. Kruger, Thorsten Berger
SPLC '19: Proceedings of the 23rd International Systems and Software Product Line Conference - Volume A. pp. 103-107, ACM, Paper i proceeding 2020
Paper i proceeding

A Flipped Classroom Approach to Teaching Empirical Software Engineering
Lucas Gren
IEEE Transactions on Education, Artikel i vetenskaplig tidskrift 2020
Artikel i vetenskaplig tidskrift

Group-Development Psychology Training: The Perceived Effects on Agile Software-Development Teams
Lucas Gren, Alfredo Goldman, Christian Jacobsson
IEEE Software, Artikel i vetenskaplig tidskrift 2020
Artikel i vetenskaplig tidskrift

Beyond Connected Cars: a Systems of Systems perspective
Patrizio Pelliccione, Eric Knauss, Magnus Ågren, Rogardt Heldal, Carl Bergenhem et al.
Science of Computer Programming, Artikel i vetenskaplig tidskrift 2020
Artikel i vetenskaplig tidskrift

Visar 51 - 57 av 57

Namn Titel Organisation
Steghöfer, Jan-Philipp Universitetslektor Testing, Requirements, Innovation and Psychology (SE-TRIP)
Torgersson, Olof Universitetslektor Interaktionsdesign
Torkar, Richard Professor Testing, Requirements, Innovation and Psychology (SE-TRIP)
Tuma, Katja Doktorand Cyber Physical Systems (SE-CPS)
Wallgren Tengberg, Lars Göran Universitetslektor Psykologiska institutionen

Visar 51 - 57 av 57

Visar 501 - 510 av 515

2007

Integration of a Security Type System into a Program Logic
Reiner Hähnle, Jing Pan, Philipp Rümmer, F. Walter
Proc. 2nd Symposium on Trustworthy Global Computing, Lucca, Italy, Springer-Verlag LNCS, Paper i proceeding 2007
Paper i proceeding

The KeY system 1.0 (Deduction Component)
Bernhard Beckert, Martin Giese, Reiner Hähnle, Vladimir Klebanov, Philipp Rümmer et al.
Automated Deduction - CADE-21, 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings, Springer-Verlag, LNCS, Paper i proceeding 2007
Paper i proceeding

Verifying Object-Oriented Programs with KeY: A Tutorial
Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Philipp Rümmer, Peter H. Schmitt
Formal Methods for Components and Objects, eds. de Boer, Bonsangue, Graf, de Roever, Paper i proceeding 2007
Paper i proceeding

Synaps – a Modular Online Personal Digital Assistant System for Hospitals
Claes Strannegård, Olof Torgersson, Bengt Persson
2nd Conference on Human Factors Engineering in Health Informatics, 7-8 June 2007, Århus, Denmark , Poster (konferens) 2007
Poster (konferens)

2006

A pattern for almost compositional functions
Björn Bringert, Aarne Ranta
Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming, Portland, Oregon, USA, September 18-20, 2006, Paper i proceeding 2006
Paper i proceeding

A Quality Model for Design Documentation in Model-centric Projects
Lars Pareto, Urban Boquist
Proceedings of the Third International Workshop on Software Quality Assurance (SOQUA 2006), Portland, Oregon, USA, Paper i proceeding 2006
Paper i proceeding

Costs and Benefits of Structure-aware Capture/Replay tools for Graphical User Interface Testing
Erik Sjösten-Andersson, Lars Pareto
Proceedings of the Sixth Conference on Software Engineering Research and Practice in Sweden (SERPS06), Paper i proceeding 2006
Paper i proceeding

2005

Haskell Server Pages through Dynamic Loading
Niklas Broberg
Proceedings of the ACM SIGPLAN 2005 Haskell Workshop, Paper i proceeding 2005
Paper i proceeding

Visar 501 - 510 av 515

Sidansvarig: Webbredaktion|Sidan uppdaterades: 2013-08-15
Dela:

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?