Modeling and visualizing object-oriented programs with Codecharts

DOI10.1007/s10703-012-0181-1zbMath1291.68141OpenAlexW2151189298MaRDI QIDQ2248065

E. Gasparis, R. Kazman, A. H. Eden, J. Nicholson

Publication date: 30 June 2014

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10703-012-0181-1

zbMATH Keywords

object-oriented programmingpatternsdesign conceptsdesign notations and documentation

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• LARCH
• Codecharts

Cites Work

• Statecharts: a visual formalism for complex systems
• Some notes on putting formal specifications to productive use
• Codecharts
• Communicating sequential processes
• The B-Book
• Software Evolution
• An axiomatic basis for computer programming
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item