6197 search results - page 1039 / 1240 » Sandbridge Software Tools |
166
click to vote
ICFEM
2004
Springer
15 years 12 months ago
2004
Springer
Reachability testing is a technique for testing concurrent programs. Reachability testing derives test sequences on-the-fly as the testing process progresses, and can be used to sy...
215
click to vote
IEAAIE
2004
Springer
15 years 12 months ago
2004
Springer
This paper presents a methodology to automate natural language requirements analysis and class model generation based on the Rational Unified Process (RUP). Use-case language schem...
163
click to vote
ISCIS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Commitments are a powerful abstraction for representing the interactions between agents. Commitments capture the content of the interactions declaratively and allow agent...
149
click to vote
MKM
2004
Springer
15 years 12 months ago
2004
Springer
This paper describes technologies to create and maintain a problem solving environment based on a framework for distributed mathematical web services. Our approach allows clients t...
172
click to vote
RISE
2004
Springer
15 years 12 months ago
2004
Springer
Exception mechanism is important for the development of robust programs to make sure that exceptions are handled appropriately at run-time. In this paper, we develop a dynamic exce...