You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: University of Brighton » Outputs » Detail

Output details

11 - Computer Science and Informatics

University of Brighton

Return to search Previous output Next output

Output 20 of 32 in the submission

Article title

Modeling and visualizing object-oriented programs with Codecharts

Type

D - Journal article

DOI

10.1007/s10703-012-0181-1

Title of journal

Formal Methods in System Design

Article number

Volume number

Issue number

First page of article

ISSN of journal

0925-9856

Year of publication

2013

URL

http://link.springer.com/article/10.1007/s10703-012-0181-1

Number of additional authors

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

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract