HARVEY CUSHING
- 期刊名称American Journal of Psychiatry
- 作者MCKENZIE, K. G.
- 卷第96卷
- 期第4期
- 印刷ISSN0002-953X
- 电子ISSN1535-7228
- 文件大小713.44KB
- 发表时间1940-01
- DOI10.1176/ajp.96.4.1001
- 页码1001-1007
Model-driven synthesis of formally precise, stylized software architecturesBagheri, Hamid; Sullivan, Kevin · Formal Aspects of Computing · 2016
Automated Synthesis and Dynamic Analysis of Tradeoff Spaces for Object-Relational MappingBagheri, Hamid; Tang, Chong; Sullivan, Kevin · IEEE Transactions on Software Engineering · 2016
[ACM Press the 36th International Conference - Hyderabad, India (2014.05.31-2014.06.07)] Proceedings of the 36th International Conference on Software Engineering - ICSE 2014 - TradeMaker: automated dynamic analysis of synthesized tradespacesBagheri, Hamid; Tang, Chong; Sullivan, Kevin · 2014
[ACM Press the IEEE/ACM international conference - Antwerp, Belgium (2010.09.20-2010.09.24)] Proceedings of the IEEE/ACM international conference on Automated software engineering - ASE '10 - Architectural style as an independent variableBagheri, Hamid; Song, Yuanyuan; Sullivan, Kevin · 2010
[IEEE 2013 35th International Conference on Software Engineering (ICSE) - San Francisco, CA, USA (2013.05.18-2013.05.26)] 2013 35th International Conference on Software Engineering (ICSE) - Bottom-up model-driven developmentBagheri, Hamid; Sullivan, Kevin · 2013
[IEEE 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C) - Buenos Aires, Argentina (2017.5.20-2017.5.28)] 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C) - Towards Designing Effective Data Persistence through Tradeoff Space AnalysisTang, Chong; Bagheri, Hamid; Paisarnsrisomsuk, Sarun; Sullivan, Kevin · 2017