Last update: Thu Apr 12 03:37:15 MDT 2012
Top |
Symbols |
Numbers |
Math |
A |
B |
C |
D |
E |
F |
G |
H |
I |
J |
K |
L |
M |
N |
O |
P |
Q |
R |
S |
T |
U |
V |
W |
X |
Y |
Z
BibTeX entry
@Article{Snelting:1998:CAN,
author = "Gregor Snelting",
title = "Concept Analysis --- {A} New Framework for Program
Understanding (Invited Paper)",
journal = j-SIGPLAN,
volume = "33",
number = "7",
pages = "1--10",
month = jul,
year = "1998",
CODEN = "SINODQ",
ISSN = "0362-1340 (print), 1523-2867 (print), 1558-1160 (electronic)",
ISSN-L = "0362-1340",
bibdate = "Sun Dec 14 09:17:49 MST 2003",
bibsource = "Compendex database; http://portal.acm.org/",
abstract = "Concept analysis transforms any relation between
`objects' and `attributes' into a complete lattice.
This concept lattice can be studied by algebraic means
and offers remarkable insight into properties and
structure of the original relation. As relations
between `objects' and `attributes' occur all the time
in software technology, concept analysis is an
attractive foundation for a new class of program
analysis tools. The article presents a short overview
of the underlying theory, as well as applications for
software component retrieval, analysis of configuration
spaces, and modularization of legacy code.",
acknowledgement = ack-nhfb,
affiliation = "Technische Universitaet Braunschweig",
affiliationaddress = "Braunschweig, Ger",
classification = "721.1; 723; 723.1; 723.5; 921.1",
conference = "Proceedings of the 1998 ACM SIGPLAN\slash SIGSOFT
Workshop on Program Analysis for Software Tools and
Engineering",
journalabr = "ACM SIGPLAN SIGSOFT Workshop Program Anal Software
Tools Eng",
keywords = "Boolean algebra; Computation theory; Computer aided
software engineering; Computer software selection and
evaluation; Galois connection; Legacy code
modularization; Legacy systems; Mathematical
operators",
meetingaddress = "Montreal, Can",
meetingdate = "Jun 16 1998",
meetingdate2 = "06/16/98",
sponsor = "ACM",
}
Related entries
- aided,
29(12)78,
33(7)11,
33(7)19,
33(7)27,
33(7)35,
33(7)43,
33(7)51,
33(7)59,
33(7)67,
33(7)75,
33(7)83
- algebra,
27(9)285,
28(7)112,
28(7)169,
28(7)179,
28(7)187,
29(6)349-1,
30(6)279,
30(11)1,
33(5)38
- algebraic,
25(6)1,
26(6)92,
27(5)z,
28(7)169,
28(7)179,
29(1)20,
29(8)111,
30(6)205,
30(10)187,
31(9)60
- any,
25(4)73,
25(6)92,
27(7)82,
27(7)116,
27(7)175,
27(7)200,
27(7)224,
27(7)273,
27(7)311,
28(3)69,
28(3)177,
28(3)359,
28(3)367,
28(6)177,
28(6)197,
28(8)90,
29(11)232,
29(11)242,
30(6)67,
30(6)186,
30(6)196,
30(6)218,
30(11)41,
30(11)134
- article,
25(4)73,
27(12)61,
28(3)37,
28(3)333,
28(3)353
- attractive,
27(9)223,
29(11)12,
29(11)196,
29(11)308,
33(7)67
- attributes,
25(6)197,
28(3)369,
28(7)23,
29(11)171,
29(12)94,
31(9)2-1,
31(9)160,
31(9)258,
31(9)268
- boolean,
25(5)95,
25(7)95,
28(3)363,
30(6)163-1,
30(11)79
- complete,
25(6)102,
25(6)165,
25(6)209,
27(7)12,
27(7)32,
27(7)68,
28(3)69,
28(3)355,
28(6)56,
29(6)290,
29(6)349,
29(6)349-1,
29(7)42,
29(11)122,
29(11)132-1,
29(11)252,
30(6)103,
30(6)186,
30(6)233,
30(8)156,
33(5)1,
33(5)152,
33(5)152-1
- component,
6(4)196,
25(6)234,
25(10)1,
26(1)99,
26(9)297,
27(7)82,
27(7)224,
28(3)299,
28(6)100,
28(8)46,
29(6)206,
29(8)35,
29(8)46,
29(10)212,
29(10)272,
29(11)145,
29(11)158,
29(12)58,
30(3)103,
30(8)123,
30(11)20-1,
30(11)31,
30(11)146-1,
31(10)359,
31(10)444,
31(10)444,
32(10)206,
33(7)43,
33(10)97,
33(10)97-1,
34(10)399
- concept,
25(1)52,
25(4)20,
25(4)59,
25(6)246,
25(7)11,
26(10)11,
27(7)12,
27(10)146,
27(10)414,
27(12)20,
28(3)1,
28(3)149,
28(3)345,
28(3)347,
28(3)355,
28(7)92,
29(3)18,
29(4)31,
29(4)58,
29(6)107,
29(9)81,
29(12)48,
30(6)47,
33(2)48,
34(10)57
- configuration,
26(11)230,
28(7)1,
29(8)46,
29(11)76-1,
29(11)145,
29(11)328,
30(8)189,
30(11)146-1
- connection,
26(6)145,
26(6)145-1,
27(7)94,
28(7)102,
29(6)171,
30(8)19,
30(8)29,
30(8)68,
30(8)207
- engineering,
6(4)72,
25(8)15,
25(10)237,
26(10)73,
27(10)166,
27(10)166-1,
27(12)20,
28(2)21,
28(3)343,
28(6)166,
28(7)1,
28(7)112,
28(8)90,
29(1)27,
29(4)23,
29(4)41,
29(5)7,
29(6)196,
29(6)302,
29(7)29,
29(7)43,
29(8)35,
29(8)46,
29(8)59,
29(8)84,
29(8)111,
29(9)77,
29(10)176,
29(10)205,
29(10)212,
29(11)132-1,
29(12)78,
30(2)12,
30(3)103,
30(3)111,
30(6)103,
30(6)291,
30(8)11,
30(8)19,
30(8)29,
30(8)48,
30(8)80-1,
30(10)333,
30(11)20-1,
30(11)31,
30(11)60,
30(11)79,
30(11)134,
30(11)146-1,
32(1)86,
32(1)86-1,
32(5)159,
33(7)11,
33(7)19,
33(7)27,
33(7)35,
33(7)43,
33(7)51,
33(7)59,
33(7)67,
33(7)75,
33(7)83,
33(12)14,
34(10)97
- foundation,
6(4)123,
26(12)46,
29(3)3,
29(8)111,
29(10)31,
29(10)31-1,
29(12)48,
30(2)5,
30(3)103,
32(8)125,
34(6)76,
34(11)33
- Galois,
28(10)394
- insight,
27(7)311,
27(12)28,
28(7)33
- invited,
32(10)108,
32(10)162,
32(10)162-1,
32(10)206,
32(10)206-1,
34(9)8,
34(9)8-1,
34(9)8-2,
34(11)1,
34(11)33,
34(11)83
- lattice,
27(9)285,
28(1)24,
28(10)394,
30(8)102
- legacy,
6(4)176,
6(4)180,
29(10)205,
29(10)373,
33(7)43
- mean,
25(6)174,
26(6)145,
27(7)1,
27(7)82,
28(3)361,
28(6)1,
29(6)147,
29(8)46,
30(8)19,
30(8)48,
30(8)102,
30(11)31,
33(7)67
- occur,
25(6)112,
27(7)1,
27(7)44,
27(7)273,
28(6)46,
29(6)1,
29(6)218,
29(6)230
- offer,
25(6)9,
25(6)174,
27(7)1,
27(12)28,
28(7)33,
29(11)12,
29(11)76-1,
30(6)13,
30(6)205,
31(5)108,
33(11)252
- operator,
25(4)73,
25(6)189,
25(6)257,
28(6)147,
28(6)156,
28(8)90,
29(1)9,
29(1)46,
29(5)7,
29(6)135,
29(6)337,
29(6)337-1,
30(8)58,
33(9)87
- original,
27(7)1,
27(7)311,
28(3)345,
28(3)365,
28(6)166,
28(6)217,
28(7)179,
29(6)36,
29(11)252,
30(6)246,
30(8)166,
30(11)7,
33(7)19,
33(7)75
- overview,
25(4)73,
26(8)90,
27(7)12,
27(8)76,
28(7)102,
29(8)13,
30(2)59,
31(4)4,
31(4)4-1,
33(6)17,
33(6)17
- property,
25(6)1,
26(9)243,
27(6)8,
27(7)249,
27(12)20,
28(6)46,
28(6)166,
28(6)248,
28(7)169,
29(8)59,
29(8)119,
29(10)16,
30(6)67,
30(11)79,
33(7)51
- relation,
25(6)283,
25(6)311,
26(4)212,
27(12)66,
28(3)209,
29(10)272,
30(6)32,
30(8)156,
30(11)50,
32(5)249
- retrieval,
26(11)47
- selection,
27(4)68,
29(12)66,
30(6)279,
30(8)80-1,
30(11)99,
31(6)190,
33(7)11,
33(7)19,
33(7)27,
33(7)35,
33(7)43,
33(7)51,
33(7)59,
33(7)67,
33(7)75,
33(7)83,
34(8)163
- short,
25(4)51,
25(5)95,
25(12)85,
26(2)11,
28(3)355,
28(3)367,
28(6)147,
30(8)217,
34(9)249
- Snelting, Gregor,
25(4)51,
27(11)90
- studied,
25(6)322,
29(11)145,
29(11)196,
30(8)68
- technology,
6(4)176,
6(4)186,
6(4)209,
6(4)213,
26(5)37,
26(11)355,
27(7)94,
27(9)285,
27(10)166,
27(10)166-1,
28(10)304,
28(10)304-1,
28(10)356,
28(10)356,
28(10)365,
28(10)365-1,
28(10)374,
28(10)374-1,
28(10)437,
29(6)196,
29(8)13,
29(10)46,
29(10)205,
29(10)287,
29(11)2,
29(11)76-1,
29(11)86,
29(12)78,
30(10)33,
31(2)8-1,
31(11)21-1,
31(12)18,
32(4)16,
33(2)15,
33(2)15-1,
34(4)35,
34(4)35-1
- transform,
27(7)32,
27(9)274,
28(6)166,
28(6)290,
28(7)83,
29(6)186,
30(8)179,
34(5)169
- underlying,
25(1)52,
25(1)59,
27(7)55,
27(7)116,
28(3)351,
28(7)249,
29(6)73,
29(11)61,
30(3)71,
30(6)291,
33(7)27
- understanding,
25(6)246,
27(6)80,
27(7)1,
27(12)28,
29(6)49,
30(8)123,
30(10)342,
30(11)70,
30(11)117,
33(6)48,
33(7)35,
33(7)59
- well,
25(6)28,
25(6)40,
27(1)95,
27(7)22,
27(9)285,
28(3)359,
28(6)36,
28(6)46,
28(6)166,
28(6)177,
28(6)187,
28(6)227,
28(6)300,
28(7)13,
28(7)102,
29(6)186,
29(6)206,
29(6)218,
29(6)266,
29(11)2,
29(11)122,
29(11)145,
29(11)158,
29(11)308,
30(6)32,
30(8)39,
30(8)48,
30(8)80-1,
30(8)123,
30(8)217,
30(11)60,
33(7)35,
33(7)75