Proceedings of the Monterey Workshop - Specification-Based Software Architectures Held in Monterey, California on 12-14 September 1995.
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.
Document Details
- Document Type
- Technical Report
- Publication Date
- Dec 31, 1995
- Accession Number
- ADA308336
Entities
People
- Luqi
Organizations
- Naval Postgraduate School