Sciweavers

43 search results - page 6 / 9
» ENIAM: A More Complete Conceptual Schema Language
Sort
View
ER
2007
Springer
237views Database» more  ER 2007»
14 years 1 months ago
Business Process and Business Rule Modeling Languages for Compliance Management: A Representational Analysis
Organizations are under increasing scrutiny to document their compliance to regulatory requirements. To this end, they have to formally document their operating procedures to supp...
Michael zur Muehlen, Marta Indulska, Gerrit Kamp
ICST
2009
IEEE
14 years 2 months ago
WS-TAXI: A WSDL-based Testing Tool for Web Services
Web Services (WSs) are the W3C-endorsed realization of the Service-Oriented Architecture (SOA). Since they are supposed to be implementation-neutral, WSs are typically tested blac...
Cesare Bartolini, Antonia Bertolino, Eda Marchetti...
DEXA
1994
Springer
81views Database» more  DEXA 1994»
13 years 11 months ago
Supporting Information Disclosure in an Evolving Environment
Even if high-level query languages are used, query formulation may cause problems. This is notably so in case of large and complex application domains. Typical examples of these ki...
Arthur H. M. ter Hofstede, Henderik Alex Proper, T...
ADC
1995
Springer
90views Database» more  ADC 1995»
13 years 11 months ago
Computer Supported Query Formulation in an Evolving Context
Even if high-level query languages are used, query formulation may cause problems. This is notably so in case of large and complex application domains. Typical examples of these k...
Arthur H. M. ter Hofstede, Henderik Alex Proper, T...
RTA
1995
Springer
13 years 11 months ago
Prototyping Completion with Constraints Using Computational Systems
We use computational systems to express a completion with constraints procedure that gives priority to simpliļ¬cations. Computational systems are rewrite theories enriched by stra...
Hélène Kirchner, Pierre-Etienne More...