View in EDS PDF Full Text

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

Saved in:
Bibliographic Details
Title: Una Propuesta de Algoritmo Spin / Promela para el Análisis y Diagnóstico de Errores en Diagramas de Secuencia UML.
Alternate Title: An Spin / Promela Algorithm Proposal for the Analysis and Errors Diagnosis in UML Sequence Diagrams.
Authors: Vidal-Silva, Cristian L.1,2 cristian.vidal@uvm.cl, Villarroel, Rodolfo H.3 rodolfo.villarroel@pucv.cl, López-Cortés, Xaviera A.4 xlopez@ucm.cl, Rubio, José M.5 jrubiol@inacap.cl
Source: Información Tecnológica. 2019, Vol. 30 Issue 1, p263-272. 10p.
Database: Academic Search Ultimate
FullText Links:
  – Type: pdflink
Text:
  Availability: 0
Header DbId: asn
DbLabel: Academic Search Ultimate
An: 135224580
AccessLevel: 2
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Una Propuesta de Algoritmo Spin / Promela para el Análisis y Diagnóstico de Errores en Diagramas de Secuencia UML.
– Name: TitleAlt
  Label: Alternate Title
  Group: TiAlt
  Data: An Spin / Promela Algorithm Proposal for the Analysis and Errors Diagnosis in UML Sequence Diagrams.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Vidal-Silva%2C+Cristian+L%2E%22">Vidal-Silva, Cristian L.</searchLink><relatesTo>1,2</relatesTo><i> cristian.vidal@uvm.cl</i><br /><searchLink fieldCode="AR" term="%22Villarroel%2C+Rodolfo+H%2E%22">Villarroel, Rodolfo H.</searchLink><relatesTo>3</relatesTo><i> rodolfo.villarroel@pucv.cl</i><br /><searchLink fieldCode="AR" term="%22López-Cortés%2C+Xaviera+A%2E%22">López-Cortés, Xaviera A.</searchLink><relatesTo>4</relatesTo><i> xlopez@ucm.cl</i><br /><searchLink fieldCode="AR" term="%22Rubio%2C+José+M%2E%22">Rubio, José M.</searchLink><relatesTo>5</relatesTo><i> jrubiol@inacap.cl</i>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22Información+Tecnológica%22">Información Tecnológica</searchLink>. 2019, Vol. 30 Issue 1, p263-272. 10p.
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=asn&AN=135224580
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.4067/S0718-07642019000100263
    Languages:
      – Code: spa
        Text: Spanish
    PhysicalDescription:
      Pagination:
        PageCount: 10
        StartPage: 263
    Titles:
      – TitleFull: Una Propuesta de Algoritmo Spin / Promela para el Análisis y Diagnóstico de Errores en Diagramas de Secuencia UML.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Vidal-Silva, Cristian L.
      – PersonEntity:
          Name:
            NameFull: Villarroel, Rodolfo H.
      – PersonEntity:
          Name:
            NameFull: López-Cortés, Xaviera A.
      – PersonEntity:
          Name:
            NameFull: Rubio, José M.
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 01
              Text: 2019
              Type: published
              Y: 2019
          Identifiers:
            – Type: issn-print
              Value: 07168756
          Numbering:
            – Type: volume
              Value: 30
            – Type: issue
              Value: 1
          Titles:
            – TitleFull: Información Tecnológica
              Type: main
ResultId 1