Proceedings of the 1995 Monterey Workshop Specification-Based Software Architectures
Loading...
Authors
Luqi
Subjects
Advisors
Date of Issue
1995
Date
Publisher
Language
Abstract
The 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.
Type
Report
Description
Series/Report No
Department
Computer Science (CS)
Organization
Identifiers
NPS Report Number
Sponsors
U.S. Army Research Office
Funder
Format
Citation
Distribution Statement
Approved for public release; distribution is unlimited.
Rights
This 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.