-
1
-
-
0038716505
-
Debugging temporal specifications with concept analysis
-
San Diego, CA, June 9-11. ACM Press
-
G. Ammons, D. Mandelin, R. Bodik, and J. R. Larus. Debugging temporal specifications with concept analysis. In Proceedings of the ACM SIGPLAN'03 Conference on Programming Language Design and Implementation, San Diego, CA, June 9-11 2003. ACM Press.
-
(2003)
Proceedings of the ACM SIGPLAN'03 Conference on Programming Language Design and Implementation
-
-
Ammons, G.1
Mandelin, D.2
Bodik, R.3
Larus, J.R.4
-
2
-
-
84881137536
-
A method to reorganize legacy systems via concept analysis
-
Toronto, Canada, May. IEEE Computer Society Press
-
th International Workshop on Program Comprehension, pages 281-291, Toronto, Canada, May 2001. IEEE Computer Society Press.
-
(2001)
th International Workshop on Program Comprehension
, pp. 281-291
-
-
Antoniol, G.1
Casazza, G.2
Penta, M.D.3
Merlo, E.4
-
3
-
-
0017268047
-
Laws of program evolution dynamics
-
L. A. Belady and M. M. Lehman. Laws of program evolution dynamics. IBM Syst. J., 15(3):225-252, 1976.
-
(1976)
IBM Syst. J.
, vol.15
, Issue.3
, pp. 225-252
-
-
Belady, L.A.1
Lehman, M.M.2
-
8
-
-
0028446078
-
A metrics suite for object oriented design
-
S. R. Chidamber and C. F. Kemerer. A metrics suite for object oriented design. IEEE Trans. Sofiw. Eng., 20(6):476493, 1994.
-
(1994)
IEEE Trans. Sofiw. Eng.
, vol.20
, Issue.6
, pp. 476493
-
-
Chidamber, S.R.1
Kemerer, C.F.2
-
10
-
-
0347150065
-
-
Master's thesis, Department of Computer Science, Technion - Israel Institute of Techology, Haifa, Israel, February
-
U. Dekel. Revealing Java class structure with concept lattices. Master's thesis, Department of Computer Science, Technion - Israel Institute of Techology, Haifa, Israel, February 2003.
-
(2003)
Revealing Java Class Structure with Concept Lattices
-
-
Dekel, U.1
-
11
-
-
25044432165
-
A user study on the use of concept lattices to detect errors in Java classes
-
Department of Computer Science, Technion Israel Institute of Techology, Haifa, Israel, June
-
U. Dekel and Y. Gil. A user study on the use of concept lattices to detect errors in Java classes. Technical Report CS-2003-05, Department of Computer Science, Technion Israel Institute of Techology, Haifa, Israel, June 2003.
-
(2003)
Technical Report
, vol.CS-2003-05
-
-
Dekel, U.1
Gil, Y.2
-
13
-
-
58149491512
-
Specification-based browsing of software component libraries
-
Honolulu, Hawaii, USA. IEEE Computer Society Press
-
th IEEE Conference on Automated Software Engineering, pages 74-83, Honolulu, Hawaii, USA, 1998. IEEE Computer Society Press.
-
(1998)
th IEEE Conference on Automated Software Engineering
, pp. 74-83
-
-
Fischer, B.1
-
16
-
-
84976825662
-
Building and maintaining analysis-level class hierarchies using galois lattices
-
Languages, and Applications, Washington, DC, USA, Sept. 26 - Oct. 1
-
th Annual Conference on Object-Oriented Programming Systems, Languages, and Applications, pages 394-410, Washington, DC, USA, Sept. 26 - Oct. 1 1993.
-
(1993)
th Annual Conference on Object-oriented Programming Systems
, pp. 394-410
-
-
Godin, R.1
Mili, H.2
-
22
-
-
0035551829
-
A categorization of classes based on the visualization of their internal structure: The class blueprint
-
Languages, and Applications, Tampa Bay, Florida, Oct. 1418
-
th Annual Conference on Object-Oriented Programming Systems, Languages, and Applications, pages 300-311, Tampa Bay, Florida, Oct. 1418 2001.
-
(2001)
th Annual Conference on Object-oriented Programming Systems
, pp. 300-311
-
-
Lanza, M.1
Ducasse, S.2
-
23
-
-
0343440610
-
Concept-based component retrieval
-
Montreal, Aug.
-
C. Lindig. Concept-based component retrieval. In Working Notes of the IJCAI-95 Workshop: Formal Approaches to the Reuse of Plans, Proofs, and Programs, pages 21-25, Montreal, Aug. 1995.
-
(1995)
Working Notes of the IJCAI-95 Workshop: Formal Approaches to the Reuse of Plans, Proofs, and Programs
, pp. 21-25
-
-
Lindig, C.1
-
25
-
-
0004198444
-
-
Object-Oriented Series. Prentice-Hall
-
B. Meyer. EIFFEL: The Language. Object-Oriented Series. Prentice-Hall, 1992.
-
(1992)
EIFFEL: The Language
-
-
Meyer, B.1
-
27
-
-
0031251602
-
Maintaining the consistency of class libraries during their evolution
-
Atlanta, Georgia, Oct. 5-9
-
th Annual Conference on Object-Oriented Programming Systems, Languages, and Applications, pages 1-21, Atlanta, Georgia, Oct. 5-9 1997.
-
(1997)
th Annual Conference on Object-oriented Programming Systems, Languages, and Applications
, pp. 1-21
-
-
Mezini, M.1
-
31
-
-
0030121527
-
Reengineering of configurations based on mathematical concept analysis
-
G. Snelting. Reengineering of configurations based on mathematical concept analysis. ACM Trans. on Soft. Eng. & Metho, 5(2):146-189, 1996.
-
(1996)
ACM Trans. on Soft. Eng. & Metho
, vol.5
, Issue.2
, pp. 146-189
-
-
Snelting, G.1
-
32
-
-
0041111989
-
Understanding class hierarchies using concept analysis
-
G. Snelting and F. Tip. Understanding class hierarchies using concept analysis. ACM Trans. Prog. Lang. Syst., 22(3):540-582, 2000.
-
(2000)
ACM Trans. Prog. Lang. Syst.
, vol.22
, Issue.3
, pp. 540-582
-
-
Snelting, G.1
Tip, F.2
-
33
-
-
0346519718
-
The Chemistry Development Kit (CDK): A Java library for structural chemo- and bioinformatics
-
C. Steinbeck, D. Gezelter, B. A. Smith, E. Luttmann, and E. L. Willighagen. The Chemistry Development Kit (CDK): A Java library for structural chemo- and bioinformatics. Journal of Chemical Information and Computer Sciences, 2003.
-
(2003)
Journal of Chemical Information and Computer Sciences
-
-
Steinbeck, C.1
Gezelter, D.2
Smith, B.A.3
Luttmann, E.4
Willighagen, E.L.5
-
34
-
-
0019530043
-
Methods for visual understanding of hierarchical system structures
-
K. Sugiyama, S. Tagawa, and M. Toda. Methods for visual understanding of hierarchical system structures. IEEE Trans. on Sys., Man, and Cybernetics, 11:109-125, 1981.
-
(1981)
IEEE Trans. on Sys., Man, and Cybernetics
, vol.11
, pp. 109-125
-
-
Sugiyama, K.1
Tagawa, S.2
Toda, M.3
-
36
-
-
0000398336
-
Restructuring lattice theory: An approach based on hierarchies of concepts
-
I. Rival, editor. Reidel
-
R. Wille. Restructuring lattice theory: An approach based on hierarchies of concepts. In I. Rival, editor, Ordered Sets, pages 445-470. Reidel, 1982.
-
(1982)
Ordered Sets
, pp. 445-470
-
-
Wille, R.1
|