Suivre
Simon Tjell
Simon Tjell
Adresse e-mail validée de post.au.dk
Titre
Citée par
Citée par
Année
Designing tool support for translating use cases and uml 2.0 sequence diagrams into a coloured petri net
JM Fernandes, S Tjell, JB Jorgensen, Ó Ribeiro
Sixth International Workshop on Scenarios and State Machines (SCESM'07: ICSE …, 2007
1012007
Validation support for distributed real-time embedded systems in vdm++
JS Fitzgerald, S Tjell, PG Larsen, M Verhoef
10th IEEE High Assurance Systems Engineering Symposium (HASE'07), 331-340, 2007
322007
Formal requirements modelling with executable use cases and coloured Petri nets
JB Jørgensen, S Tjell, JM Fernandes
Innovations in Systems and Software Engineering 5, 13-25, 2009
242009
Requirements engineering for reactive systems: Coloured petri nets for an elevator controller
JM Fernandes, JB Jorgensen, S Tjell
14th Asia-Pacific Software Engineering Conference (APSEC'07), 294-301, 2007
172007
Requirements engineering for reactive systems with coloured petri nets: the gas pump controller example
JM Fernandes, S Tjell, JB Jørgensen
Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the …, 2007
102007
Translating Colored Control Flow Nets into Readable Java via Annotated Java Workflow Nets.
KB Lassen, S Tjell
Proceedings of the Eighth Workshop and Tutorial on Practical Use of Coloured …, 2007
92007
Distinguishing environment and system in coloured petri net models of reactive systems
S Tjell
2007 International Symposium on Industrial Embedded Systems, 242-249, 2007
82007
Model-based testing of a reactive system with coloured petri nets
S Tjell
Gesellschaft für Informatik eV, 2006
52006
Model-based requirements analysis for reactive systems with UML sequence diagrams and coloured petri nets
KB Lassen, S Tjell
Innovations in Systems and Software Engineering 4, 233-240, 2008
32008
Formal Requirements Modeling for Reactive Systems with Coloured Petri Nets
S Tjell
Aarhus Universitetsforlag, 2009
22009
Model-based analysis of a windmill communication system
S Tjell
IFIP Working Conference on Distributed and Parallel Embedded Systems, 245-254, 2006
22006
Expressing Environment Assumptions and Real-time Requirements for a Distributed Embedded System with Shared Variables
S Tjell, JM Fernandes
IFIP Working Conference on Distributed and Parallel Embedded Systems, 79-88, 2008
12008
Developing tool support for problem diagrams with CPN and VDM++
KB Lassen, S Tjell
Proceedings of OVERTURE, 2008
12008
Validation Support for Distributed Real-Time Embedded Systems in VDM+
JS Fitzgerald, PG Larsen, S Tjell, M Verhoef
12007
Validation Support for Distributed Real-Time Embedded Systems in VDM++
PG Larsen, J Fitzgerald, S Tjell, M Verhoef
University of Newcastle upon Tyne, 2007
2007
Model-Based Software Engineering for Embedded Systems: Progress Report for Qualification Exam during Ph. D. studies
S Tjell
2007
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–16