Change search
ReferencesLink to record
Permanent link

Direct link
InterTool: Ett grafiskt gränssnitt mot verifikationsverktyg
Number of Authors: 1
1993 (Swedish)Report (Refereed)
Abstract [sv]

A prototype uniform graphical interface to verification tools is presented. Tools and data objects are displayed as icons in a working area. Tools can be connected with pipes to provide automatic data flow. The implementation runs in Unix and X-windows.

Place, publisher, year, edition, pages
Swedish Institute of Computer Science , 1993, 1.
Series
SICS Technical Report, ISSN 1100-3154 ; T93:03
Keyword [en]
verification, specification, graphical user interface
National Category
Computer and Information Science
Identifiers
URN: urn:nbn:se:ri:diva-21447OAI: oai:DiVA.org:ri-21447DiVA: diva2:1041483
Note
The report describing the implementation is in Swedish, but appendixes concerning use and configuration are in English.Available from: 2016-10-31 Created: 2016-10-31

Open Access in DiVA

fulltext(4081 kB)5 downloads
File information
File name FULLTEXT01.pdfFile size 4081 kBChecksum SHA-512
382bd5da85956635a6d634eefddbf9878c9ca14665ac8c706d866d74d194f2133e7c473efcb5731ed128fd265e3398765ba1e50a7da7e85f481fdff944ac70a1
Type fulltextMimetype application/pdf

Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 5 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 2 hits
ReferencesLink to record
Permanent link

Direct link