5433 search results - page 509 / 1087 » Tool Support for Traceability-Adaptation |
186
Voted
AGENTS
1999
Springer
15 years 11 months ago
1999
Springer
Jackal is a Java-based tool for communicatingwith the KQML agent communication language. Some features that make it extremely valuable to agent development are its conversation ma...
165
click to vote
SRDS
1999
IEEE
15 years 11 months ago
1999
IEEE
Implementing an Online Shop can be a risky project, since there's no widespread and profound knowledge and experiences. This guideline is intended to support managing the org...
152
click to vote
WETICE
1999
IEEE
15 years 11 months ago
1999
IEEE
The prevailing architecture for web-based applications relies on HTML, HTTP and loosely integrated functional elements, propagating a strong distinction between client and server....
184
Voted
SPIN
1999
Springer
15 years 11 months ago
1999
Springer
One of the difficulties of using model checkers “in the large” is the management of all (generated) data during the validation trajectory. It is important that the results obta...
197
click to vote
KBSE
1998
IEEE
15 years 11 months ago
1998
IEEE
It is shown how to make a transition from the Z formal notation [3] to the Business Object Notation (BON) [4]. It is demonstrated that BON has the expressive power of Z, with the ...