466 search results - page 11 / 94 » An Approach to Self-adaptive Software Based on Supervisory C... |
LCTRTS
2010
Springer
13 years 5 months ago
2010
Springer
Concurrent Action-Oriented Specifications (CAOS) model the behavior of a synchronous hardware circuit as asynchronous guarded at an abstraction level higher than the Register Tran...
CBSE
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. We present a technique for designing reconfiguration controllers in the Fractal component-based framework. We obtain discrete control loops that automatically enforce saf...
CAI
2000
Springer
13 years 7 months ago
2000
Springer
Abstract. This paper discusses schema evolution in software engineering databases. After a study of existing approaches, we show that these approaches do not satisfy software engin...
IJCAI
2007
13 years 8 months ago
2007
Some Statistical Software Testing approaches rely on sampling the feasible paths in the control flow graph of the program; the difficulty comes from the tiny ratio of feasible p...
ICECCS
1995
IEEE
13 years 11 months ago
1995
IEEE
Large and complex software systems contain a variety of entities objects and a complex control system transformationfunction . The pure object-orienteddesign and structured des...