Titlebook: Software Engineering - ESEC ‘95; 5th European Softwar Wilhelm Sch?fer,Pere Botella Conference proceedings 1995 Springer-Verlag Berlin Heide

CAMEO

Distributed modeling and distributed enaction of business processes,ut at only one site, but they are distributed to several sites. Management of distributed processes means to coordinate distributed modeling and to support distributed process enaction. In this article we illustrate a typical process distribution scenario and we discuss what distributed modeling and

平項山

縱欲

Design process improvement case study using process waiver data,ty problems, a fundamental question is what can reliably be concluded from this data..We propose a model for the empirical study of software development as a way to begin answering this question. This model defines techniques which range over the spectrum of credibility and generalizability. From th

Altitude

Using a symbolic model checker for verify safety properties in SA/RT models,A/RT) for the system behavioural specification, and to complement this with safety properties expressed in a declarative style using temporal logic (CTL). These properties are checked against the operational specification using a model checker (SMV)..In order to formally analyze the system propertie

PET-scan

Instrumentation of Synchronous Reactive Models for performance engineering,c interaction, such as many real-time and communication entities. This paper presents an approach which includes performance modelling techniques in the Synchronous Reactive Modelling method supported by .. It defines a methodology based on timing and probabilistic quantitative constructs which comp

清楚說話

A formal framework for ASTRAL inter-level proof obligations, defined. ASTRAL is provided with structuring mechanisms that allow one to build modularized specifications of complex systems with layering. A realtime system is modeled by a collection of process specifications and a single global specification. Each process specification consists of a sequence of

sorbitol

tympanometry

Measuring product attributes of object-oriented systems,respect to their relevance for controlling software quality. The impact of inappropriate attributes on the usefulness of resulting metrics is discussed with emphasis on the object-oriented paradigm. We demonstrate that some of the obvious shortcomings of proposed metrics are caused by inconsiderate

令人發(fā)膩

Specifying distributed software architectures,h deals with the high-level organisation of computational elements and the interactions between those elements. The paper presents the Darwin notation for specifying this high-level organisation. Darwin is in essence a declarative binding language which can be used to define hierarchic compositions

intrude