메뉴 건너뛰기




Volumn 3676 LNCS, Issue , 2005, Pages 17-28

Certifiable program generation

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); COMPUTER PROGRAMMING LANGUAGES; EMBEDDED SYSTEMS; ERROR CORRECTION; SAFETY FACTOR; SENSORS;

EID: 33646129218     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11561347_3     Document Type: Conference Paper
Times cited : (15)

References (20)
  • 1
    • 84983014000 scopus 로고    scopus 로고
    • Planware - Domain-specific synthesis of high-performance schedulers
    • +98]. In D. F. Redmiles and B. Nuseibeh, (eds.), IEEE Comp. Soc. Press
    • +98] L. Blaine, L.-M Gilham, J. Liu, D. R. Smith, and S. Westfold. "Planware - Domain-Specific Synthesis of High-Performance Schedulers". In D. F. Redmiles and B. Nuseibeh, (eds.), Proc. 13th Intl. Conf. Automated Software Engineering, pp. 270-280. IEEE Comp. Soc. Press, 1998.
    • (1998) Proc. 13th Intl. Conf. Automated Software Engineering , pp. 270-280
    • Blaine, L.1    Gilham, L.-M.2    Liu, J.3    Smith, D.R.4    Westfold, S.5
  • 3
    • 35248868939 scopus 로고    scopus 로고
    • Correctness of source-level safety policies
    • [DF03]. In K. Araki, S. Gnesi, and D. Mandrioli, (eds.), Springer
    • [DF03] E. Denney and B. Fischer. "Correctness of Source-Level Safety Policies". In K. Araki, S. Gnesi, and D. Mandrioli, (eds.), Proc. FM 2003: Formal Methods, Lect. Notes Comp. Sci. 2805, pp. 894-913. Springer, 2003.
    • (2003) Proc. FM 2003: Formal Methods, Lect. Notes Comp. Sci. , vol.2805 , pp. 894-913
    • Denney, E.1    Fischer, B.2
  • 4
    • 33646163794 scopus 로고    scopus 로고
    • An empirical evaluation of automated theorem provers in software certification
    • [DFS05]. To appear
    • [DFS05] E. Denney, B. Fischer, and J. Schumann. "An Empirical Evaluation of Automated Theorem Provers in Software Certification". International Journal of AI Tools, 2005. To appear.
    • (2005) International Journal of AI Tools
    • Denney, E.1    Fischer, B.2    Schumann, J.3
  • 7
    • 0037851834 scopus 로고    scopus 로고
    • AutoBayes: A system for generating data analysis programs from statistical models
    • [FS03]
    • [FS03] B. Fischer and J. Schumann. "AutoBayes: A System for Generating Data Analysis Programs from Statistical Models". J. Functional Programming, 13(3):483-508, 2003.
    • (2003) J. Functional Programming , vol.13 , Issue.3 , pp. 483-508
    • Fischer, B.1    Schumann, J.2
  • 8
    • 8344287687 scopus 로고    scopus 로고
    • Program synthesis
    • [Kre98]. In W. Bibel and P. H. Schmitt, (eds.), Kluwer
    • [Kre98] C. Kreitz. "Program Synthesis". In W. Bibel and P. H. Schmitt, (eds.), Automated Deduction - A Basis for Applications, pp. 105-134. Kluwer, 1998.
    • (1998) Automated Deduction - A Basis for Applications , pp. 105-134
    • Kreitz, C.1
  • 9
    • 84888253055 scopus 로고    scopus 로고
    • Certifying domain-specific policies
    • [LPRO1]. In M. S. Feather and M. Goedicke, (eds.), IEEE Comp. Soc. Press
    • [LPRO1] M. Lowry, T. Pressburger, and G. Rosu. "Certifying Domain-Specific Policies". In M. S. Feather and M. Goedicke, (eds.), Proc. 16th Intl. Conf. Automated Software Engineering, pp. 118-125. IEEE Comp. Soc. Press, 2001.
    • (2001) Proc. 16th Intl. Conf. Automated Software Engineering , pp. 118-125
    • Lowry, M.1    Pressburger, T.2    Rosu, G.3
  • 13
    • 0031632699 scopus 로고    scopus 로고
    • The design and implementation of a certifying compiler
    • [NL98]. In K. D. Cooper, (ed.), ACM Press, Published as SIGPLAN Notices 33(5)
    • [NL98] G. C. Necula and P. Lee. "The Design and Implementation of a Certifying Compiler". In K. D. Cooper, (ed.), Proc. ACM Conf. Programming Language Design and Implementation 1998, pp. 333-344. ACM Press, 1998. Published as SIGPLAN Notices 33(5).
    • (1998) Proc. ACM Conf. Programming Language Design and Implementation 1998 , pp. 333-344
    • Necula, G.C.1    Lee, P.2
  • 14
    • 0003666540 scopus 로고
    • Software considerations in airborne systems and equipment certification
    • [RTC92] RTCA Special Committee 167. RTCA, Inc., December
    • [RTC92] RTCA Special Committee 167. Software Considerations in Airborne Systems and Equipment Certification. Technical report, RTCA, Inc., December 1992.
    • (1992) Technical Report
  • 15
    • 0025488553 scopus 로고
    • KIDS: A semi-automatic program development system
    • [Smi90]
    • [Smi90] D. R. Smith. "KIDS: A Semi-Automatic Program Development System". IEEE Trans. Software Engineering, 16(9): 1024-1043, 1990.
    • (1990) IEEE Trans. Software Engineering , vol.16 , Issue.9 , pp. 1024-1043
    • Smith, D.R.1
  • 17
    • 0030718431 scopus 로고    scopus 로고
    • Proving refinement transformations for deriving high-assurance software
    • [WB96]. IEEE Comp. Soc. Press
    • [WB96] V. L. Winter and J. M. Boyle. "Proving Refinement Transformations for Deriving High-Assurance Software". In Proc. High-Assurance Systems EngineeringWorkshop, pp. 68-77. IEEE Comp. Soc. Press, 1996.
    • (1996) Proc. High-assurance Systems EngineeringWorkshop , pp. 68-77
    • Winter, V.L.1    Boyle, J.M.2
  • 19
    • 12744267748 scopus 로고    scopus 로고
    • Automating the implementation of kalman filter algorithms
    • [WS04]
    • [WS04] J. Whittle and J. Schumann. "Automating the Implementation of Kalman Filter Algorithms". ACM Transactions on Mathematical Software, 30(4):434-453, 2004.
    • (2004) ACM Transactions on Mathematical Software , vol.30 , Issue.4 , pp. 434-453
    • Whittle, J.1    Schumann, J.2


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