Results 281 to 290 of about 2,907,251 (335)
Formal specification of graphical notations and graphical software tools [PDF]
, 2006 The paper describes a meta language, called PSN (picture specification notation), for the specification of graphical notations in software engineering, and outlines the software tool building system for which it was designed. The latter is based on a prototype system which facilitated the rapid production of tools for processing textual notations ...
Sharam Hekmatpour, Mark Woodman
openaire +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Engineering software-math and graphics
IEEE Spectrum, 1992New 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
Software Systems for Computer Graphics
Computer, 1976This paper describes some software packages and programming systems for computer graphics applications, in the process considering software features for both passive and interactive graphics. It examines the structure both of subroutine libraries for use with some base language and of complete programming languages, and outlines the advantages and ...
openaire +1 more source
Certification/validation of graphics software
Computers & Graphics, 1983Abstract 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
Graphical specifications for concurrent software systems
Proceedings of the 14th international conference on Software engineering - ICSE '92, 1992We 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 +4 more
openaire +2 more sources
Computer graphic design software applications in graphic design
Proceedings of 2011 International Conference on Electronic & Mechanical Engineering and Information Technology, 2011Graphic 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, 1990NCTM'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
Hyper3D: 3D graphics software for examining cultural artifacts
JOCCH, 2014Min H. Kim +4 more
semanticscholar +1 more source
SOFTWARE TOOLS FOR COMPUTER GRAPHICS
1976Ten 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
The design and implementation of the GINO 3D graphics software package
Software, Practice & Experience, 1971P. Woodsford
semanticscholar +1 more source