• español (España)
    • English
  • English 
    • español (España)
    • English
  • Login
Search 
  •   DSpace Home
  • Escuelas, Departamentos y Centros
  • Escuela de Ingeniería y Negocios
  • Search
  •   DSpace Home
  • Escuelas, Departamentos y Centros
  • Escuela de Ingeniería y Negocios
  • Search
JavaScript is disabled for your browser. Some features of this site may not work without it.

Search

Show Advanced FiltersHide Advanced Filters

Filters

Use filters to refine the search results.

Now showing items 1-1 of 1

  • Sort Options:
  • Relevance
  • Title Asc
  • Title Desc
  • Issue Date Asc
  • Issue Date Desc
  • Results Per Page:
  • 5
  • 10
  • 20
  • 40
  • 60
  • 80
  • 100
Thumbnail

Una Propuesta de Algoritmo Spin / Promela para el Análisis y Diagnóstico de Errores en Diagramas de Secuencia UML 

Vidal-Silva, Cristian; Villarroel, Rodolfo H.; López-Cortés, Xaviera A.; Rubio, José Miguel (2019)
Este trabajo describe las principales características de diagramas de secuencia UML, la noción de falla o error y tolerancia a fallas, y algunos tipos de fallas comunes y sus acciones de corrección en un diagrama de ...
UVM - Universidad Viña del MarAcreditación
Nuestros Sitios
  • CREA (Biblioteca)
  • Repositorio
  • UVM en Medios
Calendario Académico
  • Diurno
  • Vespertino
Fono Admisión

800 37 4100

FONO ALUMNOS (CSE)

32 2462510 (Recreo)

32 2462637 (Miraflores)

32 2462693 (Rodelillo)

Formularios
  • Contacto
  • Denuncia de Acoso Sexual o Discriminación Arbitraria
Nuestras Redes Sociales
Universidad Viña del Mar

Agua Santa 7055, Viña del Mar

  • Políticas de Privacidad

Agua Santa 7055, sector Rodelillo, Viña del Mar.

Implementado por
OpenGeek
 

Browse

Navigate on all siteCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsItem TypesThis CommunityBy Issue DateAuthorsTitlesSubjectsItem Types

My Account

Login

Discover

AuthorLópez-Cortés, Xaviera A. (1)
Rubio, José Miguel (1)
Vidal-Silva, Cristian (1)Villarroel, Rodolfo H. (1)Subject
Análisis de modelos (1)
Diagramas de secuencia (1)Spin / Promela (1)Tolerancia a fallas (1)UML (1)... View MoreDate Issued2019 (1)Item TypeArtículo de revista (1)
UVM - Universidad Viña del MarAcreditación
Nuestros Sitios
  • CREA (Biblioteca)
  • Repositorio
  • UVM en Medios
Calendario Académico
  • Diurno
  • Vespertino
Fono Admisión

800 37 4100

FONO ALUMNOS (CSE)

32 2462510 (Recreo)

32 2462637 (Miraflores)

32 2462693 (Rodelillo)

Formularios
  • Contacto
  • Denuncia de Acoso Sexual o Discriminación Arbitraria
Nuestras Redes Sociales
Universidad Viña del Mar

Agua Santa 7055, Viña del Mar

  • Políticas de Privacidad

Agua Santa 7055, sector Rodelillo, Viña del Mar.

Implementado por
OpenGeek