Jens Bæk Jørgensen
Orcid: 0000-0002-0182-1463Affiliations:
- 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:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
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
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
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
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
Proceedings of the Model-based Methodologies for Pervasive and Embedded Software, 2007
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
Int. J. Softw. Tools Technol. Transf., 2006
Proceedings of the 2006 International Workshop on Advances and Applications of Problem Frames, 2006
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
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
Proceedings of the Conference on Designing Interactive Systems: Processes, 2004
2003
Proceedings of the 11th IEEE International Conference on Requirements Engineering (RE 2003), 2003
Proceedings of the Applications and Theory of Petri Nets 2003, 2003
Proceedings of the Lectures on Concurrency and Petri Nets, 2003
Proceedings of the Lectures on Concurrency and Petri Nets, 2003
2002
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
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1997
Proceedings of the Application and Theory of Petri Nets 1997, 1997
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