skip to main content
article

Slicing and partial evaluation of CORBA component model designs for avionics system

Published:07 June 2003Publication History
Skip Abstract Section

Abstract

The use of component models such as Enterprise Java Beans and the CORBA Component Model (CCM) in application development is expanding rapidly. Even in real-time safety-critical and mission-critical domains, component-based development is beginning to take hold as a mechanism for in-corporating non-functional aspects such as real-time, quality-of-service, and distribution.

References

  1. Cadena Development Team, SAnToS Laboratory, Kansas State University.Cadena Website. http://www.cis.ksu.edu/cadena, 2003.Google ScholarGoogle Scholar
  2. J. Hatcli, W. Deng, M. Dwyer, G. Jung, and V. Prasad. Cadena: An integrated development, analysis, and verification environment for component-based systems. In Proceedings of the 25th International Conference on Software Engineering May 2003. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. Robby, M. B. Dwyer, and J. Hatcli .Bogor Website. http://www.cis.ksu.edu/bandera/bogor, 2003.Google ScholarGoogle Scholar

Index Terms

  1. Slicing and partial evaluation of CORBA component model designs for avionics system

                  Recommendations

                  Comments

                  Login options

                  Check if you have access through your login credentials or your institution to get full access on this article.

                  Sign in

                  Full Access

                  • Published in

                    cover image ACM SIGPLAN Notices
                    ACM SIGPLAN Notices  Volume 38, Issue 10
                    Proceedings of the ACM SIGPLAN symposium on principles and practice of parallel programming (PPoPP 2003) and workshop on partial evaluation and semantics-based program manipulation (PEPM 2003)
                    October 2003
                    331 pages
                    ISSN:0362-1340
                    EISSN:1558-1160
                    DOI:10.1145/966049
                    Issue’s Table of Contents
                    • cover image ACM Conferences
                      PEPM '03: Proceedings of the 2003 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
                      June 2003
                      100 pages
                      ISBN:1581136676
                      DOI:10.1145/777388

                    Copyright © 2003 ACM

                    Publisher

                    Association for Computing Machinery

                    New York, NY, United States

                    Publication History

                    • Published: 7 June 2003

                    Check for updates

                    Qualifiers

                    • article

                  PDF Format

                  View or Download as a PDF file.

                  PDF

                  eReader

                  View online with eReader.

                  eReader
                  About Cookies On This Site

                  We use cookies to ensure that we give you the best experience on our website.

                  Learn more

                  Got it!