845 search results - page 48 / 169 » A Formal Model of the Software Test Process |
115
Voted
AADEBUG
1995
Springer
15 years 2 months ago
1995
Springer
Software testability, the tendency for software to reveal its faults during testing, is an important issue for veri cation and quality assurance. Testability measurement can also b...
WWW
2009
ACM
15 years 11 months ago
2009
ACM
This paper formulates a collaborative system for modeling business application. The system uses a Semantic Wiki to enable collaboration between the various stakeholders involved i...
87
Voted
ICSE
1998
IEEE-ACM
15 years 3 months ago
1998
IEEE-ACM
The design, implementation, and testing of virtual environments is complicated by the concurrency and realtime features of these systems. Therefore, the development of formal meth...
67
Voted
COMPSAC
2002
IEEE
15 years 3 months ago
2002
IEEE
Achievement of quality in software design, while never easy, is made more difficult by the inherent complexity of hard real-time (HRT) design. Furthermore, timing requirements in...
109
click to vote
SEFM
2008
IEEE
15 years 5 months ago
2008
IEEE
We present a process algebra for modeling and reasoning about Mobile Ad hoc Networks (MANETs) and their protocols. In our algebra we model the essential modeling concepts of ad ho...