Transforming Formal Specification Constructs into Diagrammatic Notations

Kobamelo Moremedi; John Andrew van der Poll

doi:10.1007/978-3-642-41366-7_18

ScienceGate Book Chapters

BOOK-CHAPTER

Transforming Formal Specification Constructs into Diagrammatic Notations

Kobamelo Moremedi John Andrew van der Poll

Year: 2013 Lecture notes in computer science Pages: 212-224 Publisher: Springer Science+Business Media

DOI: 10.1007/978-3-642-41366-7_18

Get Full-Text PDF Get Analytical Report

Keywords:

Diagrammatic reasoning Notation Computer science Programming language Formal specification Formal methods Specification language Software engineering Theoretical computer science Mathematics Arithmetic

Metrics

Cited By

0.00

FWCI (Field Weighted Citation Impact)

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

Transforming Formal Specification Constructs into Diagrammatic Notations

Metrics

Citation History

Topics

Related Documents

Transforming Storyboards into Diagrammatic Models

Diagrammatic Formal Specification of a Configuration Control Platform

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

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

Formal specification of graphical notations and graphical software tools