Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJens Bæk Jørgensen
Person information
- affiliation: Mjølner Informatics A/S, Aarhus, Denmark
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2009
[j8]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): 13-25 (2009)- [j7]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: 25-49 (2009) - 2008
- [j6]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): 54-73 (2008) - [j5]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): 15-28 (2008) - 2006
- [j4]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): 531-545 (2006) - 2005
- [j3]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): 229-250 (2005) - 2004
- [j2]Jens Bæk Jørgensen, Claus Bossen:
Executable Use Cases: Requirements for a Pervasive Health Care System. IEEE Softw. 21(2): 34-41 (2004) - 1999
- [j1]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): 714-732 (1999)
Conference and Workshop Papers
- 2023
- [c27]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: 337-350 - 2022
- [c26]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: 39-42 - 2020
- [c25]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: 145-148 - 2016
- [c24]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: 283-286 - 2015
- [c23]Maria Holmegaard, Jens Baek Jorgensen, Michael Sørensen Loft, Martin Stig Stissing:
Requirements problems in the development of a new user interface for healthcare equipment. RE 2015: 315-323 - 2014
- [c22]Lars Bruun, Mikkel Bovbjerg Hansen, Jorgen Bondergaard Iversen, Jens Baek Jorgensen, Bjarne Knudsen:
Handling design-level requirements across distributed teams: Developing a new feature for 12 Danish mobile banking apps. RE 2014: 335-343 - 2013
- [c21]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: 285-291 - 2012
- [c20]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: 1-6 - 2010
- [c19]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: 222-232 - 2007
- [c18]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: 294-301 - [c17]Lars Bækgaard, Jens Bæk Jørgensen, Kristian Bisgaard Lassen:
On Industrial Use of Requirements Engineering Techniques. EMISA 2007: 177-190 - [c16]Jens Bæk Jørgensen:
Executable Use Cases: A Supplement to Model-Driven Development?. MOMPES 2007: 8-15 - 2006
- [c15]Jens Bæk Jørgensen, Kristian Bisgaard Lassen:
Requirements Engineering for the Adviser Portal Bank System. ECBS 2006: 259-268 - [c14]Jens Bæk Jørgensen:
Addressing problem frame concerns via coloured petri nets and graphical animation. IWAAPF@ICSE 2006: 49-58 - 2005
- [c13]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: 22-39 - [c12]Jens Bæk Jørgensen:
Towards Arguing the Cost-effectiveness of Coloured Petri Nets. Software Engineering Research and Practice 2005: 246-252 - 2004
- [c11]Claus Bossen, Jens Bæk Jørgensen:
Context-descriptive prototypes and their application to medicine administration. Conference on Designing Interactive Systems 2004: 297-306 - [c10]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: 304-310 - 2003
- [c9]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: 402-412 - [c8]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: 626-685 - [c7]Jens Bæk Jørgensen:
Coloured Petri Nets in Development of a Pervasive Health Care System. ICATPN 2003: 256-275 - [c6]Jens Bæk Jørgensen, Claus Bossen:
Requirements Engineering for a Pervasive Health Care System. RE 2003: 55-64 - 2002
- [c5]Jens Bæk Jørgensen, Søren Christensen:
Executable Design Models for a Pervasive Healthcare Middleware System. UML 2002: 140-149 - 1997
- [c4]Søren Christensen, Jens Bæk Jørgensen, Kim Halskov Madsen:
Design As Interaction with Computer Based Materials. Symposium on Designing Interactive Systems 1997: 65-71 - [c3]Søren Christensen, Jens Bæk Jørgensen:
Analysing Bang & Olufsen's BeoLink® Audio/Video System Using Coloured Petri Nets. ICATPN 1997: 387-406 - [c2]Søren Christensen, Jens Bæk Jørgensen, Lars Michael Kristensen:
Design/CPN - A Computer Tool for Coloured Petri Nets. TACAS 1997: 209-223 - 1996
- [c1]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: 249-268
Informal and Other Publications
- 2022
- [i1]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 abs/2207.00054 (2022)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-21 17:45 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
