2810 search results - page 396 / 562 » Contract-Based Component System Design |
ICSE
1997
IEEE-ACM
15 years 3 months ago
1997
IEEE-ACM
Implementing, validating, modifying, or reengineering an object-oriented system requires an understanding of the object and class interactions which occur as a program executes. T...
ICFP
2006
ACM
15 years 11 months ago
2006
ACM
d abstract) Keiko Nakata1 Jacques Garrigue2 1 Kyoto University Research Institute for Mathematical Sciences 2 Graduate School of Mathematics, Nagoya University The ML module syste...
175
click to vote
GIS
2006
ACM
16 years 14 days ago
2006
ACM
Topological relationships between objects in space are of great importance in many disciplines. Recently, topological relationships have been defined for complex spatial objects. ...
ICFP
2005
ACM
15 years 11 months ago
2005
ACM
Current languages allow a programmer to describe an interface only by enumerating its parts, possibly including other interfaces wholesale. Such languages cannot express relations...
ICDE
2010
IEEE
15 years 11 months ago
2010
IEEE
Data quality is a critical problem in modern databases. Data entry forms present the first and arguably best opportunity for detecting and mitigating errors, but there has been li...