Author:
Montaghami Vajih,Rayside Derek
Publisher
Springer Berlin Heidelberg
Reference10 articles.
1. Lecture Notes in Computer Science;K. Bąk,2011
2. Beck, K.: Test-Driven Development. Addison-Wesley, Reading (2003)
3. Cai, Y.: Modularity in Design: Formal Modeling and Automated Analysis. Ph.D. thesis, University of Virginia (August 2006)
4. Cai, Y., Huynh, S., Xie, T.: A framework and tool supports for testing modularity of software design. In: Egyed, A., Fischer, B. (eds.) Proc. 22nd ASE, Atlanta, GA, pp. 441–444 (November 2007)
5. Cai, Y., Sullivan, K.: Modularity analysis of logical design models. In: Easterbrook, S., Uchitel, S. (eds.) Proc. 21st ASE, Tokyo, Japan (September 2006)
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Forge: A Tool and Language for Teaching Formal Methods;Proceedings of the ACM on Programming Languages;2024-04-29
2. Pardinus: A Temporal Relational Model Finder;Journal of Automated Reasoning;2022-09-12
3. Semantic comparisons of Alloy models;Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems;2020-10-16
4. Fault Localization for Declarative Models in Alloy;2020 IEEE 31st International Symposium on Software Reliability Engineering (ISSRE);2020-10
5. Platinum: Reusing Constraint Solutions in Bounded Analysis of Relational Logic;Fundamental Approaches to Software Engineering;2020