Proceedings of the 1995 Monterey Workshop Specification-Based Software Architectures
MetadataShow full item record
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.
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.
Showing items related by title, author, creator and subject.
Steps towards parsing of query sequences to a database / Proceedings of the First International Workshop on Expert Database Systems, October 1984 Rowe, Neil C. (Monterey, California. Naval Postgraduate School, 1984-10);Sequences of queries to a database system can have structure. Recognizing this structure is a kind of "parsing", analogous to the parsing of sentences. We present two rather different approaches to recognition for exploitation. ...
Lieberman, Steve (2009-11);Understanding the social behavioral characteristics of the population in irregular warfare operations presents a major challenge to the defense modeling and simulation communities. However, a clear need has been ...
Mueller, James L.; Austin, Roswell W.; Hooker, Stanford B.; Firestone, Elaine R. (1992/07);This report presents protocols for measuring optical properties, and other environmental variables, to validate the radiometric performance of the Sea-viewing Wide Field-of-view Sensor (SeaWiFS), and to develop and validate ...