Author:
Welch James,Faitelson David,Davies Jim
Publisher
Springer Science and Business Media LLC
Subject
Modeling and Simulation,Software
Reference18 articles.
1. Antoniou, G., Arief, M.: Executable declarative business rules and their use in electronic commerce. In: SAC ’02: Proceedings of the 2002 ACM symposium on Applied computing, pp. 6–10. ACM Press, New York (2002)
2. Barnett, M., Leino, K.R.M., Schulte, W.: The Spec# programming system: An overview. In: Proceedings of CASSIS 2004. LNCS, vol. 3362. Springer, Heidelberg (2004)
3. Ceri S., Fraternali P., Paraboschi S. and Tanca L. (1994). Automatic generation of production rules for integrity maintenance. ACM Trans. Database Syst. 19(3): 367–422
4. Davies, J., Crichton, C., Crichton, E., Neilson, D., Sørensen, Ib H.: Formality, evolution, and model-driven software engineering. In: Proceedings of SBMF 2004, Electronic Notes in Computer Science. Elsevier, Amsterdam (2005)
5. Davies, J., Faitelson, D., Welch, J.: Domain-specific semantics and the data refinement of object models. In: Proceedings of SBMF 2006, Electronic Notes in Theoretical Computer Science. Elsevier, Amsterdam (2007)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Class Diagrams with Equated Association Chains;2013 International Symposium on Theoretical Aspects of Software Engineering;2013-07
2. Formal Model-Driven Engineering: Generating Data and Behavioural Components;Electronic Proceedings in Theoretical Computer Science;2012-12-29