BOOK-CHAPTER

Transforming Formal Specification Constructs into Diagrammatic Notations

Kobamelo MoremediJohn Andrew van der Poll

Year: 2013 Lecture notes in computer science Pages: 212-224   Publisher: Springer Science+Business Media
Keywords:
Diagrammatic reasoning Notation Computer science Programming language Formal specification Formal methods Specification language Software engineering Theoretical computer science Mathematics Arithmetic

Metrics

3
Cited By
0.00
FWCI (Field Weighted Citation Impact)
23
Refs
0.01
Citation Normalized Percentile
Is in top 1%
Is in top 10%

Citation History

Topics

Model-Driven Software Engineering Techniques
Physical Sciences →  Computer Science →  Software
Software Engineering Research
Physical Sciences →  Computer Science →  Information Systems
Formal Methods in Verification
Physical Sciences →  Computer Science →  Computational Theory and Mathematics

Related Documents

JOURNAL ARTICLE

Diagrammatic Formal Specification of a Configuration Control Platform

John HowseSteve SchumanGem StapletonIan Oliver

Journal:   Electronic Notes in Theoretical Computer Science Year: 2009 Vol: 259 Pages: 87-104
JOURNAL ARTICLE

Towards a comparative evaluation of text-based specification formalisms and diagrammatic notations

Kobamelo MoremediJohn Andrew van der Poll

Journal:   International Journal of Data Mining Modelling and Management Year: 2019 Vol: 11 (3)Pages: 259-259
BOOK-CHAPTER

Visualization vs. Specification in Diagrammatic Notations: A Case Study with the UML

Zinovy Diskin

Lecture notes in computer science Year: 2002 Pages: 112-115
BOOK-CHAPTER

Formal specification of graphical notations and graphical software tools

Sharam HekmatpourMark Woodman

Lecture notes in computer science Year: 2006 Pages: 297-305
© 2026 ScienceGate Book Chapters — All rights reserved.