Show simple item record

dc.contributor.authorLuqi
dc.date.accessioned2015-08-19T22:51:07Z
dc.date.available2015-08-19T22:51:07Z
dc.date.issued1995
dc.identifier.urihttp://hdl.handle.net/10945/46121
dc.descriptionApproved for public release: distribution unlimiteden_US
dc.description.abstractThe purpose of the workshop is to assess current efforts, to identify results and directions for increasing the degree of automation, to build a common understanding about the integration of methods and tools, and ultimately to help bring formal methods into practical use. The 1995 Monterey Workshop focuses on specification-based software architectures, because it is a current and practically significant large-scale problem that promises to be amenable to formalization. Some aspects of this problem are: formalizing the requirements on the components that can fit in a given slot in an architecture, developing methods for realizing or checking those requirements, formalizing types of connections, and methods for converting one kind of connection into another, and developing methods for systematically generalizing architectures. The workshop will help researchers working on formal methods for different aspects of software development to understand recent progress on formalizing other, related aspects of the problem, and to identify issues from those other areas that have direct implications for their own work.en_US
dc.description.sponsorshipU.S. Army Research Officeen_US
dc.rightsThis publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.en_US
dc.titleProceedings of the 1995 Monterey Workshop Specification-Based Software Architecturesen_US
dc.typeReporten_US
dc.contributor.departmentComputer Scienceen_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record