Jens Bæk Jørgensen

According to our database, Jens Bæk Jørgensen authored at least 36 papers between 1996 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

A Product Owner's Navigation in Power Imbalance Between Business and IT: An Experience Report.

Lotte Mygind, Jens Bæk Jørgensen, Lutz Prechelt

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2023

2022

"Communication Is a Scarce Resource!": A Summary of CHASE'22 Conference Discussions.

Christoph Matthies, Mary Sánchez-Gordón, Jens Bæk Jørgensen, Lutz Prechelt

CoRR, 2022

Effective communication about software in a traditional industrial company: an experience report on development of a new measurement instrument.

Jens Bæk Jørgensen, Henrik Lauf Christensen, Søren Thestrup Hansen, Bent Bisballe Nyeng

Proceedings of the 5th International Workshop on Software-intensive Business: Towards Sustainable Software Business, 2022

2020

Requirements Engineering in Implementing IT Support for Scandinavian Healthcare Work Processes Using Outsourced Development in Egypt.

Jens Bæk Jørgensen, Kim Henning Jönsson, Sofie Aaskov Nielsen, Christoffer Øland Skovgaard, Johan Rugager Vase, Mohamed Ghonemi, Rasha Adel Hassan

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Workshops, Seoul, Republic of Korea, 27 June, 2020

2016

Variability Handling for Mobile Banking Apps on iOS and Android.

Jens Bæk Jørgensen, Bjarne Knudsen, Lennert Sloth, Johan Rugager Vase, Henrik Bærbak Christensen

Proceedings of the 13th Working IEEE/IFIP Conference on Software Architecture, 2016

2015

Requirements problems in the development of a new user interface for healthcare equipment.

Maria Holmegaard, Jens Baek Jorgensen, Michael Sørensen Loft, Martin Stig Stissing

Proceedings of the 23rd IEEE International Requirements Engineering Conference, 2015

2014

Handling design-level requirements across distributed teams: Developing a new feature for 12 Danish mobile banking apps.

Lars Bruun, Mikkel Bovbjerg Hansen, Jorgen Bondergaard Iversen, Jens Baek Jorgensen, Bjarne Knudsen

Proceedings of the IEEE 22nd International Requirements Engineering Conference, 2014

2013

Redefinition of the Requirements Engineer Role in Mjølner's Software Development Process.

Anders Bennett-Therkildsen, Jens Bæk Jørgensen, Kim Nørskov, Niels Mark Rubin

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2013

2012

Interplay between requirements, software architecture, and hardware constraints in the development of a home control user interface.

Michael Sørensen Loft, Søren Snehøj Nielsen, Kim Nørskov, Jens Bæk Jørgensen

Proceedings of the First IEEEInternational Workshop on the Twin Peaks of Requirements and Architecture, 2012

2010

Mjølner's Software Process Improvement: A Discussion and Strengthening Using the SPI Manifesto.

Mikkel Yde Kjær, Jens Bæk Jørgensen

Proceedings of the Systems, Software and Services Process Improvement, 2010

2009

From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems.

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

Trans. Petri Nets Other Model. Concurr., 2009

Formal requirements modelling with executable use cases and coloured Petri nets.

Jens Bæk Jørgensen, Simon Tjell, João M. Fernandes

Innov. Syst. Softw. Eng., 2009

2008

From task descriptions via colored Petri nets towards an implementation of a new electronic patient record workflow system.

Jens Bæk Jørgensen, Kristian Bisgaard Lassen, Wil M. P. van der Aalst

Int. J. Softw. Tools Technol. Transf., 2008

Coloured Petri nets and graphical animation: a proposal for a means to address problem frame concerns.

Jens Bæk Jørgensen

Expert Syst. J. Knowl. Eng., 2008

2007

Executable Use Cases: A Supplement to Model-Driven Development?.

Jens Bæk Jørgensen

Proceedings of the Model-based Methodologies for Pervasive and Embedded Software, 2007

On Industrial Use of Requirements Engineering Techniques.

Lars Bækgaard, Jens Bæk Jørgensen, Kristian Bisgaard Lassen

Proceedings of the Enterprise Modelling and Information Systems Architectures, 2007

Requirements Engineering for Reactive Systems: Coloured Petri Nets for an Elevator Controller.

João M. Fernandes, Jens Bæk Jørgensen, Simon Tjell

Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 2007

2006

Tool Support for Estimating the Memory Usage of Mobile Phone Software.

Jens Bæk Jørgensen, Søren Christensen, Antti-Pekka Tuovinen, Jianli Xu

Int. J. Softw. Tools Technol. Transf., 2006

Addressing problem frame concerns via coloured petri nets and graphical animation.

Jens Bæk Jørgensen

Proceedings of the 2006 International Workshop on Advances and Applications of Problem Frames, 2006

Requirements Engineering for the Adviser Portal Bank System.

Jens Bæk Jørgensen, Kristian Bisgaard Lassen

Proceedings of the 13th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2006), 2006

2005

A Case Study on Coloured Petri Nets in Object-Oriented Analysis and Design.

João Paulo Barros, Jens Bæk Jørgensen

Nord. J. Comput., 2005

Towards Arguing the Cost-effectiveness of Coloured Petri Nets.

Jens Bæk Jørgensen

Proceedings of the International Conference on Software Engineering Research and Practice, 2005

Let's Go All the Way: From Requirements Via Colored Workflow Nets to a BPEL Implementation of a New Bank System.

Wil M. P. van der Aalst, Jens Bæk Jørgensen, Kristian Bisgaard Lassen

Proceedings of the On the Move to Meaningful Internet Systems 2005: CoopIS, 2005

2004

Executable Use Cases: Requirements for a Pervasive Health Care System.

Jens Bæk Jørgensen, Claus Bossen

IEEE Softw., 2004

Estimation of Memory Usage of Mobile Phone Software Using UML and Coloured Petri Nets.

Søren Christensen, Jens Bæk Jørgensen, Antti-Pekka Tuovinen, Jianli Xu

Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004

Context-descriptive prototypes and their application to medicine administration.

Claus Bossen, Jens Bæk Jørgensen

Proceedings of the Conference on Designing Interactive Systems: Processes, 2004

2003

Requirements Engineering for a Pervasive Health Care System.

Jens Bæk Jørgensen, Claus Bossen

Proceedings of the 11th IEEE International Conference on Requirements Engineering (RE 2003), 2003

Coloured Petri Nets in Development of a Pervasive Health Care System.

Jens Bæk Jørgensen

Proceedings of the Applications and Theory of Petri Nets 2003, 2003

Application of Coloured Petri Nets in System Development.

Lars Michael Kristensen, Jens Bæk Jørgensen, Kurt Jensen

Proceedings of the Lectures on Concurrency and Petri Nets, 2003

Teaching Coloured Petri Nets: Examples of Courses and Lessons Learned.

Søren Christensen, Jens Bæk Jørgensen

Proceedings of the Lectures on Concurrency and Petri Nets, 2003

2002

Executable Design Models for a Pervasive Healthcare Middleware System.

Jens Bæk Jørgensen, Søren Christensen

Proceedings of the UML 2002 - The Unified Modeling Language, 5th International Conference, Dresden, Germany, September 30, 2002

1999

Computer Aided Verification of Lamport's Fast Mutual Exclusion Algorithm Using Colored Petri Nets and Occurrence Graphs with Symmetries.

Jens Bæk Jørgensen, Lars Michael Kristensen

IEEE Trans. Parallel Distributed Syst., 1999

1997

Design/CPN - A Computer Tool for Coloured Petri Nets.

Søren Christensen, Jens Bæk Jørgensen, Lars Michael Kristensen

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1997

Analysing Bang & Olufsen's BeoLink® Audio/Video System Using Coloured Petri Nets.

Søren Christensen, Jens Bæk Jørgensen

Proceedings of the Application and Theory of Petri Nets 1997, 1997

Design As Interaction with Computer Based Materials.

Søren Christensen, Jens Bæk Jørgensen, Kim Halskov Madsen

Proceedings of the 2nd Conference on Designing Interactive Systems: Processes, 1997

1996

Modelling and Analysis of Distributed Program Execution in BETA Using Coloured Petri Nets.

Jens Bæk Jørgensen, Kjeld Høyer Mortensen

Proceedings of the Application and Theory of Petri Nets 1996, 1996