1199 search results - page 88 / 240 » Software Verification and Software Engineering a Practitione... |
100
click to vote
COMPSAC
2002
IEEE
15 years 9 months ago
2002
IEEE
Service availability is of key importance to operations and maintenance systems for mobile telephony networks. This paper will describe some of the challenges in providing continu...
132
click to vote
ISOTAS
1993
15 years 8 months ago
1993
We examine the problem of how to ensure behavioral consistency of an object-oriented system after its schema has been updated. The problem is viewed from the perspective of both t...
142
click to vote
SEKE
1992
Springer
15 years 8 months ago
1992
Springer
Domain analysis typically results in the construction of a domain-specific repository. Such a repository imposes artificial boundaries on the sharing of similar assets between rel...
155
click to vote
FOSSACS
2011
Springer
14 years 8 months ago
2011
Springer
The paper investigates non-deterministic, probabilistic and quantum walks, from the perspective of coalgebras and monads. Nondeterministic and probabilistic walks are coalgebras of...
140
click to vote
COMPSAC
2009
IEEE
15 years 11 months ago
2009
IEEE
In this paper we present ESIDE, an integrated development environment for component-based embedded systems. It leverages component-based software engineering principles to facilit...