Sciweavers

16206 search results - page 167 / 3242
» At Issue
Sort
View
DSS
2006
119views more  DSS 2006»
15 years 1 months ago
Identifying issues in customer relationship management at Merck-Medco
Gholamreza Torkzadeh, Jerry Cha-Jan Chang, Gregory...
ECEASST
2006
114views more  ECEASST 2006»
15 years 1 months ago
Semantic Issues of OCL: Past, Present, and Future
We report on the results of a long-term project to formalize the semantics of OCL 2.0 in Higher-order Logic (HOL). The ultimate goal of the project is to provide a formalized, mach...
Achim D. Brucker, Jürgen Doser, Burkhart Wolf...