15 search results - page 1 / 3 » apsec 2003 |
APSEC
2003
IEEE
13 years 10 months ago
2003
IEEE
APSEC
2003
IEEE
13 years 10 months ago
2003
IEEE
APSEC
2003
IEEE
13 years 8 months ago
2003
IEEE
Using the language Z for more than specification is hindered by the fact that its algebra of schemas is not monotonic with respect to refinement; so specification is modular, but ...
APSEC
2003
IEEE
13 years 10 months ago
2003
IEEE
This paper describes a process for selecting and evaluating candidates for component based software engineering. The process is aimed at developers sourcing components from third ...
APSEC
2003
IEEE
13 years 8 months ago
2003
IEEE
This paper investigates data-refinement by backward simulation for specifications whose semantics is given by partial relations. The standard model-theoretic approach is based on ...