-
2
-
-
0011852760
-
Relview - A computer system for the manipulation of relations
-
Nivat, M, Rattray, C, Rus, T, Scollo, G, editors, Springer
-
Berghammer, R., Schmidt, G., "Relview - A computer system for the manipulation of relations", in Nivat, M., Rattray, C., Rus, T., Scollo, G., editors, Proc. 3rd Conf. on Algebraic Methodology and Software Technology (AMAST 93), University of Twente, The Netherlands, June 1993, Workshops in Computing, Springer, 405-406 (1993)
-
(1993)
Proc. 3rd Conf. on Algebraic Methodology and Software Technology (AMAST 93), University of Twente, The Netherlands, June 1993, Workshops in Computing
, pp. 405-406
-
-
Berghammer, R.1
Schmidt, G.2
-
3
-
-
0347412077
-
Simple and Efficient Relational Querying of Software Structures
-
Victoria, BC, November 13-16, pp, IEEE Computer Society Press, Los Alamitos CA
-
Dirk Beyer, Andreas Noack and Claus Lewerentz, "Simple and Efficient Relational Querying of Software Structures", Proceedings of the Tenth IEEE Working Conference on Reverse Engineering (WCRE 2003, Victoria, BC, November 13-16), pp. 216-225, 2003. IEEE Computer Society Press, Los Alamitos (CA).
-
(2003)
Proceedings of the Tenth IEEE Working Conference on Reverse Engineering (WCRE
, pp. 216-225
-
-
Beyer, D.1
Noack, A.2
Lewerentz, C.3
-
4
-
-
17644363668
-
Efficient Relational Calculation for Software
-
Analysis, :137-149
-
Dirk Beyer, Andreas Noack, and Claus Lewerentz, "Efficient Relational Calculation for Software," Analysis. IEEE Transactions on Software Engineering (TSE), 31(2):137-149, 2005.
-
(2005)
IEEE Transactions on Software Engineering (TSE)
, vol.31
, Issue.2
-
-
Beyer, D.1
Noack, A.2
Lewerentz, C.3
-
5
-
-
0022769976
-
Graph-based algorithms for Boolean function manipulation
-
R. E. Bryant, "Graph-based algorithms for Boolean function manipulation," IEEE Trans. Computers, 35(8):677-691, 1986.
-
(1986)
IEEE Trans. Computers
, vol.35
, Issue.8
, pp. 677-691
-
-
Bryant, R.E.1
-
8
-
-
85019843728
-
Expressing structural hypertext queries in graphlog
-
Pittsburgh, Pennsylvania, United States, pp
-
M. P. Consens and A. O. Mendelzon, "Expressing structural hypertext queries in graphlog," Proceedings of the Second Annual ACM Conference on Hypertext and Hypermedia, Pittsburgh, Pennsylvania, United States, pp. 269-292, 1989.
-
(1989)
Proceedings of the Second Annual ACM Conference on Hypertext and Hypermedia
, pp. 269-292
-
-
Consens, M.P.1
Mendelzon, A.O.2
-
9
-
-
34547294303
-
What graphs can be efficiently represented by BDDs?
-
Kolkata, India, March
-
Dong, C. and Molitor P., "What graphs can be efficiently represented by BDDs?", International Conference on Computing: Theory and Applications (ICCTA'07), pp. 128-134, Kolkata, India, March 2007.
-
(2007)
International Conference on Computing: Theory and Applications (ICCTA'07)
, pp. 128-134
-
-
Dong, C.1
Molitor, P.2
-
11
-
-
0032049599
-
A relational approach to support software architecture analysis
-
April
-
L. M. G. Feijs, R. L. Krikhaar and R. C. van Ommering, "A relational approach to support software architecture analysis", Software - Practice and Experience, 28(4):371-400, April 1998.
-
(1998)
Software - Practice and Experience
, vol.28
, Issue.4
, pp. 371-400
-
-
Feijs, L.M.G.1
Krikhaar, R.L.2
van Ommering, R.C.3
-
12
-
-
0031377913
-
The software bookshelf Source
-
P. J. Finnigan, R. C. Holt, I. Kalas, S. Kerr, K. Kontogiannis, H. A. Müller, J. Mylopoulos, S. G. Perelgut, M. Stanley, and K. Wong, "The software bookshelf Source", IBM Systems Journal, Volume 36 , Issue 4, pp. 564-593, 1997
-
(1997)
IBM Systems Journal
, vol.36
, Issue.4
, pp. 564-593
-
-
Finnigan, P.J.1
Holt, R.C.2
Kalas, I.3
Kerr, S.4
Kontogiannis, K.5
Müller, H.A.6
Mylopoulos, J.7
Perelgut, S.G.8
Stanley, M.9
Wong, K.10
-
13
-
-
33947389166
-
Big Ball of Mud
-
97, Monticello, Illinois, September
-
Brian Foote and Joseph Yoder, "Big Ball of Mud," Fourth Conference on Patterns Languages of Programs (PLoP '97/EuroPLoP '97), Monticello, Illinois, September 1997
-
(1997)
Fourth Conference on Patterns Languages of Programs (PLoP '97/EuroPLoP
-
-
Foote, B.1
Yoder, J.2
-
14
-
-
0003667907
-
-
World Scientific Publishing Co
-
Garlan, David and Shaw, Mary, An Introduction to Software Architecture, Advances in Software Engineering and Knowledge Engineering, Volume 1, World Scientific Publishing Co., 1993.
-
(1993)
An Introduction to Software Architecture, Advances in Software Engineering and Knowledge Engineering
, vol.1
-
-
Garlan, D.1
Shaw, M.2
-
15
-
-
84862084405
-
Essential
-
Springer-Verlag New York Inc, Secaucus, NJ
-
Ian Gorton, Essential Software Architecture, Springer-Verlag New York Inc., Secaucus, NJ, 2006.
-
(2006)
Software Architecture
-
-
Gorton, I.1
-
16
-
-
0345889961
-
A Software Reconstruction Architecture Method
-
San Antonio, TX, February
-
G. Guo, J. Atlee and R. Kazman, "A Software Reconstruction Architecture Method", Software Architecture (Proceedings of the First Working IFIP Conference on Software Architecture (WICSA1)), (San Antonio, TX), February 1999, 15-33.
-
(1999)
Software Architecture (Proceedings of the First Working IFIP Conference on Software Architecture (WICSA1))
, pp. 15-33
-
-
Guo, G.1
Atlee, J.2
Kazman, R.3
-
17
-
-
0013323388
-
Binary Relational Algebra Applied to Software Architecture
-
University of Toronto, March
-
R. C. Holt, "Binary Relational Algebra Applied to Software Architecture", CSRI Tech Report 345, University of Toronto, March 1996.
-
(1996)
CSRI Tech Report
, vol.345
-
-
Holt, R.C.1
-
18
-
-
0032310198
-
Structural Manipulations of Software Architecture using Tarski Relational Algebra
-
Honolulu, Oct
-
R. C. Holt, "Structural Manipulations of Software Architecture using Tarski Relational Algebra", Working Conference on Reverse Engineering (WCRE 1998), Honolulu, Oct 1998.
-
(1998)
Working Conference on Reverse Engineering (WCRE
-
-
Holt, R.C.1
-
21
-
-
57749182743
-
-
Blind men and elephant. Jainism Global Resource Center, website Jainworld.com
-
Blind men and elephant. Jainism Global Resource Center, website Jainworld.com.
-
-
-
-
22
-
-
50249146968
-
Architecture Compliance Checking: Experiences from Successful Technology Transfer to Industry
-
Athens, 1-4 April
-
Knodel, J., Muthig, D., Haury, U., Meier, G., "Architecture Compliance Checking: Experiences from Successful Technology Transfer to Industry", 12th European Conference on Software Maintenance and Reengineering (CSMR 2008), pp. 43-52, Athens, 1-4 April 2008
-
(2008)
12th European Conference on Software Maintenance and Reengineering (CSMR 2008)
, pp. 43-52
-
-
Knodel, J.1
Muthig, D.2
Haury, U.3
Meier, G.4
-
25
-
-
0029408391
-
Architectural Blueprints - The '4+1' View, Model of Software Architecture
-
November
-
Philippe Kruchten, "Architectural Blueprints - The '4+1' View", Model of Software Architecture, IEEE Software 12 (6), November 1995, pp. 42-50.
-
(1995)
IEEE Software
, vol.12
, Issue.6
, pp. 42-50
-
-
Kruchten, P.1
-
28
-
-
0343325414
-
Reverse Engineering by Visualizing and Querying
-
A.O. Mendelzon and J. Sametinger, "Reverse Engineering by Visualizing and Querying," Software - Concepts and Tools, vol. 16, no. 4, pp. 170-182, 1995.
-
(1995)
Software - Concepts and Tools
, vol.16
, Issue.4
, pp. 170-182
-
-
Mendelzon, A.O.1
Sametinger, J.2
-
29
-
-
57749175815
-
Documenting software architecture, Part 1: What software architecture is, and why it's important to document it
-
Apr
-
Tilak Mitra, "Documenting software architecture, Part 1: What software architecture is, and why it's important to document it," IBM DeveloperWorks 15, Apr 2008.
-
(2008)
IBM DeveloperWorks
, vol.15
-
-
Mitra, T.1
-
31
-
-
84856179979
-
-
Definitions of 'Software Architecture
-
"Definitions of 'Software Architecture'", Software Engineering Institute, 2008, http://www.sei.cmu.edu/architecture/ published_definitions.html
-
(2008)
Software Engineering Institute
-
-
-
33
-
-
33644992999
-
The Golden Age of Software Architecture
-
March/April
-
Mary Shaw and Paul Clements, "The Golden Age of Software Architecture", IEEE Software, vol 23, no 2, March/April 2006, pp. 31-39.
-
(2006)
IEEE Software
, vol.23
, Issue.2
, pp. 31-39
-
-
Shaw, M.1
Clements, P.2
-
34
-
-
0003036898
-
On the calculus of relations
-
A. Tarski, "On the calculus of relations," J. Symb. Log. 6, 3, 1941, pp 73-89.
-
(1941)
J. Symb. Log
, vol.6
, Issue.3
, pp. 73-89
-
-
Tarski, A.1
-
36
-
-
84879726112
-
-
A. van Deursen and L. Moonen, Understanding COBOL systems using inferred types, Seventh International Workshop on Program Comprehension, Proceedings, pp. 74-81, 05/05/1999-05/07/1999, Pittsburgh, PA, USA, 1999.
-
A. van Deursen and L. Moonen, "Understanding COBOL systems using inferred types," Seventh International Workshop on Program Comprehension, Proceedings, pp. 74-81, 05/05/1999-05/07/1999, Pittsburgh, PA, USA, 1999.
-
-
-
-
38
-
-
0035297885
-
Languages for formalizing, visualizing and verifying software architectures
-
R.van Ommering, R.Krikhaar, and L. Feijs, "Languages for formalizing, visualizing and verifying software architectures", Computer Languages, Volume 27, (1/3): 3-18, 2001.
-
(2001)
Computer Languages
, vol.27
, Issue.1-3
, pp. 3-18
-
-
van Ommering, R.1
Krikhaar, R.2
Feijs, L.3
-
39
-
-
57749175569
-
-
Grok, Wikipedia, 2008, http://en.wikipedia.org/wiki/Grok
-
(2008)
Grok, Wikipedia
-
-
-
40
-
-
57749201445
-
-
Boxology, Wikipedia, 2008, http://en.wikipedia.org/wiki/Boxology
-
(2008)
Boxology, Wikipedia
-
-
|