Sciweavers

8 search results - page 1 / 2
» apsec 1997
Sort
View
APSEC
1997
IEEE
13 years 9 months ago
Towards Constructing a Class Evolution Model
Takako Nakatani, Tetsuo Tamai, Atsushi Tomoeda, Ha...
APSEC
1997
IEEE
13 years 9 months ago
Using Extended Event Traces to Describe Communication in Software Architectures
A crucial aspect of the architecture of a software system is its decomposition into components and the specification of component interactions. In this report we use a variant of...
Manfred Broy, Christoph Hofmann, Ingolf Krüge...
APSEC
1997
IEEE
13 years 9 months ago
A Formal Operational Semantics for SOFL
SOFL (Structured-Object-Based-Formal Language) is a formal language and method for practical systems development. As a language, it integrates data ow diagrams, VDM-SL, and Petri ...
Chris Ho-Stuart, Shaoying Liu