Formal specification of graphical notations and graphical software tools

BOOK-CHAPTER

Year: 2006 Lecture notes in computer science Pages: 297-305 Publisher: Springer Science+Business Media

DOI: 10.1007/bfb0022122

Keywords:

Computer science Notation Programming language Correctness Software engineering Graphics Software Formal specification Computer graphics (images)

Metrics

Cited By

0.00

FWCI (Field Weighted Citation Impact)

Refs

0.13

Citation Normalized Percentile

Is in top 1%

Is in top 10%

Model-Driven Software Engineering Techniques

Physical Sciences → Computer Science → Software

Software Engineering Research

Physical Sciences → Computer Science → Information Systems

Advanced Software Engineering Methodologies

Physical Sciences → Computer Science → Artificial Intelligence