Academic Journal
View in EDS

Taming the frame problem: an automated approach for robust UML class diagram specification and verification

Bibliographic Details
Title: Taming the frame problem: an automated approach for robust UML class diagram specification and verification
Authors: Rosales Viesca, AntonioAff1, Al Lail, MustafaAff2, IDs11334024005750_cor1
Source: Innovations in Systems and Software Engineering: A NASA Journal. 20(4):619-641
Database: Springer Nature Journals
FullText Text:
  Availability: 0
Header DbId: edssjs
DbLabel: Springer Nature Journals
An: edssjs.5220D506
RelevancyScore: 940
AccessLevel: 2
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 939.537353515625
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Taming the frame problem: an automated approach for robust UML class diagram specification and verification
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Rosales+Viesca%2C+Antonio%22">Rosales Viesca, Antonio</searchLink><relatesTo>Aff1</relatesTo><br /><searchLink fieldCode="AR" term="%22Al+Lail%2C+Mustafa%22">Al Lail, Mustafa</searchLink><relatesTo>Aff2, IDs11334024005750_cor1</relatesTo>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <i>Innovations in Systems and Software Engineering: A NASA Journal</i>. 20(4):619-641
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edssjs&AN=edssjs.5220D506
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1007/s11334-024-00575-0
    Languages:
      – Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 23
        StartPage: 619
    Titles:
      – TitleFull: Taming the frame problem: an automated approach for robust UML class diagram specification and verification
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Rosales Viesca, Antonio
      – PersonEntity:
          Name:
            NameFull: Al Lail, Mustafa
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 12
              Type: published
              Y: 2024
          Identifiers:
            – Type: issn-print
              Value: 16145046
            – Type: issn-print
              Value: 16145054
          Numbering:
            – Type: volume
              Value: 20
            – Type: issue
              Value: 4
          Titles:
            – TitleFull: Innovations in Systems and Software Engineering: A NASA Journal
              Type: main
ResultId 1