1199 search results - page 173 / 240 » Software Verification and Software Engineering a Practitione... |
182
click to vote
WWW
2005
ACM
16 years 6 months ago
2005
ACM
A software design is often modeled as a collection of unified Modeling Language (UML) diagrams. There are different aspects of the software system that are covered by many differe...
145
click to vote
SIGSOFT
2007
ACM
16 years 6 months ago
2007
ACM
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...
144
click to vote
TSE
2002
15 years 5 months ago
2002
We propose an approach (GQM/MEDEA) for defining measures of product attributes in software engineering. The approach is driven by the experimental goals of measurement, expressed v...
156
click to vote
STTT
2010
15 years 24 days ago
2010
We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...
135
click to vote
ICESS
2005
Springer
15 years 11 months ago
2005
Springer
In this paper we propose semantic web-based mobile knowledge searching systems for display Web pages on mobile terminals. The proposed system reduces the time of verification when ...