2748 search results - page 144 / 550 » Generating Object-Z Specifications from Use Cases |
NOMS
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper discusses the aims, objectives and early deliverables from the OpenOSS project which has been set up with the sponsorship of a number of Telecommunications Service Prov...
108
Voted
ISCIS
2004
Springer
15 years 6 months ago
2004
Springer
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...
98
Voted
WWW
2007
ACM
16 years 1 months ago
2007
ACM
Name ambiguity is a special case of identity uncertainty where one person can be referenced by multiple name variations in different situations or even share the same name with ot...
121
click to vote
WCE
2007
15 years 1 months ago
2007
—Multistage stochastic programs are effective for solving long-term planning problems under uncertainty. Such programs are usually based on scenario generation model about future...
133
Voted
CASES
2008
ACM
15 years 2 months ago
2008
ACM
We present a novel loop transformation technique, particularly well suited for optimizing embedded compilers, where an increase in compilation time is acceptable in exchange for s...