Accession Number : ADA308336

Title :   Proceedings of the Monterey Workshop - Specification-Based Software Architectures Held in Monterey, California on 12-14 September 1995.

Descriptive Note : Final rept. 14 Aug 95-15 Aug 96,

Corporate Author : NAVAL POSTGRADUATE SCHOOL MONTEREY CA

Personal Author(s) : Luqi,

PDF Url : ADA308336

Report Date : 31 DEC 1995

Pagination or Media Count : 120

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.

Descriptors :   *SOFTWARE ENGINEERING, *COMPUTER AIDED DESIGN, *SPECIFICATIONS, *COMPUTER ARCHITECTURE, COMPUTER PROGRAMS, REQUIREMENTS, INTEGRATED SYSTEMS, AUTOMATION, WORKSHOPS.

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE