A Formal Specification of Line Representations on Graphics Devices.

Lynn S. Marshall

Published in: TAPSOFT, Vol.2 (1985)

Keyphrases

formal specification
model checking
specification languages
specification language
object oriented design
reverse engineering
process algebra
mobile devices
formal methods
data abstraction
concurrent systems
computer graphics
multimedia
grid workflow
software components
user interface
cooperative