Titlebook: Software Engineering - ESEC-FSE ‘97; 6th European Softwar Mehdi Jazayeri,Helmut Schauer Conference proceedings 1997 Springer-Verlag Berlin

parsimony

nettle

0302-9743 M SIGSOFT Symposium on the Foundations of Software Engineering, FSE ‘97 in Zurich, Switzerland in September 1997..The volume presents 27 revised full papers selected from a total of 194 submissions. Also included are six invited presentations. All in all the volume is a unique presentation of state-

改良

majestic

Subtypes for specifications,late that typechecking can use the services of the theorem prover. This allows interesting extensions to the type systems provided for specification languages. I describe one such extension called “predicate subtyping” and illustrate its utility as mechanized in PVS.

Lipoma

Esalate

大炮

Security issues in distributed software, for secure computer systems becomes more apparent. This need is even more apparent as the systems and applications are being distributed and access is via an insecure network. The security of these systems can be achieved only through systematic design; they can not be achieved through haphazard se

Hyperplasia

A framework for classifying and comparing architecture description languages,tecture description languages (ADLs) have been proposed as modeling notations to support architecture-based development. There is, however, little consensus in the research community on what is an ADL, what aspects of an architecture should be modeled in an ADL, and which ADL is best suited for a pa

botany

Applying static analysis to software architectures,iption. Specifically, we use two concurrency analysis tools, INCA, a flow equation based tool, and FLAVERS, a data flow analysis based tool, to detect errors or prove properties of a WRIGHT architecture description of the gas station problem. Although both these tools are research prototypes, they i

Acquired