950 search results - page 39 / 190 » Developing Law-Governed Systems Using Aspects |
RSP
1999
IEEE
15 years 7 months ago
1999
IEEE
Formal methods are a nice idea, but the size and complexity of real systems means that they are impractical. We propose that a reasonable alternative to attempting to specify and ...
ANSS
2000
IEEE
15 years 7 months ago
2000
IEEE
The cost of building a new system is usually quite high and without a proper design, a mismatch might occur between the proposed system and the actual system delivered. One aspect...
130
click to vote
EUROMICRO
1996
IEEE
15 years 7 months ago
1996
IEEE
Transformational design integrates design and verification. It combines "correctness by construciion" and design creativity by the use ofpre-proven behaviour preserving ...
171
click to vote
DOLAP
2005
ACM
15 years 5 months ago
2005
ACM
Different modeling approaches have been proposed to overcome every design pitfall of the development of the different parts of a data warehouse (DW) system. However, they are all ...
115
click to vote
ALIFE
2005
15 years 2 months ago
2005
We analyze the conditions for agency in natural and artificial systems. In the case of basic (natural) autonomous systems, self-construction and activity in the environment are two...