Academic Journal
Προβολή σε EDS

Validating a Demonstration Tool for Graphics-Assisted Debugging of Ada Concurrent Programs.

Λεπτομέρειες βιβλιογραφικής εγγραφής
Τίτλος: Validating a Demonstration Tool for Graphics-Assisted Debugging of Ada Concurrent Programs.
Συγγραφείς: Feldman, Michael B.1, Moran, Melinda L.2
Πηγή: IEEE Transactions on Software Engineering. Mar89, Vol. 15 Issue 3, p305-313. 9p. 7 Diagrams.
Θεματικοί όροι: *Visual programming languages (Computer science), *Concurrent engineering, Ada (Computer program language), Debugging, Computer graphics, Software validation
Περίληψη: The advent of high-resolution graphics workstations at reasonable cost offers great potential in the development of high-level, graphics-oriented debugging tools. The advent of programming languages, Ada, in particular, which support concurrency with high-level primitives, affords the opportunity to develop new models of debugging for programs incorporating concurrent tasks. The marriage of graphics and concurrency-oriented debugging can provide powerful tools indeed. We have developed a demonstration-quality graphics-assisted debugger for intertask communication in Ada. Based on the static task- specification diagrams of Booch, the debugger animates the activity of a collection of communicating tasks, and runs on a DEC CICI terminal connected to a VAX 11-780 under TeleSoft's Ada compiler. The model has been subjected to empirical validation, using under- graduate students as experimental subjects. Subjects were required to debug erroneous tasking programs using both the graphical debugger and a textual one. [ABSTRACT FROM AUTHOR]
Copyright of IEEE Transactions on Software Engineering is the property of IEEE Computer Society and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)
Βάση Δεδομένων: Business Source Index
FullText Text:
  Availability: 0
Header DbId: bsx
DbLabel: Business Source Index
An: 14319081
RelevancyScore: 1169
AccessLevel: 6
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 1169.251953125
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Validating a Demonstration Tool for Graphics-Assisted Debugging of Ada Concurrent Programs.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Feldman%2C+Michael+B%2E%22">Feldman, Michael B.</searchLink><relatesTo>1</relatesTo><br /><searchLink fieldCode="AR" term="%22Moran%2C+Melinda+L%2E%22">Moran, Melinda L.</searchLink><relatesTo>2</relatesTo>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22IEEE+Transactions+on+Software+Engineering%22">IEEE Transactions on Software Engineering</searchLink>. Mar89, Vol. 15 Issue 3, p305-313. 9p. 7 Diagrams.
– Name: Subject
  Label: Subject Terms
  Group: Su
  Data: *<searchLink fieldCode="DE" term="%22Visual+programming+languages+%28Computer+science%29%22">Visual programming languages (Computer science)</searchLink><br />*<searchLink fieldCode="DE" term="%22Concurrent+engineering%22">Concurrent engineering</searchLink><br /><searchLink fieldCode="DE" term="%22Ada+%28Computer+program+language%29%22">Ada (Computer program language)</searchLink><br /><searchLink fieldCode="DE" term="%22Debugging%22">Debugging</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+graphics%22">Computer graphics</searchLink><br /><searchLink fieldCode="DE" term="%22Software+validation%22">Software validation</searchLink>
– Name: Abstract
  Label: Abstract
  Group: Ab
  Data: The advent of high-resolution graphics workstations at reasonable cost offers great potential in the development of high-level, graphics-oriented debugging tools. The advent of programming languages, Ada, in particular, which support concurrency with high-level primitives, affords the opportunity to develop new models of debugging for programs incorporating concurrent tasks. The marriage of graphics and concurrency-oriented debugging can provide powerful tools indeed. We have developed a demonstration-quality graphics-assisted debugger for intertask communication in Ada. Based on the static task- specification diagrams of Booch, the debugger animates the activity of a collection of communicating tasks, and runs on a DEC CICI terminal connected to a VAX 11-780 under TeleSoft's Ada compiler. The model has been subjected to empirical validation, using under- graduate students as experimental subjects. Subjects were required to debug erroneous tasking programs using both the graphical debugger and a textual one. [ABSTRACT FROM AUTHOR]
– Name: AbstractSuppliedCopyright
  Label:
  Group: Ab
  Data: <i>Copyright of IEEE Transactions on Software Engineering is the property of IEEE Computer Society and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract.</i> (Copyright applies to all Abstracts.)
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=bsx&AN=14319081
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1109/32.21758
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 9
        StartPage: 305
    Subjects:
      – SubjectFull: Visual programming languages (Computer science)
        Type: general
      – SubjectFull: Concurrent engineering
        Type: general
      – SubjectFull: Ada (Computer program language)
        Type: general
      – SubjectFull: Debugging
        Type: general
      – SubjectFull: Computer graphics
        Type: general
      – SubjectFull: Software validation
        Type: general
    Titles:
      – TitleFull: Validating a Demonstration Tool for Graphics-Assisted Debugging of Ada Concurrent Programs.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Feldman, Michael B.
      – PersonEntity:
          Name:
            NameFull: Moran, Melinda L.
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 03
              Text: Mar89
              Type: published
              Y: 1989
          Identifiers:
            – Type: issn-print
              Value: 00985589
          Numbering:
            – Type: volume
              Value: 15
            – Type: issue
              Value: 3
          Titles:
            – TitleFull: IEEE Transactions on Software Engineering
              Type: main
ResultId 1