Jens Bæk Jørgensen

Orcid: 0000-0002-0182-1463

Affiliations:
  • Mjølner Informatics A/S, Aarhus, Denmark


According to our database1, Jens Bæk Jørgensen authored at least 37 papers between 1996 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Problems with Communication About Requirements in a Complex Program in a Large Organization.
Proceedings of the 32nd IEEE International Requirements Engineering Conference, 2024

2023
A Product Owner's Navigation in Power Imbalance Between Business and IT: An Experience Report.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2023

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

Effective communication about software in a traditional industrial company: an experience report on development of a new measurement instrument.
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.
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.
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.
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.
Proceedings of the IEEE 22nd International Requirements Engineering Conference, 2014

2013
Redefinition of the Requirements Engineer Role in Mjølner's Software Development Process.
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.
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.
Proceedings of the Systems, Software and Services Process Improvement, 2010

2009
From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems.
Trans. Petri Nets Other Model. Concurr., 2009

Formal requirements modelling with executable use cases and coloured Petri nets.
Innov. Syst. Softw. Eng., 2009

2008
From task descriptions via colored Petri nets towards an implementation of a new electronic patient record workflow system.
Int. J. Softw. Tools Technol. Transf., 2008

Coloured Petri nets and graphical animation: a proposal for a means to address problem frame concerns.
Expert Syst. J. Knowl. Eng., 2008

2007
Executable Use Cases: A Supplement to Model-Driven Development?.
Proceedings of the Model-based Methodologies for Pervasive and Embedded Software, 2007

On Industrial Use of Requirements Engineering Techniques.
Proceedings of the Enterprise Modelling and Information Systems Architectures, 2007

Requirements Engineering for Reactive Systems: Coloured Petri Nets for an Elevator Controller.
Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 2007

2006
Tool Support for Estimating the Memory Usage of Mobile Phone Software.
Int. J. Softw. Tools Technol. Transf., 2006

Addressing problem frame concerns via coloured petri nets and graphical animation.
Proceedings of the 2006 International Workshop on Advances and Applications of Problem Frames, 2006

Requirements Engineering for the Adviser Portal Bank System.
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.
Nord. J. Comput., 2005

Towards Arguing the Cost-effectiveness of Coloured Petri Nets.
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.
Proceedings of the On the Move to Meaningful Internet Systems 2005: CoopIS, 2005

2004
Executable Use Cases: Requirements for a Pervasive Health Care System.
IEEE Softw., 2004

Estimation of Memory Usage of Mobile Phone Software Using UML and Coloured Petri Nets.
Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004

Context-descriptive prototypes and their application to medicine administration.
Proceedings of the Conference on Designing Interactive Systems: Processes, 2004

2003
Requirements Engineering for a Pervasive Health Care System.
Proceedings of the 11th IEEE International Conference on Requirements Engineering (RE 2003), 2003

Coloured Petri Nets in Development of a Pervasive Health Care System.
Proceedings of the Applications and Theory of Petri Nets 2003, 2003

Application of Coloured Petri Nets in System Development.
Proceedings of the Lectures on Concurrency and Petri Nets, 2003

Teaching Coloured Petri Nets: Examples of Courses and Lessons Learned.
Proceedings of the Lectures on Concurrency and Petri Nets, 2003

2002
Executable Design Models for a Pervasive Healthcare Middleware System.
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.
IEEE Trans. Parallel Distributed Syst., 1999

1997
Design/CPN - A Computer Tool for Coloured Petri Nets.
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.
Proceedings of the Application and Theory of Petri Nets 1997, 1997

Design As Interaction with Computer Based Materials.
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.
Proceedings of the Application and Theory of Petri Nets 1996, 1996


  Loading...