View in EDS

Formal Specification with the Java Modeling Language

Saved in:
Bibliographic Details
Title: Formal Specification with the Java Modeling Language
Authors: Huisman, Marieke, Ahrendt, Wolfgang, 1967, Grahl, Daniel, Hentschel, Martin
Source: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 10001 LNCS:193-241
Subject Terms: Solftware Analysis, Software Verification, Software Specification
Description: This text is a general, self contained, and tool independent introduction into the Java Modeling Language, JML. It appears in a book about the KeY approach and tool for the verification of Java software, because JML is the dominating starting point of KeY style Java verification. However, this chapter does not depend on any specific tool nor verification methodology in any way. This introduction is written for all readers with an interest in formal specification of software in general, and anyone who wants to learn about the JML approach to specification in particular.
Access URL: https://research.chalmers.se/publication/246669
Database: SwePub
FullText Text:
  Availability: 0
CustomLinks:
  – Url: https://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=EBSCO&SrcAuth=EBSCO&DestApp=WOS&ServiceName=TransferToWoS&DestLinkType=GeneralSearchSummary&Func=Links&author=Huisman%20M
    Name: ISI
    Category: fullText
    Text: Nájsť tento článok vo Web of Science
    Icon: https://imagesrvr.epnet.com/ls/20docs.gif
    MouseOverText: Nájsť tento článok vo Web of Science
Header DbId: edsswe
DbLabel: SwePub
An: edsswe.oai.research.chalmers.se.30e65221.2fdb.4d11.80dd.3b9f7608f88a
RelevancyScore: 852
AccessLevel: 6
PubType: Book
PubTypeId: book
PreciseRelevancyScore: 852.438598632813
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Formal Specification with the Java Modeling Language
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Huisman%2C+Marieke%22">Huisman, Marieke</searchLink><br /><searchLink fieldCode="AR" term="%22Ahrendt%2C+Wolfgang%22">Ahrendt, Wolfgang</searchLink>, 1967<br /><searchLink fieldCode="AR" term="%22Grahl%2C+Daniel%22">Grahl, Daniel</searchLink><br /><searchLink fieldCode="AR" term="%22Hentschel%2C+Martin%22">Hentschel, Martin</searchLink>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <i>Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)</i>. 10001 LNCS:193-241
– Name: Subject
  Label: Subject Terms
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Solftware+Analysis%22">Solftware Analysis</searchLink><br /><searchLink fieldCode="DE" term="%22Software+Verification%22">Software Verification</searchLink><br /><searchLink fieldCode="DE" term="%22Software+Specification%22">Software Specification</searchLink>
– Name: Abstract
  Label: Description
  Group: Ab
  Data: This text is a general, self contained, and tool independent introduction into the Java Modeling Language, JML. It appears in a book about the KeY approach and tool for the verification of Java software, because JML is the dominating starting point of KeY style Java verification. However, this chapter does not depend on any specific tool nor verification methodology in any way. This introduction is written for all readers with an interest in formal specification of software in general, and anyone who wants to learn about the JML approach to specification in particular.
– Name: URL
  Label: Access URL
  Group: URL
  Data: <link linkTarget="URL" linkTerm="https://research.chalmers.se/publication/246669" linkWindow="_blank">https://research.chalmers.se/publication/246669</link>
PLink https://erproxy.cvtisr.sk/sfx/access?url=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsswe&AN=edsswe.oai.research.chalmers.se.30e65221.2fdb.4d11.80dd.3b9f7608f88a
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1007/978-3-319-49812-6_7
    Languages:
      – Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 49
        StartPage: 193
    Subjects:
      – SubjectFull: Solftware Analysis
        Type: general
      – SubjectFull: Software Verification
        Type: general
      – SubjectFull: Software Specification
        Type: general
    Titles:
      – TitleFull: Formal Specification with the Java Modeling Language
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Huisman, Marieke
      – PersonEntity:
          Name:
            NameFull: Ahrendt, Wolfgang
      – PersonEntity:
          Name:
            NameFull: Grahl, Daniel
      – PersonEntity:
          Name:
            NameFull: Hentschel, Martin
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 01
              Type: published
              Y: 2016
          Identifiers:
            – Type: isbn-print
              Value: 3319498118
            – Type: isbn-print
              Value: 9783319498119
            – Type: issn-print
              Value: 16113349
            – Type: issn-print
              Value: 03029743
            – Type: issn-locals
              Value: CTH_SWEPUB
          Numbering:
            – Type: volume
              Value: 10001 LNCS
          Titles:
            – TitleFull: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
              Type: main
ResultId 1