Mostrar 1-4 de um total de 4 resultados.
Data | Título | Autor(es) | Tipo | Acesso |
Mai-2007 | Designing tool support for translating use cases and UML 2.0 Sequence Diagrams into a Coloured Petri Net | Fernandes, João M.; Tjell, Simon; Jorgensen, Jens B., et al. | Artigo em ata de conferência | Acesso aberto |
Set-2008 | Expressing environment assumptions and real-time requirements for a distributed embedded system with shared variables | Tjell, Simon; Fernandes, João M. | Artigo em ata de conferência | Acesso aberto |
Mar-2009 | Formal requirements modeling with executable use cases and Coloured Petri Nets | Jorgensen, Jens B.; Tjell, Simon; Fernandes, João M. | Artigo | Acesso aberto |
Dez-2007 | Requirements engineering for reactive systems: Coloured Petri Nets for an elevator controller | Fernandes, João M.; Jorgensen, Jens B.; Tjell, Simon | Artigo em ata de conferência | Acesso aberto |