6014 search results - page 756 / 1203 » Structural Testing with Use Cases |
168
click to vote
ICSM
2006
IEEE
16 years 26 days ago
2006
IEEE
An approach to automatically identify the stereotypes of all the methods in an entire system is presented. A taxonomy for object-oriented class method stereotypes is given that un...
174
click to vote
HICSS
2005
IEEE
16 years 13 days ago
2005
IEEE
Virtual teams and their leaders are key players in global organisations. Using teams of workers dispersed temporally and geographically has changed the way people work in groups a...
169
click to vote
CAV
2005
Springer
16 years 11 days ago
2005
Springer
We consider in the current paper the issue of exploiting the structural form of Esterel programs [BG92] to partition the algorithmic RSS (reachable state space) fix-point construc...
210
click to vote
FROCOS
2005
Springer
16 years 11 days ago
2005
Springer
We present one way of combining a logical framework and first-order logic. The logical framework is used as an interface to a first-order theorem prover. Its main purpose is to k...
214
click to vote
LPNMR
2005
Springer
16 years 10 days ago
2005
Springer
Loops and the corresponding loop formulas play an important role in answer set programming. On the one hand, they are used for guaranteeing correctness and completeness in SAT-base...