Search results for "Jens Bæk Jørgensen"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	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	DBLP DOI BibTeX RDF
1	Jens Bæk Jørgensen, Simon Tjell, João M. Fernandes	Formal requirements modelling with executable use cases and coloured Petri nets.	ISSE	2009	DBLP DOI BibTeX RDF	Requirements and specifications, Requirements engineering, Model-driven development, Coloured Petri nets, Platform-independent models
1	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.	T. Petri Nets and Other Models of Concurrency	2009	DBLP DOI BibTeX RDF	Executable Use Cases, healthcare, Workflow Management, Colored Petri Nets
1	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.	STTT	2008	DBLP DOI BibTeX RDF	Executable use cases, Workflow management, Colored Petri nets, YAWL
1	Jens Bæk Jørgensen	Coloured Petri nets and graphical animation: a proposal for a means to address problem frame concerns.	Expert Systems	2008	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Lars Bækgaard, Jens Bæk Jørgensen, Kristian Bisgaard Lassen	On Industrial Use of Requirements Engineering Techniques.	EMISA	2007	DBLP BibTeX RDF
1	Jens Bæk Jørgensen	Executable Use Cases: A Supplement to Model-Driven Development?.	MOMPES	2007	DBLP DOI BibTeX RDF
1	Jens Bæk Jørgensen, Søren Christensen, Antti-Pekka Tuovinen, Jianli Xu	Tool Support for Estimating the Memory Usage of Mobile Phone Software.	STTT	2006	DBLP DOI BibTeX RDF	Formal methods in practice, UML, Embedded systems, Coloured Petri nets, Industrial case study
1	Jens Bæk Jørgensen, Kristian Bisgaard Lassen	Requirements Engineering for the Adviser Portal Bank System.	ECBS	2006	DBLP DOI BibTeX RDF	Modelling and simulation of computer systems, requirements elicitation and analysis, Petri nets, formal models, industrial case study
1	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.	2005	DBLP BibTeX RDF
1	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	2005	DBLP DOI BibTeX RDF	Workflow Management, Business Process Management, Colored Petri Nets, BPEL4WS
1	Jens Bæk Jørgensen	Towards Arguing the Cost-effectiveness of Coloured Petri Nets.	Software Engineering Research and Practice	2005	DBLP BibTeX RDF
1	Jens Bæk Jørgensen, Claus Bossen	Executable Use Cases: Requirements for a Pervasive Health Care System.	IEEE Software	2004	DBLP DOI BibTeX RDF	requirements animation and execution, pervasive (ubiquitous) requirements, requirements engineering case studies and experiences, Prototyping
1	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	DBLP BibTeX RDF
1	Claus Bossen, Jens Bæk Jørgensen	Context-descriptive prototypes and their application to medicine administration.	Conference on Designing Interactive Systems	2004	DBLP DOI BibTeX RDF	pervasive computing, user-centered design, prototyping
1	Jens Bæk Jørgensen	Coloured Petri Nets in Development of a Pervasive Health Care System.	ICATPN	2003	DBLP DOI BibTeX RDF
1	Jens Bæk Jørgensen, Claus Bossen	Requirements Engineering for a Pervasive Health Care System.	RE	2003	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Jens Bæk Jørgensen, Søren Christensen	Executable Design Models for a Pervasive Healthcare Middleware System.	UML	2002	DBLP DOI BibTeX RDF	detailed behaviour, pervasive and mobile computing, supplementing UML, middleware, Petri nets, system design, Executable models, CPN
1	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 Distrib. Syst.	1999	DBLP DOI BibTeX RDF	Modelling and analysis of distributed systems, formal verification, symmetries, mutual exclusion, colored Petri nets, high-level Petri nets, state spaces, occurrence graphs
1	Søren Christensen, Jens Bæk Jørgensen	Analysing Bang & Olufsen's BeoLink® Audio/Video System Using Coloured Petri Nets.	ICATPN	1997	DBLP DOI BibTeX RDF	Topics System design and verification using nets, experience with using nets, application of nets to protocols and embedded systems, case studies, higher-level net models, computer tools for nets
1	Søren Christensen, Jens Bæk Jørgensen, Lars Michael Kristensen	Design/CPN - A Computer Tool for Coloured Petri Nets.	TACAS	1997	DBLP DOI BibTeX RDF
1	Søren Christensen, Jens Bæk Jørgensen, Kim Halskov Madsen	Design As Interaction with Computer Based Materials.	Symposium on Designing Interactive Systems	1997	DBLP DOI BibTeX RDF	instrumental rationality, coloured Petri nets, protocol design, design practice
1	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	DBLP DOI BibTeX RDF	Topics System design and verification using nets, experience with using nets, application of nets to protocols, case studies, higher-level net models, computer tools for nets

Publications of "Jens Bæk Jørgensen" ( http://dblp.L3S.de/Authors/Jens_Bæk_Jørgensen )