Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 22 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
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
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
Set-2008Expressing environment assumptions and real-time requirements for a distributed embedded system with shared variablesTjell, Simon; Fernandes, João M.Artigo em ata de conferênciaAcesso aberto
2002Heterogeneous information systems integration: organizations and methodologiesMachado, Ricardo J.; Fernandes, João M.Artigo em ata de conferênciaAcesso aberto
Out-2006A demonstration case on the transformation of software architectures for service specificationFernandes, João M.; Machado, Ricardo J.; Monteiro, Paula; Rodrigues, HelenaArtigo 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
2002Can UML be a system-language for embedded software?Fernandes, João M.; Machado, Ricardo J.Artigo em ata de conferênciaAcesso aberto
1-10 de um total de 22 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir