2496 search results - page 158 / 500 » Error-detecting properties of languages |
95
Voted
KBSE
2005
IEEE
15 years 6 months ago
2005
IEEE
During software maintenance, some non-functional properties may be lost. This is due to the lack of an explicit definition of their links with the corresponding architectural choi...
96
Voted
SOCO
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Behavioral specifications that are integrated into component interfaces are an important means for the correct construction of component-based systems. Currently, such s...
CDC
2009
IEEE
15 years 5 months ago
2009
IEEE
— This paper bridges the advances in computer science and control to allow automatic synthesis of control strategies for complex dynamical systems which are guaranteed, by constr...
120
Voted
VLDB
1998
ACM
15 years 5 months ago
1998
ACM
We present a framework for designing, in a declarative and flexible way, efficient migration programs and an undergoing implementation of a migration tool called RelOO whose targe...
99
Voted
AGP
1998
IEEE
15 years 4 months ago
1998
IEEE
It is important that practical data flow analysers are backed bly proven theoretical results. Abstract interpretation provides a sound mathematical framework and necessary generic ...