605 search results - page 110 / 121 » Java Multi-Method Framework |
ICSE
2009
IEEE-ACM
14 years 6 days ago
2009
IEEE-ACM
In ICSE’08 we demonstrated the Java UML Lightweight Enumerator (JULE) tool, which supports compliance test generation from modeling standards specifications. When employed in ou...
MKM
2009
Springer
14 years 5 days ago
2009
Springer
Abstract. Active mathematical documents are distinguished from traditional paper-oriented ones by their ability to interactively adapt to a reader’s inputs. This includes changes...
ICSE
2001
IEEE-ACM
14 years 2 days ago
2001
IEEE-ACM
Mocha is a model checker based on the theme of exploiting design modularity: instead of manipulating unstructured state-transition graphs, it supports the hierarchical modeling fra...
SIGMOD
2000
ACM
13 years 12 months ago
2000
ACM
We present MOCHA, a new self-extensible database middleware system designed to interconnect distributed data sources. MOCHA is designed to scale to large environments and is based...
ECOOP
2000
Springer
13 years 12 months ago
2000
Springer
Abstract. Component software means reuse and separate marketing of pre-manufactured binary components. This requires components from different vendors to be composed very late, pos...