260 search results - page 28 / 52 » From Rules to Constraint Programs with the Rules2CP Modellin... |
EDOC
2002
IEEE
14 years 1 months ago
2002
IEEE
While SOAP/XML is perceived as the appropriate interoperability level for web-services, companies compete to provide workflow-based tools for web-service integration. This paper p...
TSE
2008
13 years 8 months ago
2008
Neglected conditions are an important but difficult-to-find class of software defects. This paper presents a novel approach for revealing neglected conditions that integrates stati...
NIPS
2004
13 years 10 months ago
2004
We propose a sequential information maximization model as a general strategy for programming eye movements. The model reconstructs high-resolution visual information from a sequen...
TSE
2008
13 years 8 months ago
2008
We propose an interface specification language based on grammars for modular software model checking. In our interface specification language, component interfaces are specified a...
ECOOP
2007
Springer
14 years 20 days ago
2007
Springer
UML class diagrams are usually annotated with OCL expressions that constrain their possible instantiation. In our work we have investigated how OCL annotations can be automatically...