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

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

Agile ways of working: A team maturity perspective
Lucas Gren, Alfredo Goldman, Christian Jacobsson
Journal of Software: Evolution and Process, Artikel i vetenskaplig tidskrift 2020
Artikel i vetenskaplig tidskrift

A runtime monitoring framework to enforce invariants on reinforcement learning agents exploring complex environments
Piergiuseppe Mallozzi, Ezequiel Castellano, Patrizio Pelliccione, Gerardo Schneider, Kenji Tei
RoSE 2019, IEEE/ACM 2nd International Workshop on Robotics Software Engineering, p.5-12, IEEE, Paper i proceeding 2019
Paper i proceeding

Coping strategies for temporal, geographical and sociocultural distances in Agile GSD: a Case Study
Dávid Marcell Szabó, Jan-Philipp Steghöfer
41st International Conference on Software Engineering, Software Engineering in Practice Track. 25-31 May, Montreal, QC, Canada 2019, , IEEE, Paper i proceeding 2019
Paper i proceeding

Catching up with Method and Process Practice: An Industry-Informed Baseline for Researchers
J. Klunder, Regina Hebig, P. Tell, M. Kuhrmann, J. Nakatumba-Nabende et al.
IEEE/ACM 41st International Conference on Software Engineering, 25-31 May 2019: Software Engineering in Practice (ICSE-SEIP), IEEE, Paper i proceeding 2019
Paper i proceeding

A Modeling Approach for Bioinformatics Workflows
Laiz Heckmann Barbalho de Figueroa, Rema Salman, Jennifer Horkhoff, Soni Chauhan, Marcela Davila Lopez et al.
The Practice of Enterprise Modeling - 12th {IFIP} Working Conference, PoEM 2019, Luxembourg, Luxembourg, November 27-29, 2019, Proceedings, Springer, Paper i proceeding 2019
Paper i proceeding

Do Internal Software Quality Tools Measure Validated Metrics?
Mayra Nilson, Vard Antinyan, Lucas Gren
Product-Focused Software Process Improvement (PROFES 2019), Springer, Cham, Paper i proceeding 2019
Paper i proceeding

REVaMP2 Project: Towards Round-Trip Engineering of Software Product Lines - Approach, Intermediate Results and Challenges
Andrey Sadovykh, Tewfik Ziadi, Alessandra Bagnato, Thorsten Berger, Jan-Philipp Steghöfer et al.
TOOLS 2019, Springer, Paper i proceeding 2019
Paper i proceeding

Visualization of feature locations with the tool FeatureDashboard
Sina Entekhabi, Anton Solback, Jan-Philipp Steghöfer, Thorsten Berger
Proceedings of the 23rd International Systems and Software Product Line Conference, SPLC 2019, ACM, Paper i proceeding 2019
Paper i proceeding

Visar 51 - 55 av 55

Namn Titel Organisation
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 - 55 av 55

Visar 441 - 450 av 461

2008

Testing Erlang Data Types with Quviq QuickCheck
Thomas Arts, Laura Castro, John Hughes
Proceedings of the 7th ACM SIGPLAN workshop on Erlang, Artikel i vetenskaplig tidskrift 2008
Artikel i vetenskaplig tidskrift

Strategic software process improvement by technology roadmapping
Lars Pareto, Miroslaw Staron, P Eriksson
Proceedings of the Nordic Workshop on Model Driven Engineering NW-MoDE 2008 Reykjavík, Iceland 20-22 August, 2008, Engineering Research Institute, University of Iceland., Paper i proceeding 2008
Paper i proceeding

Ontology guided evolution of complex embedded systems projects in the direction of MDA
Lars Pareto, Miroslaw Staron, P Eriksson
Proceedings of the 11th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008, Lecture Notes in Computer Science (LNCS), Paper i proceeding 2008
Paper i proceeding

Towards a Unified Quality Model for Models- A Working Session at the 2nd workshop on Quality in Modeling
Lars Pareto, Christian Lange, Parastoo Mohagheghi, Vegard Dehlen, Miroslaw Staron et al.
Göteborg University, Rapport 2008
Rapport

2007

Invited talk: Testing Telecommunication software with QuickCheck
Thomas Arts
Computer Aided Systems Theory, Konferensbidrag (offentliggjort, men ej förlagsutgivet) 2007
Konferensbidrag (offentliggjort, men ej förlagsutgivet)

Property based testing with Quviq QuickCheck
Thomas Arts
JAOO developer conference, Konferensbidrag (offentliggjort, men ej förlagsutgivet) 2007
Konferensbidrag (offentliggjort, men ej förlagsutgivet)

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

Visar 441 - 450 av 461

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?