Modeling and visualizing object-oriented programs with Codecharts
DOI10.1007/S10703-012-0181-1zbMATH Open1291.68141OpenAlexW2151189298MaRDI QIDQ2248065FDOQ2248065
Authors: A. H. Eden, E. Gasparis, J. Nicholson, R. Kazman
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
Recommendations
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)
Cites Work
- Title not available (Why is that?)
- Statecharts: a visual formalism for complex systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- An axiomatic basis for computer programming
- Communicating sequential processes
- The B-Book
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Some notes on putting formal specifications to productive use
- Codecharts. Roadmaps and blueprints for object-oriented programs. With contributions from Jonathan Nicholson
- Title not available (Why is that?)
- Software Evolution
Cited In (3)
Uses Software
This page was built for publication: Modeling and visualizing object-oriented programs with Codecharts
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2248065)