ACM Portal
  Subscribe (Full Service)    Register (Limited Service, Free)    Login
  Search:   The ACM Digital Library   The Guide
  
ACM Home Page
Please provide us with feedback. Feedback
Provably dependable software architectures
Full text PdfPdf (456 KB)
Source Foundations of Software Engineering archive
Proceedings of the third international workshop on Software architecture table of contents
Orlando, Florida, United States
Pages: 133 - 136  
Year of Publication: 1998
ISBN:1-58113-081-3
Authors
Victoria Stavridou  SRI International, Menlo Park, CA
R. A. Riemenschneider  SRI International, Menlo Park, CA
Sponsors
SIGSOFT: ACM Special Interest Group on Software Engineering
SIGPLAN: ACM Special Interest Group on Programming Languages
Publisher
ACM  New York, NY, USA
Bibliometrics
Downloads (6 Weeks): 4,   Downloads (12 Months): 26,   Citation Count: 2
Additional Information:

references   cited by   index terms   collaborative colleagues  

Tools and Actions: Request Permissions Request Permissions    Review this Article  
DOI Bookmark: Use this link to bookmark this Article: http://doi.acm.org/10.1145/288408.288442
What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

 
1
JIAWG Advanced Avionics Architecture (A3) Standard, JIAWG Document No. J87-01, December 1991.
 
2
M. Moriconi , Xiaolei Qian , R. A. Riemenschneider , Li Gong, Secure software architectures, Proceedings of the 1997 IEEE Symposium on Security and Privacy, p.84, May 04-07, 1997
 
3
M. Moriconi and R. A. Riemenschneider. Introduction to SADL 1.0: A language for specifying software architecture hierarchies. Technical Report SRI-CSL-97-01, Computer Science Laboratory, SRI International, March 1997. Available at http://wv.csl.sri.com/sadl/sadl-intro.ps.gz.
 
4
A. Nadesakumar, R. M. Crowder, and C. J. Harris. Advanced system concepts for future civil aircraft - an overview of avionics architectures. Proceedings of Institution of Mechanical Engineers, 209:265-272, 1995.
 
5
X/Open Company, Apex Plaza, Forbury Road, Reading, Berkshire RGl IAX, U.K. Distributed ZYansaction Processing: Reference Model, November 1993.

CITED BY  2
Marshall Brinn , Mark Greaves, Leveraging agent properties to assure survivability of distributed multi-agent systems, Proceedings of the second international joint conference on Autonomous agents and multiagent systems, July 14-18, 2003, Melbourne, Australia
Rogério de Lemos , José Luiz Fiadeiro, An architectural support for self-adaptive software for treating faults, Proceedings of the first workshop on Self-healing systems, November 18-19, 2002, Charleston, South Carolina

INDEX TERMS

Primary Classification:
  K. Computing Milieux
  K.6 MANAGEMENT OF COMPUTING AND INFORMATION SYSTEMS
      K.6.3 Software Management
          Subjects: Software development

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING


General Terms:
Design, Performance, Reliability, Theory

Collaborative Colleagues:
Victoria Stavridou: colleagues
R. A. Riemenschneider: colleagues

The ACM Portal is published by the Association for Computing Machinery. Copyright © 2009 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us

Useful downloads: Adobe Acrobat    QuickTime    Windows Media Player    Real Player