Meta-Modelling for Formal Software Development-Reference-Cited by-同舟云学术

Meta-Modelling for Formal Software Development

Published:2001-01 Issue: Volume:42 Page:1-11
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Sreenivas A.,Venkatesh R.,Joseph M.

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference14 articles.

1. T. Clark, A. Evans, S Kent, S Brodsky, and S Cook. A feasibility study in rearchitecting uml as a family of languages using a precise oo meta-modeling approach. Technical report. Available from http://www.puml.org.

2. P. Cousot and R. Cousot. Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In Symposium on Principles of Programming Languages, pages 238  252. ACM, 1977.

3. Attribute Grammars—Definitions, Systems and Bibliography, volume 323 of Lecture Notes in Computer Science,1988

4. On visual formalisms;Harel;Communications of the ACM,1988

5. Flow Analysis of Computer Programs;Hecht,1977

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

1. Architecting Enterprises for IT-Enabled Value Creation (Part 3);International Journal of Green Computing;2013-07

2. Model-Driven Development of Enterprise Applications;UML Modeling Languages and Applications;2005

3. Adding Formalism to Methods or Where and When Will Industry Use Formal Reasoning?;Formal Methods and Software Engineering;2003

4. Generating Enterprise Applications from Models;Advances in Object-Oriented Information Systems;2002