1937 search results - page 13 / 388 » Starting B Specifications from Use Cases |
122
click to vote
ICST
2009
IEEE
14 years 9 months ago
2009
IEEE
Under certain constraints the test case generation problem can be represented as a model checking problem, thus enabling the use of powerful model checking tools to perform the te...
APN
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. Web services represent a promising technology for the development of distributed heterogeneous software systems. In this setting, a major issue is to establish whether tw...
JCIT
2010
14 years 6 months ago
2010
The mutation rate of the hepatitis B virus (HBV) is often obtained by statistical software. This is restricted to the sampled data and cannot be applied to other cases. This limit...
IMC
2005
ACM
15 years 5 months ago
2005
ACM
The growing popularity of wireless networks has led to cases of heavy utilization and congestion. In heavily utilized wireless networks, the wireless portion of the network is a m...
ICSE
2003
IEEE-ACM
15 years 11 months ago
2003
IEEE-ACM
Certain classes of problems amenable to description using Problem Frames, in particular ones intended to be implemented using a distributed architecture, can benefit by the additi...