Sciweavers

4686 search results - page 394 / 938
» Time-lagged Directed Information
Sort
View
IWPSE
2005
IEEE
16 years 13 days ago
Challenges in Software Evolution
Today’s information technology society increasingly relies on software at all levels. Nevertheless, software quality generally continues to fall short of expectations, and softw...
Tom Mens, Michel Wermelinger, Stéphane Duca...
PRDC
2005
IEEE
16 years 12 days ago
On Automating Failure Mode Analysis and Enhancing its Integrity
This paper reports our experience on the development of a design-for-safety (DFS) workbench called Risk Assessment and Management Environment (RAME) for microelectronic avionics s...
Kam S. Tso, Ann T. Tai, Savio N. Chau, Leon Alkala...
QSIC
2005
IEEE
16 years 12 days ago
Systematic Incremental Development of Agent Systems, using Prometheus
This paper presents a mechanism for dividing an agent oriented application into the three IEEE defined scoping levels of essential, conditional and optional. This mechanism is ap...
Mikhail Perepletchikov, Lin Padgham
SCAM
2005
IEEE
16 years 12 days ago
Pointer Analysis for Source-to-Source Transformations
We present a pointer analysis algorithm designed for source-to-source transformations. Existing techniques for pointer analysis apply a collection of inference rules to a dismantl...
Marcio Buss, Stephen A. Edwards, Bin Yao, Dan G. W...
SEW
2005
IEEE
16 years 12 days ago
A Generative Style-driven Framework for Software Architecture Design
Compared with texts, graphs are more intuitive to express comparative and structural information. Many graphical approaches, however, lack a formal basis for precise specification...
Jun Kong, Kang Zhang, Jing Dong, Guang-Lei Song