Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
Understanding knowledge architecturesTyugu, EnnKnowledge-based systems, 2006-03, Vol.19 (1), p.50-56 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
|
2 |
Material Type: Ata de Congresso
|
Pareto-optimal situaton analysis for selection of security measuresOjamaa, A. ; Tyugu, E. ; Kivimaa, J.MILCOM 2008 - 2008 IEEE Military Communications Conference, 2008, p.1-7IEEETexto completo disponível |
|
3 |
Material Type: Artigo
|
Guest EditorialHall, Robert J ; Tyugu, EnnAutomated software engineering, 2001-01, Vol.8 (1), p.5-6 [Periódico revisado por pares]Dordrecht: Springer Nature B.VTexto completo disponível |
|
4 |
Material Type: Ata de Congresso
|
Concurrent Implementation of Structurally Synthesized ProgramsLämmermann, Sven ; Tyugu, Enn ; Vlassov, Vladimir Malyshkin, VictorPARALLEL COMPUTING TECHNOLOGIES, 2001, p.277-284 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
5 |
Material Type: Artigo
|
COCOVILA – Compiler-Compiler for Visual LanguagesGrigorenko, Pavel ; Saabas, Ando ; Tyugu, EnnElectronic notes in theoretical computer science, 2005-12, Vol.141 (4), p.137-142Elsevier B.VTexto completo disponível |
|
6 |
Material Type: Capítulo de Livro
|
Automated Program Synthesis for Java Programming LanguageHarf, Mait ; Kindel, Kristiina ; Kotkas, Vahur ; Küngas, Peep ; Tyugu, Enn Zamulin, Alexandre V. ; Bjørner, Dines ; Broy, ManfredPerspectives of System Informatics, p.157-164 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
7 |
Material Type: Ata de Congresso
|
Concurrent implementation of structurally synthesized programsLÄMMERMANN, Sven ; TYUGU, Enn ; VLASSOV, VladimirLecture notes in computer science, 2001, p.277-284 [Periódico revisado por pares]Berlin: SpringerTexto completo disponível |
|
8 |
Material Type: Ata de Congresso
|
Automated program synthesis for Java programming languageHARF, Mait ; KINDEL, Kristiina ; KOTKAS, Vahur ; KÜNGAS, Peep ; TYUGU, EnnLecture notes in computer science, 2001, p.157-164 [Periódico revisado por pares]Berlin: SpringerTexto completo disponível |
|
9 |
Material Type: Ata de Congresso
|
Visual tool for generative programmingGrigorenko, Pavel ; Saabas, Ando ; Tyugu, EnnFoundations of Software Engineering: Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering; 05-09 Sept. 2005, 2005, p.249-252New York, NY, USA: ACMTexto completo disponível |
|
10 |
Material Type: Capítulo de Livro
|
Structural synthesis of programs from refined user requirements (Programming boiler control in NUT)Addibpour, Mattin ; Tyugu, Enn Abrial, Jean-Raymond ; Börger, Egon ; Langmaack, HansFormal Methods for Industrial Applications, 2005, p.13-34Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |