2205 search results - page 51 / 441 » Mutation Operators for Specifications |
CRIWG
2001
13 years 9 months ago
2001
This paper presents an approach for the integration of domain related elements and operational semantics into collaborative environments based on visual languages. This integratio...
AVI
2000
13 years 9 months ago
2000
In various circumstances, it is possible to arrive at the need to specify sequences of operations that a "machine" has to perform to achieve a purpose. This paper will p...
IFM
2009
Springer
13 years 5 months ago
2009
Springer
Abstract. The complete specification of full contracts -- contracts which include tolerated exceptions, and which enable reasoning about the contracts themselves, can be achieved u...
DANTE
1999
IEEE
14 years 4 days ago
1999
IEEE
Many current multimedia database management systems perform content-based retrieval of images by extracting the values of various features from every object stored in their system...
EDOC
2004
IEEE
13 years 11 months ago
2004
IEEE
Availability of a wide variety of Web services over the Internet offers opportunities of providing new value added services built by composing them out of existing ones. Service c...