2748 search results - page 364 / 550 » Generating Object-Z Specifications from Use Cases |
142
click to vote
RE
1997
Springer
15 years 8 months ago
1997
Springer
—Formal methods have yet to achieve wide industrial acceptance for several reasons. They are not well integrated into hed industrial software processes, their application require...
146
click to vote
AAAI
2008
15 years 6 months ago
2008
Building architectures for autonomous rational behavior requires the integration of several AI components, such as planning, learning and execution monitoring. In most cases, the ...
138
click to vote
OWLED
2008
15 years 5 months ago
2008
In many data-centric applications it is desirable to use OWL as an expressive schema language where one expresses constraints that need to be satisfied by the (instance) data. Howe...
152
click to vote
APBC
2004
15 years 5 months ago
2004
In recent microarray experiments thousands of gene expressions are simultaneously tested in comparing samples (e.g., tissue types or experimental conditions). Application of a sta...
135
click to vote
DAGSTUHL
2003
15 years 5 months ago
2003
There are many formalism for mobile system specification, but until very recently, there was no satisfactory graphical notation for modelling of such systems. In a previous paper, ...