Results 261 to 270 of about 441,587 (283)

Certification/validation of graphics software

Computers & Graphics, 1983
Abstract This glossary clarifies some major technical terms of the certification of graphics software, especially of the Graphical Kernel System GKS. It describes the meaning of “certification”, “validation”, “correctness proving”, and “testing” and gives a very short introduction to the technical procedures and problems related with verification and
openaire   +2 more sources

Portability of interactive graphics software

IEEE Computer Graphics and Applications, 1990
One solution to obtaining a portable graphics architecture is presented. By abstracting the functionality present in most 3-D graphics systems and augmenting it with advanced rendering features, a highly portable, efficient, and modern graphics architecture for interactive 3-D graphics applications (including modeling, animation, and scientific ...
openaire   +2 more sources

Graphical specifications for concurrent software systems

Proceedings of the 14th international conference on Software engineering - ICSE '92, 1992
We present a description of a graphical interval logic that is the foundation of a toolset we are developing to support formal specification and verification of concurrent software systems. Experience has shown that most software engineers find standard temporal logics difficult to under- stand and to use.
Louise E. Moser, Laura K. Dillon, Y. S. Ramakrishna, P. M. Melliar-Smith, C. Kutty   +4 more
openaire   +2 more sources

An integrated system of graphics software

Proceedings of the 5th annual ACM SIGUCCS conference on User services - SIGUCCS '77, 1977
Plotting devices are items of hardware that have generally been available only to the sophisticated few. The Calcomp 936 drum plotter at Syracuse University is probably typical. In order to access the plotter through the standard software, the user had to be a fairly competent Fortran programmer and had to learn to think and work in terms of ...
openaire   +2 more sources

Engineering software-math and graphics

IEEE Spectrum, 1992
New software graphics and mathematical packages that are bringing superior power to engineering applications are discussed. The most successful of these programs are aimed at broad technical and educational markets, and their usefulness to an engineer is linked, in part, to the extensive applications software that comes bundled with them.
openaire   +2 more sources

Formal Specification of Graphics Software

1988
There is currently much interest, both in academia and industry, in the development and application of formal methods for the specification of computer systems. The need for formal specification is first examined, and broad outlines of current approaches are given.
openaire   +2 more sources

Computer graphic design software applications in graphic design

Proceedings of 2011 International Conference on Electronic & Mechanical Engineering and Information Technology, 2011
Graphic design is a products of combination of technology and art. With the development of the times and social progress, all kinds of graphic design combined with computer graphic design software. This article started from the analysis of the concept of computer graphic design software, introduce the concept and current state of graphic design, then ...
openaire   +2 more sources

Graphics Software Side by Side

The Mathematics Teacher, 1990
NCTM's Curriculum and Evaluation Standards for School Mathematics (Standards) (1989) makes some very specific recommendations concerning the use of microcomputers in secondary school mathematics. This document recommends that “a computer will be available at all times in every classroom for demonstration purposes, and all students will have access to ...
openaire   +2 more sources

SOFTWARE TOOLS FOR COMPUTER GRAPHICS

1976
Ten years of extensive research in computer graphics has produced a collection of basic algorithms and procedures whose utility spans many disciplines; they can be regarded as tools. These tools are described in terms of their fundamental aspects, implementations, applications, and availability. Programs which are discussed include basic data plotting,
openaire   +2 more sources

Graphics editing software

XRDS: Crossroads, The ACM Magazine for Students, 2013
openaire   +2 more sources