View in EDS PDF Full Text

Using Lightweight Formal Methods to Model Class and Object Diagrams.

Saved in:
Bibliographic Details
Title: Using Lightweight Formal Methods to Model Class and Object Diagrams.
Authors: Valles-Barajas, Fernando1 fernando.valles@acm.org
Source: Computer Science & Information Systems. Jan2012, Vol. 9 Issue 1, p411-429. 19p. 9 Black and White Photographs, 3 Diagrams.
Subjects: Unified modeling language, Relational calculus, Logic diagrams, Set theory, Alloy plating, Mathematical models, Computer software
Abstract: The article presents a study which examine the formal methods used to build the class and object diagrams. The study used the alloy, a unified modeling language (UML) composed of three mathematical tools including relational calculus, order logic, and set theory to make software models. It says that the application of alloy makes possible to build software models and serve as requirements document for the implementation of a class and object diagram modeling tool.
Database: Engineering Source
FullText Links:
  – Type: pdflink
Text:
  Availability: 0
Header DbId: egs
DbLabel: Engineering Source
An: 74093403
AccessLevel: 6
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Using Lightweight Formal Methods to Model Class and Object Diagrams.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Valles-Barajas%2C+Fernando%22">Valles-Barajas, Fernando</searchLink><relatesTo>1</relatesTo><i> fernando.valles@acm.org</i>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22Computer+Science+%26+Information+Systems%22">Computer Science & Information Systems</searchLink>. Jan2012, Vol. 9 Issue 1, p411-429. 19p. 9 Black and White Photographs, 3 Diagrams.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Unified+modeling+language%22">Unified modeling language</searchLink><br /><searchLink fieldCode="DE" term="%22Relational+calculus%22">Relational calculus</searchLink><br /><searchLink fieldCode="DE" term="%22Logic+diagrams%22">Logic diagrams</searchLink><br /><searchLink fieldCode="DE" term="%22Set+theory%22">Set theory</searchLink><br /><searchLink fieldCode="DE" term="%22Alloy+plating%22">Alloy plating</searchLink><br /><searchLink fieldCode="DE" term="%22Mathematical+models%22">Mathematical models</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+software%22">Computer software</searchLink>
– Name: Abstract
  Label: Abstract
  Group: Ab
  Data: The article presents a study which examine the formal methods used to build the class and object diagrams. The study used the alloy, a unified modeling language (UML) composed of three mathematical tools including relational calculus, order logic, and set theory to make software models. It says that the application of alloy makes possible to build software models and serve as requirements document for the implementation of a class and object diagram modeling tool.
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=74093403
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.2298/CSIS110210045V
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 19
        StartPage: 411
    Subjects:
      – SubjectFull: Unified modeling language
        Type: general
      – SubjectFull: Relational calculus
        Type: general
      – SubjectFull: Logic diagrams
        Type: general
      – SubjectFull: Set theory
        Type: general
      – SubjectFull: Alloy plating
        Type: general
      – SubjectFull: Mathematical models
        Type: general
      – SubjectFull: Computer software
        Type: general
    Titles:
      – TitleFull: Using Lightweight Formal Methods to Model Class and Object Diagrams.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Valles-Barajas, Fernando
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 01
              Text: Jan2012
              Type: published
              Y: 2012
          Identifiers:
            – Type: issn-print
              Value: 18200214
          Numbering:
            – Type: volume
              Value: 9
            – Type: issue
              Value: 1
          Titles:
            – TitleFull: Computer Science & Information Systems
              Type: main
ResultId 1