View in EDS

INTRODUCTION TO THE SPECIAL ISSUE.

Saved in:
Bibliographic Details
Title: INTRODUCTION TO THE SPECIAL ISSUE.
Authors: Dillon, Laura K.1 dillon@cs.ucsb.edu, Sankar, Sriram2 sriram.sankar@sun.com
Source: IEEE Transactions on Software Engineering. May97, Vol. 23 Issue 5, p265-266. 2p.
Subjects: Formal methods (Computer science), Java programming language, Mathematics, Computer software development, Systems design
Abstract: Research in formal methods has been going on for more than 20 years in various areas such as mathematical verification, formal specification, program transformation, prototyping, and testing. Several flavours of formal methods have been gaining industrial acceptance and production quality software tools have begun emerging. The term "formal methods" denotes software development and analysis activities that entail a degree of mathematical rigor. Effects of a person's training in formal methods show in that person's quality of software development. These effects are similar to those of solving hundreds of geometry and trigonometry problems in high school on a person's analytical abilities. Some examples of real-life software systems that have benefited from formal methods include the recent Java phenomenon. The security model imposed by web browsers prevent a downloaded Java applet from compromising one's system. Web browsers include a formal verifier that analyzes downloaded bytecode to prove that the bytecode is safe to use.
Database: Engineering Source
FullText Text:
  Availability: 0
Header DbId: egs
DbLabel: Engineering Source
An: 11943340
AccessLevel: 6
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: INTRODUCTION TO THE SPECIAL ISSUE.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Dillon%2C+Laura+K%2E%22">Dillon, Laura K.</searchLink><relatesTo>1</relatesTo><i> dillon@cs.ucsb.edu</i><br /><searchLink fieldCode="AR" term="%22Sankar%2C+Sriram%22">Sankar, Sriram</searchLink><relatesTo>2</relatesTo><i> sriram.sankar@sun.com</i>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22IEEE+Transactions+on+Software+Engineering%22">IEEE Transactions on Software Engineering</searchLink>. May97, Vol. 23 Issue 5, p265-266. 2p.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Formal+methods+%28Computer+science%29%22">Formal methods (Computer science)</searchLink><br /><searchLink fieldCode="DE" term="%22Java+programming+language%22">Java programming language</searchLink><br /><searchLink fieldCode="DE" term="%22Mathematics%22">Mathematics</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+software+development%22">Computer software development</searchLink><br /><searchLink fieldCode="DE" term="%22Systems+design%22">Systems design</searchLink>
– Name: Abstract
  Label: Abstract
  Group: Ab
  Data: Research in formal methods has been going on for more than 20 years in various areas such as mathematical verification, formal specification, program transformation, prototyping, and testing. Several flavours of formal methods have been gaining industrial acceptance and production quality software tools have begun emerging. The term "formal methods" denotes software development and analysis activities that entail a degree of mathematical rigor. Effects of a person's training in formal methods show in that person's quality of software development. These effects are similar to those of solving hundreds of geometry and trigonometry problems in high school on a person's analytical abilities. Some examples of real-life software systems that have benefited from formal methods include the recent Java phenomenon. The security model imposed by web browsers prevent a downloaded Java applet from compromising one's system. Web browsers include a formal verifier that analyzes downloaded bytecode to prove that the bytecode is safe to use.
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=11943340
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1109/TSE.1997.590647
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 2
        StartPage: 265
    Subjects:
      – SubjectFull: Formal methods (Computer science)
        Type: general
      – SubjectFull: Java programming language
        Type: general
      – SubjectFull: Mathematics
        Type: general
      – SubjectFull: Computer software development
        Type: general
      – SubjectFull: Systems design
        Type: general
    Titles:
      – TitleFull: INTRODUCTION TO THE SPECIAL ISSUE.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Dillon, Laura K.
      – PersonEntity:
          Name:
            NameFull: Sankar, Sriram
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 05
              Text: May97
              Type: published
              Y: 1997
          Identifiers:
            – Type: issn-print
              Value: 00985589
          Numbering:
            – Type: volume
              Value: 23
            – Type: issue
              Value: 5
          Titles:
            – TitleFull: IEEE Transactions on Software Engineering
              Type: main
ResultId 1