摘要:

AbstractThe problems associated with using picture segments in interactive applications on workstations with bit‐mapped displays are discussed. A method for displaying and updating segments is introduce

ISSN:0038-0644    

DOI:10.1002/spe.4380161102

出版商:John Wiley&Sons, Ltd.    

年代:1986

数据来源: WILEY

摘要:

AbstractA refinement to a well‐known selection algorithm is described. The refinement results in a useful improvement in the performance of the original algorithm, particularly when the selection index is small relative to the media

ISSN:0038-0644    

DOI:10.1002/spe.4380161103

出版商:John Wiley&Sons, Ltd.    

年代:1986

数据来源: WILEY

摘要:

AbstractWe have built on the U.C.S.D. P‐system (running on an IBM Personal Computer) a relational algebra processor, MRDS/FS, which is extremely powerful and which supports a functional syntax for the programmer‐user. The relational algebra is provided in the extended operators μ‐join, σ‐join, project and select. The domain algebra is fully implemented for the first time, giving operations on attributes: arithmetic, logic, comparison and four different categories of aggregation of these. A strictly functional syntax is provided, permitting user‐defined functions using the relational and domain algebras as primitive operations. An interactive editor permits the creation, copying and changing of both relations and user‐defi

ISSN:0038-0644    

DOI:10.1002/spe.4380161104

出版商:John Wiley&Sons, Ltd.    

年代:1986

数据来源: WILEY

摘要:

AbstractThe effectiveness of set theoretic concepts for the purpose of software specification is becoming more and more widely recognized. This paper presents an integrated relational methodology for software specification, and shows its effectivness when applied to a practical example.

ISSN:0038-0644    

DOI:10.1002/spe.4380161105

出版商:John Wiley&Sons, Ltd.    

年代:1986

数据来源: WILEY

摘要:

AbstractAn experiment is described in which a set of Unix systems linked together into a Unix United system by means of the Newcastle Connection Protocol1is also linked to a system with a dissimilar structure. It demonstrates that the Newcastle Connection technique can be used to connect together operating systems with differing structures and philosophies. The non‐Unix system, known as Nimrod, offers a set of services which can be mapped onto requests for service from standard user processes running on a remote Unix system. The services offered by Nimrod are restricted to those required for providing remote input and output to a terminal, but the results of the experiment suggest that increasing the range of services offered would be possible, despite the substantial differences in structure between Nimrod and Unix. Some of the problems associated with greater levels of inter‐system connection are also discus

ISSN:0038-0644    

DOI:10.1002/spe.4380161106

出版商:John Wiley&Sons, Ltd.    

年代:1986

数据来源: WILEY

摘要:

AbstractThe means whereby computing advice can be given to a scattered community of networked computer users are reviewed and evaluated, particularly with respect to the convenience and effectiveness of the user/adviser contact. Current methods are found lacking and an integrated software ‘advisory environment’ is consequently propo

ISSN:0038-0644    

DOI:10.1002/spe.4380161107

出版商:John Wiley&Sons, Ltd.    

年代:1986

数据来源: WILEY

摘要:

AbstractA simple technique that improves a system's capability of error detection and correction, and enhances software debugging is described in this note. The technique relies on consistency checking of branching variables during branching decisions and the appropriate selection of codes for the permissible values of variables.

ISSN:0038-0644    

DOI:10.1002/spe.4380161108

出版商:John Wiley&Sons, Ltd.    

年代:1986

数据来源: WILEY

ISSN:0038-0644    

DOI:10.1002/spe.4380161110

出版商:John Wiley&Sons, Ltd.    

年代:1986

数据来源: WILEY

ISSN:0038-0644    

DOI:10.1002/spe.4380161111

出版商:John Wiley&Sons, Ltd.    

年代:1986

数据来源: WILEY

ISSN:0038-0644    

DOI:10.1002/spe.4380161101

出版商:John Wiley&Sons, Ltd.    

年代:1986

数据来源: WILEY