3256 search results - page 340 / 652 » Applications of Formal Methods to System Design and Verifica... |
152
click to vote
ICSM
1997
IEEE
15 years 11 months ago
1997
IEEE
Conventional software engineering tends to focus on a small part of the software life cycle: the design and implementation of a product. The bulk of the lifetime cost is in the ma...
175
click to vote
ICARCV
2006
IEEE
16 years 22 days ago
2006
IEEE
- In this paper, a new design method of adaptive PID controller is proposed. The method utilizes the so- called almost strict positive realness (ASPR) of the plant so that the stab...
171
click to vote
ECBS
2000
IEEE
15 years 11 months ago
2000
IEEE
The design of a large component-based software system typically involves the composition of different components. Instead of relying on a free composition of components, we advoca...
190
click to vote
JSS
2007
15 years 6 months ago
2007
Research into design rationale in the past has focused on argumentation-based design deliberations. These approaches cannot be used to support change impact analysis effectively ...
181
click to vote
IPPS
2007
IEEE
16 years 29 days ago
2007
IEEE
Most application level fault tolerance schemes in literature are non-adaptive in the sense that the fault tolerance schemes incorporated in applications are usually designed witho...