Sciweavers

8 search results - page 1 / 2
» apsec 1997
Sort
View
120
Voted
APSEC
1997
IEEE
15 years 10 months ago
Design by Contract for Python
Reinhold Plösch
APSEC
1997
IEEE
15 years 10 months ago
Towards Constructing a Class Evolution Model
Takako Nakatani, Tetsuo Tamai, Atsushi Tomoeda, Ha...
APSEC
1997
IEEE
15 years 10 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
15 years 10 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