987 search results - page 75 / 198 » Extending FeatuRSEB with Concepts from Systems Engineering |
ISSTA
2006
ACM
14 years 2 months ago
2006
ACM
This paper extends basic software-testing theory to software components and adds explicit state to the theory. The resulting theory e enough to abstractly model the construction o...
JVM
2004
13 years 10 months ago
2004
e a new operating system abstraction for partitioning systems, allowing multiple applications to run in isolation from each other on the same physical hardware. This isolation prev...
RE
2010
Springer
13 years 3 months ago
2010
Springer
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...
EWSPT
2001
Springer
14 years 1 months ago
2001
Springer
The emerging field of mobile computing (MC) studies systems in which computational components may change locations. In terms of hardware, mobile work is usually across heterogene...
FOSSACS
2008
Springer
13 years 10 months ago
2008
Springer
In recent years there have been several approaches for the automatic derivation of labels from an unlabeled reactive system. This can be done in such a way that the resulting bisim...