6014 search results - page 712 / 1203 » Structural Testing with Use Cases |
184
click to vote
UML
2000
Springer
15 years 10 months ago
2000
Springer
We propose a methodology for hypermedia design which is based on a UML profile for the hypermedia domain. Starting with a use case analysis and a conceptual model of the applicatio...
175
click to vote
AAAI
1997
15 years 8 months ago
1997
This paper steps back from the standard infinite horizon formulation of reinforcement learning problems to consider the simpler case of finite horizon problems. Although finite ho...
135
click to vote
ENTCS
2006
15 years 7 months ago
2006
We define and use a SOS-based framework to specify the transition systems of calculi with name-passing properties. This setting uses proof-theoretic tools to take care of some of ...
195
click to vote
COMSIS
2004
15 years 7 months ago
2004
This paper outlines a methodology for designing information systems based on XML. The methodology uses XML DTDs to define the design standards, and the structure and constraints of...
171
click to vote
ECRA
2002
15 years 7 months ago
2002
Two beliefs, ease of use and usefulness, have been considered to be fundamental in determining the acceptance of various IS in the past decades. These beliefs may not, however, fu...