Assurance patterns for distributed real-time embedded systems

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Assurance patterns for distributed real-time embedded systems

Full text

Pdf (213 KB)

Source

International Conference on Software Engineering archive
Proceedings of the 27th international conference on Software engineering table of contents

St. Louis, MO, USA

SESSION: Doctoral symposium oral presentations table of contents

Pages: 657 - 657

Year of Publication: 2005

ISBN:1-59593-963-2

Author

Sascha Konrad

Michigan State University, East Lansing, MI

Sponsors

ACM: Association for Computing Machinery
SIGSOFT: ACM Special Interest Group on Software Engineering

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 6, Downloads (12 Months): 24, Citation Count: 0

Additional Information:

abstract references index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/1062455.1062591 What is a DOI?

ABSTRACT

No abstract available

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	Sascha Konrad , Laura A. Campbell , Betty H. C. Cheng, Automated Analysis of Timing Information in UML Diagrams, Proceedings of the 19th IEEE international conference on Automated software engineering, p.350-353, September 20-24, 2004 [doi>10.1109/ASE.2004.14]
	2	S. Konrad, L. A. Campbell, B. H. C. Cheng, and M. Deng. A requirements patterns-driven approach to check systems and specify properties. In T. Ball and S. K. Rajamani, editors, Model Checking Software, 10th Int. SPIN Workshop, number 2648 in Lecture Notes in Computer Science, pages 18--33. Springer Verlag, May 2003.
	3	S. Konrad and B. H. C. Cheng. Facilitating the derivation and instantiation of specification patterns. Technical Report MSU-CSE-05-4, Computer Science and Engineering, Michigan State University, East Lansing, Michigan, January 2005.
	4	Sascha Konrad , Betty H. C. Cheng, Real-time specification patterns, Proceedings of the 27th international conference on Software engineering, May 15-21, 2005, St. Louis, MO, USA [doi>10.1145/1062455.1062526]
	5	Sascha Konrad , Betty H. C. Cheng , Laura A. Campbell, Object Analysis Patterns for Embedded Systems, IEEE Transactions on Software Engineering, v.30 n.12, p.970-992, December 2004 [doi>10.1109/TSE.2004.102]