1158 search results - page 144 / 232 » Software is discrete mathematics |
127
click to vote
SOFTVIS
2003
ACM
15 years 6 months ago
2003
ACM
Whenever multiple representations or models of a system exist, there is the possibility of defining how they relate. In model driven software development, it is essential that th...
103
Voted
PASTE
1998
ACM
15 years 5 months ago
1998
ACM
Concept analysis transforms any relation between ‘lobjects” and “attributes” into a complete lattice. This concept lattice can be studied by algebraic means and offers rem...
107
Voted
RE
1997
Springer
15 years 4 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...
87
Voted
CIB
2005
15 years 18 days ago
2005
Unlike the data approached in traditional data mining activities, software data are featured with partial-repeatability or parepeatics, which is an invariant property that can neit...
129
click to vote
AISC
1998
Springer
15 years 5 months ago
1998
Springer
The use of computer algebra is usually considered beneficial for mechanised reasoning in mathematical domains. We present a case study, in the application domain of coding theory, ...