SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Proceedings of the FSE/SDP Workshop on the Future of Software Engineering Research, FoSER 2010

Volumn , Issue , 2010, Pages 125-127

Software engineering in an uncertain world

(1) Garlan, David a

a Carnegie Mellon University (United States)

Author keywords

Software architecture. uncertainty; Software design; Software engineering

Indexed keywords

PARADIGM SHIFTS; RESEARCH CHALLENGES; SOFTWARE SYSTEMS;

DESIGN; ENGINEERING RESEARCH; SOFTWARE ARCHITECTURE;

SOFTWARE DESIGN;

EID: 79951610723 PISSN: None EISSN: None Source Type: Conference Proceeding
DOI: 10.1145/1882362.1882389 Document Type: Conference Paper

Times cited : (131)

References (8)

1
- 45349083234
- Evaluation of an integrated multi-task machine learning system with humans in the loop
- Jan
- Steinfeld, A., Bennet, R., Cunningham, K., Lahut, M., Quinones, P., Wexler, D., Siewiorek, D. P., Hayes, J., Cohen, P., Fitzgerald, J., Hansson, O., Pool, M., Drummond, M. Evaluation of an Integrated Multi-Task Machine Learning System with Humans in the Loop. In Proceedings of NIST Performance Metrics for Intelligent Systems Workshop (PerMIS), Jan, 2007.
- (2007) Proceedings of NIST Performance Metrics for Intelligent Systems Workshop (PerMIS)
- Steinfeld, A.¹ Bennet, R.² Cunningham, K.³ Lahut, M.⁴ Quinones, P.⁵ Wexler, D.⁶ Siewiorek, D.P.⁷ Hayes, J.⁸ Cohen, P.⁹ Fitzgerald, J.¹⁰ Hansson, O.¹¹ Pool, M.¹² Drummond, M.¹³

2
- 34249108112
- The RADAR architecture for personal cognitive assistance
- April
- Garlan, D. and Schmerl, B. The RADAR Architecture for Personal Cognitive Assistance. In International Journal of Software Engineering and Knowledge Engineering, Vol. 17(2), April 2007.
- (2007) International Journal of Software Engineering and Knowledge Engineering , vol.17 , Issue.2
- Garlan, D.¹ Schmerl, B.²

3
- 21644437974
- The google file system
- Lake George, NY, October
- Ghemawat, S., Gobioff, H., and Leung, S. The Google File System. Proceeding of the 19th ACM Symposium on Operating Systems Principles,Lake George, NY, October, 2003.
- (2003) Proceeding of the 19th ACM Symposium on Operating Systems Principles
- Ghemawat, S.¹ Gobioff, H.² Leung, S.³

4
- 33749417326
- Quantitative refinement and model checking for the analysis of probabilistic systems
- FM 2006: Formal Methods - 14th International Symposium on Formal Methods, Proceedings
- McIver,A. Quantitative Refinement and Model Checking for the Analysis of Probabilistic Systems. In Formal Methods 2006, Springer, LNCS 4085, pages 131-146, August 2006. (Pubitemid 44502903)
- (2006) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , vol.4085 , pp. 131-146
- McIver, A.K.¹

5
- 33745802027
- PRISM: A tool for automatic verification of probabilistic systems
- DOI 10.1007/11691372-29, Tools and Algorithms for the Construction and Analysis of Systems - 12th International Conference, TACAS 2006. Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2006
- Hinton, A., Kwiatkowska, M., Norman, G., Parker, D. "PRISM: A Tool for Automatic Verification of Probabilistic Systems". Proc. 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'06), volume 3920 of Lecture Notes in Computer Science, pages 441-444, Springer, 2006. (Pubitemid 44019387)
- (2006) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , vol.3920 , pp. 441-444
- Hinton, A.¹ Kwiatkowska, M.² Norman, G.³ Parker, D.⁴

6
- 7244223259
- Rainbow: Architecture-based self adaptation with reusable infrastructure
- October
- Shang-Wen Cheng, An-Cheng Huang, David Garlan, Bradley Schmerl, and Peter Steenkiste. "Rainbow: Architecture-Based Self Adaptation with Reusable Infrastructure," IEEE Computer Volume 37, Number 10, October 2004.
- (2004) IEEE Computer , vol.37 , Issue.10
- Cheng, S.-W.¹ Huang, A.-C.² Garlan, D.³ Schmerl, B.⁴ Steenkiste, P.⁵

7
- 79951608130
- Handling uncertainty in autonomic systems
- November
- Shang-Wen Cheng and David Garlan. Handling Uncertainty in Autonomic Systems. In Proceedings of the International Workshop on Living with Uncertainties (IWLU'07), November 2007.
- (2007) Proceedings of the International Workshop on Living with Uncertainties (IWLU'07)
- Cheng, S.-W.¹ Garlan, D.²

8
- 70349716566
- PhD. Thesis. CMU-ISR-08-113. May
- Cheng, S. Rainbow: Cost-Effective Software Architecture-Based Self-Adaptation. PhD. Thesis. CMU-ISR-08-113. May 2008
- (2008) Rainbow: Cost-Effective Software Architecture-Based Self-Adaptation
- Cheng, S.¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.