Output details
11 - Computer Science and Informatics
University of Brighton
Return to search
Output 0 of 0 in the submission
Article title
Modeling and visualizing object-oriented programs with Codecharts
Type
D - Journal article
Title of journal
Formal Methods in System Design
Article number
-
Volume number
43
Issue number
1
First page of article
1
ISSN of journal
0925-9856
Year of publication
2013
Number of additional authors
3
Additional information
<20>
This article demonstrates how to reconcile theoretical concerns for rigour and minimality with the practical concerns for abstraction, scalability and automated verifiability. It extends ‘LePUS3: An Object-Oriented Design Description Language’ that was presented at the 5th International Conference on the Theory and Application of Diagrams 2008, a premier international conference on diagrams. Formal Methods in System Design is A rated in the Australian ERA/CORE list.
Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
0
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-