6201 search results - page 1164 / 1241 » Implementation of Axiomatic Language |
134
click to vote
KBSE
2005
IEEE
15 years 10 months ago
2005
IEEE
Test factoring creates fast, focused unit tests from slow system-wide tests; each new unit test exercises only a subset of the functionality exercised by the system test. Augmenti...
140
click to vote
FOSSACS
2005
Springer
15 years 10 months ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
119
click to vote
OOPSLA
2005
Springer
15 years 10 months ago
2005
Springer
Organic programming (OP) is our proposed and already emerging programming model which overcomes some of the limitations of current practice in software development in general and ...
140
Voted
DOLAP
2004
ACM
15 years 10 months ago
2004
ACM
During the few last years, several approaches have been proposed to model different aspects of a Data Warehouse (DW), such as the conceptual model of the DW, the design of the ET...
162
click to vote
MM
2004
ACM
15 years 10 months ago
2004
ACM
The interactive system which interacts human with computer has been recognized as one direction of computer development for a long time. For example, in cinema, a person gets info...