Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 25 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
Set-2009Validation of scenario-based business requirements with Coloured Petri NetsRibeiro, Óscar R.; Fernandes, João M.Artigo em ata de conferênciaAcesso aberto
Set-2010Classification and comparison of agile methodsFernandes, João M.; Almeida, MauroArtigo em ata de conferênciaAcesso aberto
2009A requirements engineering and management training course for software development professionalsFernandes, João M.; Machado, Ricardo J.; Seidman, Stephen B.Artigo em ata de conferênciaAcesso aberto
Jul-2007Translating synchronous Petri Nets into PROMELA for verifying behavioural propertiesRibeiro, Óscar R.; Fernandes, João M.Artigo em ata de conferênciaAcesso aberto
16-Nov-2010The APEX framework: prototyping of ubiquitous environments based on Petri NetsSilva, José Luís Cardoso; Ribeiro, Óscar R.; Campos, J. Creissac; Fernandes, João M.; Harrison, M. D.Artigo em ata de conferênciaAcesso aberto
2001A methodology for complex embedded systems design : Petri nets within a UML approachMachado, Ricardo J.; Fernandes, João M.; Santos, Henrique Dinis dosArtigo em ata de conferênciaAcesso aberto
Set-2001System-level object-orientation in the specification and validation of embedded systemsFernandes, João M.; Machado, Ricardo J.Artigo em ata de conferênciaAcesso aberto
Mar-1997VHDL generation from hierarchical petri net specifications of parallel controllersFernandes, João M.; Adamski, Marian; Proença, Alberto JoséArtigoAcesso aberto
2002Heterogeneous information systems integration: organizations and methodologiesMachado, Ricardo J.; Fernandes, João M.Artigo em ata de conferênciaAcesso aberto
Ago-2005Integration of embedded software with corporate information systemsMachado, Ricardo J.; Fernandes, João M.Artigo em ata de conferênciaAcesso aberto