Jens Bæk Jørgensen

Publication Activity (10 Years)

Years Active: 1996-2023
Publications (10 Years): 5

Top Topics

Dispute Resolution

Development Process

Top Venues

ICSE (Workshops)

Publications

Lotte Mygind, Jens Bæk Jørgensen, Lutz Prechelt
A Product Owner's Navigation in Power Imbalance Between Business and IT: An Experience Report. REFSQ (2023)
Jens Bæk Jørgensen, Henrik Lauf Christensen, Søren Thestrup Hansen, Bent Bisballe Nyeng
Effective communication about software in a traditional industrial company: an experience report on development of a new measurement instrument. IWSiB@ICSE (2022)
Christoph Matthies, Mary Sánchez-Gordón, Jens Bæk Jørgensen, Lutz Prechelt
"Communication Is a Scarce Resource!": A Summary of CHASE'22 Conference Discussions. CoRR (2022)
Jens Bæk Jørgensen, Kim Henning Jönsson, Sofie Aaskov Nielsen, Christoffer Øland Skovgaard, Johan Rugager Vase, Mohamed Ghonemi, Rasha Adel Hassan
Requirements Engineering in Implementing IT Support for Scandinavian Healthcare Work Processes Using Outsourced Development in Egypt. ICSE (Workshops) (2020)
Jens Bæk Jørgensen, Bjarne Knudsen, Lennert Sloth, Johan Rugager Vase, Henrik Bærbak Christensen
Variability Handling for Mobile Banking Apps on iOS and Android. WICSA (2016)
Anders Bennett-Therkildsen, Jens Bæk Jørgensen, Kim Nørskov, Niels Mark Rubin
Redefinition of the Requirements Engineer Role in Mjølner's Software Development Process. REFSQ (2013)
Michael Sørensen Loft, Søren Snehøj Nielsen, Kim Nørskov, Jens Bæk Jørgensen
Interplay between requirements, software architecture, and hardware constraints in the development of a home control user interface. TwinPeaks@RE (2012)
Mikkel Yde Kjær, Jens Bæk Jørgensen
Mjølner's Software Process Improvement: A Discussion and Strengthening Using the SPI Manifesto. EuroSPI (2010)
Jens Bæk Jørgensen, Simon Tjell, João M. Fernandes
Formal requirements modelling with executable use cases and coloured Petri nets. Innov. Syst. Softw. Eng. 5 (1) (2009)
R. S. Mans, Wil M. P. van der Aalst, Nick C. Russell, Piet J. M. Bakker, Arnold J. Moleman, Kristian Bisgaard Lassen, Jens Bæk Jørgensen
From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems. Trans. Petri Nets Other Model. Concurr. 3 (2009)
Jens Bæk Jørgensen, Kristian Bisgaard Lassen, Wil M. P. van der Aalst
From task descriptions via colored Petri nets towards an implementation of a new electronic patient record workflow system. Int. J. Softw. Tools Technol. Transf. 10 (1) (2008)
Jens Bæk Jørgensen
Coloured Petri nets and graphical animation: a proposal for a means to address problem frame concerns. Expert Syst. J. Knowl. Eng. 25 (1) (2008)
João M. Fernandes, Jens Bæk Jørgensen, Simon Tjell
Requirements Engineering for Reactive Systems: Coloured Petri Nets for an Elevator Controller. APSEC (2007)
Jens Bæk Jørgensen
Executable Use Cases: A Supplement to Model-Driven Development?. MOMPES (2007)
Lars Bækgaard, Jens Bæk Jørgensen, Kristian Bisgaard Lassen
On Industrial Use of Requirements Engineering Techniques. EMISA (2007)
Jens Bæk Jørgensen, Kristian Bisgaard Lassen
Requirements Engineering for the Adviser Portal Bank System. ECBS (2006)
Jens Bæk Jørgensen, Søren Christensen, Antti-Pekka Tuovinen, Jianli Xu
Tool Support for Estimating the Memory Usage of Mobile Phone Software. Int. J. Softw. Tools Technol. Transf. 8 (6) (2006)
Jens Bæk Jørgensen
Addressing problem frame concerns via coloured petri nets and graphical animation. IWAAPF@ICSE (2006)
Wil M. P. van der Aalst, Jens Bæk Jørgensen, Kristian Bisgaard Lassen
Let's Go All the Way: From Requirements Via Colored Workflow Nets to a BPEL Implementation of a New Bank System. OTM Conferences (1) (2005)
João Paulo Barros, Jens Bæk Jørgensen
A Case Study on Coloured Petri Nets in Object-Oriented Analysis and Design. Nord. J. Comput. 12 (3) (2005)
Jens Bæk Jørgensen
Towards Arguing the Cost-effectiveness of Coloured Petri Nets. Software Engineering Research and Practice (2005)
Søren Christensen, Jens Bæk Jørgensen, Antti-Pekka Tuovinen, Jianli Xu
Estimation of Memory Usage of Mobile Phone Software Using UML and Coloured Petri Nets. ISoLA (Preliminary proceedings) (2004)
Claus Bossen, Jens Bæk Jørgensen
Context-descriptive prototypes and their application to medicine administration. Conference on Designing Interactive Systems (2004)
Jens Bæk Jørgensen, Claus Bossen
Executable Use Cases: Requirements for a Pervasive Health Care System. IEEE Softw. 21 (2) (2004)
Jens Bæk Jørgensen
Coloured Petri Nets in Development of a Pervasive Health Care System. ICATPN (2003)
Jens Bæk Jørgensen, Claus Bossen
Requirements Engineering for a Pervasive Health Care System. RE (2003)
Søren Christensen, Jens Bæk Jørgensen
Teaching Coloured Petri Nets: Examples of Courses and Lessons Learned. Lectures on Concurrency and Petri Nets (2003)
Lars Michael Kristensen, Jens Bæk Jørgensen, Kurt Jensen
Application of Coloured Petri Nets in System Development. Lectures on Concurrency and Petri Nets (2003)
Jens Bæk Jørgensen, Søren Christensen
Executable Design Models for a Pervasive Healthcare Middleware System. UML (2002)
Jens Bæk Jørgensen, Lars Michael Kristensen
Computer Aided Verification of Lamport's Fast Mutual Exclusion Algorithm Using Colored Petri Nets and Occurrence Graphs with Symmetries. IEEE Trans. Parallel Distributed Syst. 10 (7) (1999)
Søren Christensen, Jens Bæk Jørgensen, Lars Michael Kristensen
Design/CPN - A Computer Tool for Coloured Petri Nets. TACAS (1997)
Søren Christensen, Jens Bæk Jørgensen, Kim Halskov Madsen
Design As Interaction with Computer Based Materials. Symposium on Designing Interactive Systems (1997)
Søren Christensen, Jens Bæk Jørgensen
Analysing Bang & Olufsen's BeoLink® Audio/Video System Using Coloured Petri Nets. ICATPN (1997)
Jens Bæk Jørgensen, Kjeld Høyer Mortensen
Modelling and Analysis of Distributed Program Execution in BETA Using Coloured Petri Nets. Application and Theory of Petri Nets (1996)