2419 search results - page 312 / 484 » A Formal Approach to Software Testing |
119
click to vote
CSMR
2005
IEEE
15 years 9 months ago
2005
IEEE
Object-oriented applications are difficult to extend and maintain, due to the presence of implicit dependencies in the inheritance hierarchy. Although these dependencies often co...
IUI
2005
ACM
15 years 9 months ago
2005
ACM
Voicemail has become an integral part of our personal and professional communication. The number of messages that accumulate in our voice mailboxes necessitate new ways of priorit...
126
click to vote
WOSP
2005
ACM
15 years 9 months ago
2005
ACM
StoCharts have been proposed as a UML statechart extension for performance and dependability evaluation, and have been applied in the context of train radio reliability assessment...
154
click to vote
EUROMICRO
2000
IEEE
15 years 8 months ago
2000
IEEE
In this paper we propose a high-level description of the behavior of digital systems. Behaviors are specified with a graphical synchronous model: “SyncCharts”. SyncCharts supp...
118
click to vote
TSE
1998
15 years 3 months ago
1998
—Cohesion was first introduced as a software attribute that, when measured, could be used to predict properties of implementations that would be created from a given design. Unfo...