The EEC Workshop on Formal Specification of Graphics Software Standards.
David A. DucePublished in: Comput. Graph. Forum (1982)
Keyphrases
- formal specification
- object oriented design
- software components
- formal methods
- specification languages
- model checking
- specification language
- process algebra
- software development
- reverse engineering
- iso iec
- user interface
- data abstraction
- software systems
- web services
- software design
- formal specification language
- software architecture
- concurrent systems
- software projects
- statistical summaries
- protocol specification
- control flow
- software maintenance
- open standards
- test cases
- multimedia
- real world
- software process
- source code