1. INICIO
  2. UVIGOTVPRE
  3. ACADEMIC DAYS 2005 - LISBOA
  4. EXECUTABLE SPECIFICATIONS: FROM FOUNDATIONS TO MICROSOFT TOOLS
Conferencia Matemáticas Ciencia dos ordenadores Bancos de datos Ciencias tecnolóxicas Tecnoloxía dos ordenadores Tecnoloxía electrónica Ciencias económicas Economía do cambio tecnolóxico Innovación tecnolóxica Economía sectorial Investigación e desenvolvemento Pedagoxía Teoría e métodos educativos Medios audiovisuais Métodos pedagóxicos Ciencia política Relacións internacionais Tratados e acordos internacionais Socioloxía Vigo Negocios Enxeñaría Informática Ciencias Xurídico-Sociais Ciencias tecnolóxicas Enx. Telecomunicacións Tecnoloxía Recursos educativos Enx. Informática Matemáticas Ciencias Economía Xurídico-Social Socioloxía, antropoloxía e comunicación Política Educación Humanidades

Executable Specifications: From Foundations to Microsoft Tools

4705 visualizacións 28 de dec. de 2005
Serie

Presentación
Yuri Gurevich

Series: Academic Days 2005 - Lisboa
Introduction and Welcome 2' 21''

Introduction and Welcome

Joao Paulo Girbal -

Phoenix: A Compilation, Optimization and Analysis Tools Framework for Research and Product Development 62' 19''

Phoenix: A Compilation, Optimization and Analysis Tools Framework for Research and Product Development

John Lefor -

Windows Operating Systems Internals Curriculum Development Kit: What should be there? 61' 41''

Windows Operating Systems Internals Curriculum Development Kit: What should be there?

Arkady Retik -

Executable Specifications: From Foundations to Microsoft Tools 57' 59''

Executable Specifications: From Foundations to Microsoft Tools

Yuri Gurevich -

Trends in Database Development: XML, .NET, WinFS 66' 22''

Trends in Database Development: XML, .NET, WinFS

Alexander Vaschillo -

Verifying the Four Colour Theorem 62' 50''

Verifying the Four Colour Theorem

Georges Gonthier -

SSCLI: The Shared Source Common Language Infrastructure for Research and Teaching 65' 46''

SSCLI: The Shared Source Common Language Infrastructure for Research and Teaching

Mark Lewin -

P2P File Swarming 54' 12''

P2P File Swarming

Pablo Rodriguez -

Intermediate Language Assembler Today and Tomorrow 57' 51''

Intermediate Language Assembler Today and Tomorrow

Serge Lidin -

An Introduction to Device Driver Development 72' 21''

An Introduction to Device Driver Development

Claudio Amaya -

Extending Rotor with Structural Reflection to support Reflective Languages 44' 49''

Extending Rotor with Structural Reflection to support Reflective Languages

Francisco Ortín -

Golem Project. Software as art 37' 04''

Golem Project. Software as art

Juan Jose Romero Crusat - Socio fundador de Kdemius

A Digital Inclusion Effort and the Use of Learning Objects with .NET Technology 63' 39''

A Digital Inclusion Effort and the Use of Learning Objects with .NET Technology

Mauro Pequeno -

A Very Successful Case of Integrating University, Companies and Society 61' 50''

A Very Successful Case of Integrating University, Companies and Society

Jorge Luis Nicolas Audy -

How .NET, Project Manager and MSF fits into the Computer Engineer course 61' 31''

How .NET, Project Manager and MSF fits into the Computer Engineer course

Celso Massaki Hirata -

GRIDdotNET 59' 11''

GRIDdotNET

Sergio Takeo Kofuji -

Tamén che poden interesar
Intervención de Álvaro Armada. Escola de Finanzas Business School 13' 28''

Intervención de Álvaro Armada. Escola de Finanzas Business School

Álvaro Armada Luaces - Director Académico en EF Business School

Intervención de Francisco Mouriño. Cortizo 6' 51''

Intervención de Francisco Mouriño. Cortizo

Francisco Mouriño -

An introduction to CV’s, letters, and job searching 15' 10''

An introduction to CV’s, letters, and job searching

Transición discontinua de partículas de microgel termosensible 46' 57''

Transición discontinua de partículas de microgel termosensible

Antonio Fernández Barbero - Group of Complex Fluids Physics

Apertura Social Media Day 2016 12' 42''

Apertura Social Media Day 2016

Xabier Martínez Rolán - Profesor na Facultade de Ciencias Sociais e da Comunicación

Presentación da xornada 1' 29''

Presentación da xornada

Avelino Gónzalez - Actor

What is postmodernism? 11' 29''

What is postmodernism?

M. Teresa Caneda Cabrera - Profesora Titular do Departamento de Filoloxía Inglesa, Francesa e Alemá, Investigadora Titular do Grupo de Investigación TyP

Presentación 'Mulleres no software libre' 1' 17''

Presentación 'Mulleres no software libre'

Miriam Ruiz - Enxeñeira Industrial, e Desenvolvedora de Debian

Imaxe de vídeo dixital 162' 03''

Imaxe de vídeo dixital

Definición e parámetros dunha imaxe dixital. Resolución e Aspecto. Profundidade da cor. Compresión. Frame por segundo. Entrelazado. Campos, cadros

Ignacio De La Cierva -

Inauguración 15' 21''

Inauguración

Modesto Rouco - Subdirector Xeral de promocion de autonomia persoal

Intervención Alfonso Lago Ferreiro 7' 56''

Intervención Alfonso Lago Ferreiro

Alfonso Lago - Director

Apertura da xornada "Smart-Energy, Smart-City" 5' 25''

Apertura da xornada "Smart-Energy, Smart-City"

Apertura do acto 2' 19''

Apertura do acto

Salustiano Mato de la Iglesia - Reitor

Presentación web HCTech 10' 56''

Presentación web HCTech

Manuel Lago -

Presentación 59''

Presentación

Curso de orientación laboral: Empléate. Módulo Conciénciate 84' 14''

Curso de orientación laboral: Empléate. Módulo Conciénciate

Situación do mercado laboral. Da Universidade ao mundo laboral. Oportunidades de traballo e emprego.

Belén Varela - Vicepresidenta

Apertura de Dar máis vida a vida 6' 48''

Apertura de Dar máis vida a vida

¿é envellecer só unha cuestión de idade?

Inauguración do ForumEmprego: Dª Emilia Seoane 1' 24''

Inauguración do ForumEmprego: Dª Emilia Seoane

Emilia Seoane Pérez - Conselleira

Presentación 5' 19''

Presentación

Presentación 'De enxeñeiro a emprendedor, unha transformación posible'. 3' 25''

Presentación 'De enxeñeiro a emprendedor, unha transformación posible'.

Sergio Montoro Ten -

UVigoTV | Plaza Miralles. Local A3A | Campus Universitario | C.P. 36210 Vigo (Pontevedra) | España Tlf: +34986811937 | tv@uvigo.es
PuMuKIT icon Powered by PuMuKIT 3.8.5-dev