612 search results - page 38 / 123 » Division for Foundation of Software |
113
click to vote
PASTE
1998
ACM
15 years 6 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...
101
click to vote
ICSEA
2006
IEEE
15 years 8 months ago
2006
IEEE
The construction and maintenance of large and complex software systems depend on the existence of global principles describing the structure and the interaction among its various ...
106
click to vote
KBSE
2010
IEEE
15 years 10 days ago
2010
IEEE
Most practising software architects operate within an architecture framework which is a coordinated set of viewpoints, models and notations prescribed for them. Whereas architectu...
108
click to vote
IUI
2009
ACM
15 years 10 months ago
2009
ACM
We motivate the need for new environments for collaborative reasoning and describe the foundations of our approach, namely collaboration, semantics, and adaptability. We describe ...
FOSSACS
2004
Springer
15 years 7 months ago
2004
Springer
We introduce a computational interpretation for Hilbert’s choice operator (ε). This interpretation yields a typed foundation for dynamic linking in software systems. The use of ...