3425 search results - page 302 / 685 » A Model Driven Approach for Software Systems Reliability |
160
click to vote
IWPC
2002
IEEE
15 years 9 months ago
2002
IEEE
Program slicing has many applications in software engineering activities including program comprehension, debugging, testing, maintenance, and model checking. In this paper, we pr...
135
click to vote
CONTEXT
2007
Springer
15 years 11 months ago
2007
Springer
Context-aware systems are software systems which adapt their behaviour according to the context of use. The requirements engineering phase is recognized as a primordial step to dev...
175
click to vote
ISSTA
2012
ACM
13 years 7 months ago
2012
ACM
Swarm testing is a novel and inexpensive way to improve the diversity of test cases generated during random testing. Increased diversity leads to improved coverage and fault detec...
178
Voted
CL
2007
Springer
15 years 4 months ago
2007
Springer
The CCS (Calculus of Communicating Systems) process algebra is a well-known formal model of synchronization and communication. It is used for the analysis of safety and liveness i...
147
Voted
ICSEA
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper we propose that formal modelling techniques are necessary in establishing the trustworthiness of e-voting systems and the software within. We illustrate how a distri...