Percorrer por autor 88 Subscrever estatísticas do autor Autor

Índice: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

ou inserir as letras iniciais:  

Mostrar 1-20 de um total de 52 resultados.  próximo >
DataTítuloAutor(es)TipoAcesso
Mar-2013Alloy meets the algebra of programming: a case studyOliveira, José Nuno Fonseca; Ferreira, Miguel A.ArtigoAcesso aberto
2009An integrated formal methods tool-chain and its application to verifying a file system modelFerreira, Miguel A.; Oliveira, José Nuno FonsecaArtigo em ata de conferênciaAcesso aberto
2009Applying program comprehension techniques to karel robot programsOliveira, Nuno; Henriques, Pedro Rangel; Cruz, Daniela da, et al.Artigo em ata de conferênciaAcesso aberto
2001"Bagatelle in C arranged for VDM SoLo"Oliveira, José Nuno FonsecaArtigoAcesso aberto
Mai-2013Calculating fault propagation in functional programsMurta, Daniel R.; Oliveira, José Nuno FonsecaRelatórioAcesso aberto
2008Calculating invariants as coreflexive bisimulationsBarbosa, L. S.; Oliveira, José Nuno Fonseca; Silva, AlexandraArtigo em ata de conferênciaAcesso aberto
2005Camila revival: VDM meets haskellVisser, Joost; Oliveira, José Nuno Fonseca; Barbosa, L. S., et al.Artigo em ata de conferênciaAcesso aberto
1997CAMILA: formal software engineering supported by functional programmingAlmeida, José João; Barbosa, L. S.; Neves, F. L., et al.Artigo em ata de conferênciaAcesso aberto
1997CAMILA: prototyping and refinement of constructive specificationsAlmeida, José João; Barbosa, L. S.; Neves, F. L., et al.Artigo em ata de conferênciaAcesso aberto
2002Coinductive interpreters for process calculiBarbosa, L. S.; Oliveira, José Nuno FonsecaArtigo em ata de conferênciaAcesso aberto
2022Compiling Quantamorphisms for the IBM Q ExperienceNeri, Ana; Barbosa, Rui Soares; Oliveira, José Nuno FonsecaArtigoAcesso restrito UMinho
2013Composing least-change lensesMacedo, Nuno Filipe Moreira; Pacheco, Hugo; Cunha, Alcino, et al.ArtigoAcesso aberto
1998"Explosive" programming controlled by calculationOliveira, José Nuno FonsecaRelatórioAcesso aberto
2009Extended static checking by calculation using the pointfree transformOliveira, José Nuno FonsecaArtigo em ata de conferênciaAcesso aberto
2005From algebras to objects: generation and compositionCruz, A. Miguel; Barbosa, L. S.; Oliveira, José Nuno FonsecaArtigoAcesso aberto
Mai-2012Functions as types or the "Hoare logic" of functional dependenciesOliveira, José Nuno FonsecaArtigoAcesso aberto
2008'Galculator': functional prototype of a Galois-connection based proof assistantSilva, Paulo F.; Oliveira, José Nuno FonsecaArtigo em ata de conferênciaAcesso aberto
2009Galois: a language for proofs using galois connections and fork algebrasSilva, Paulo F.; Visser, Joost; Oliveira, José Nuno FonsecaArtigo em ata de conferênciaAcesso aberto
2017Implementing a linear algebra approach to data processingPontes, Rogério; Matos, Miguel Ângelo Marques; Oliveira, José Nuno Fonseca, et al.Artigo em ata de conferênciaAcesso restrito UMinho
2009Influence of domain-specific notation to program understandingKosar, Tomaz; Mernik, Marjan; Crepinsek, Matej, et al.Artigo em ata de conferênciaAcesso aberto
Mostrar 1-20 de um total de 52 resultados.  próximo >