Modeling and visualizing object-oriented programs with Codecharts-Reference-Cited by-同舟云学术

Modeling and visualizing object-oriented programs with Codecharts

Published:2013-01-10 Issue:1 Volume:43 Page:1-28
ISSN:0925-9856
Container-title:Formal Methods in System Design
language:en
Short-container-title:Form Methods Syst Des

Author:

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

Publisher

Springer Science and Business Media LLC

Subject

Hardware and Architecture,Theoretical Computer Science,Software

Link

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

Reference60 articles.

1. Brooks FP (1987) No silver bullet: essence and accidents of software engineering. IEEE Comput Mag 20(4):10–19

2. Lehman MM (1996) Laws of software evolution revisited. In: Proc 5th European workshop software process technology—EWSPT’96, Nancy, France

3. Grant M, Goguen JA (1996) An executable course in the algebraic semantics of imperative programs. In: Dean NC, Hinchey MG (eds) Teaching and learning formal methods. Morgan Kaufmann, San Mateo, pp 161–179

4. Eden AH, Gasparis E, Nicholson J (2007) LePUS3 and Class-Z reference manual. Department of Computer Science, University of Essex, CSM-474, ISSN 1744-8050, Dec

5. Eden AH, Gasparis E, Nicholson J (2007) The ‘Gang of Four’ companion: formal specification of design patterns in LePUS3 and class-Z. Department of Computer Science, University of Essex, CSM-472, Dec

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Agile and hierarchical round-trip engineering of IEC 61131-3 control software;Computers in Industry;2018-04

2. Round-trip engineering with the Two-Tier Programming Toolkit;Software Quality Journal;2017-05-11

3. Towards a formal model of patterns and pattern languages;Information and Software Technology;2016-11

4. On the Composability of Design Patterns;IEEE Transactions on Software Engineering;2015-11-01

5. Structural Analysis of the Check Point Pattern;2014 IEEE 8th International Symposium on Service Oriented System Engineering;2014-04