Extracting models from design documents with mapster

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Extracting models from design documents with mapster

Full text

Pdf (765 KB)

Source

Annual ACM Symposium on Principles of Distributed Computing archive
Proceedings of the twenty-seventh ACM symposium on Principles of distributed computing table of contents

Toronto, Canada

SESSION: B4-2 table of contents

Pages 456-456

Year of Publication: 2008

ISBN:978-1-59593-989-0

Authors

David James	Palo Alto, CA, USA
Tim Leonard	Intel, Hudson, MA, USA
John O'Leary	Intel, Hudson, MA, USA
Murali Talupur	Intel, Hudson, MA, USA
Mark R. Tuttle	Intel, Hudson, MA, USA

Sponsors

SIGOPS: ACM Special Interest Group on Operating Systems
ACM: Association for Computing Machinery
SIGACT: ACM Special Interest Group on Algorithms and Computation Theory

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 1, Downloads (12 Months): 26, 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/1400751.1400854 What is a DOI?

ABSTRACT

We cannot apply PODC methodologies to industrial designs without formal models of the designs. Formal models are usually hard to find. We have built a tool that extracts formal models directly from design documents.

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	Mani Azimi , Ching-Tsun Chou , Akhilesh Kumar , Victor W. Lee , Phamndra K. Mannava , Seungjoon Park, Experience with Applying Formal Methods to Protocol Specification and System Architecture, Formal Methods in System Design, v.22 n.2, p.109-116, March 2003 [doi>10.1023/A:1022965204416]
	2	C. Heitmeyer, M. Archer, R. Bharadwaj, and R. Jeffords. Tools for constructing requirements specifications: The SCR toolset at the age of ten. International Journal of Computer Systems Science and Engineering, 20(1):19--35, Jan. 2005.
	3	C. Norris Ip , David L. Dill, Better Verification Through Symmetry, Proceedings of the 11th IFIP WG10.2 International Conference sponsored by IFIP WG10.2 and in cooperation with IEEE COMPSOC on Computer Hardware Description Languages and their Applications, p.97-111, April 26-28, 1993
	4	D. Parnas. Inspection of safety-critical software using program function tables. In Proceedings of the IFIP 13th World Computer Congress, pages 270---277, Aug. 1994.