-
1
-
-
34247172024
-
Symbolic Invariant Verification for Systems with Dynamic Structural Adaptation
-
ACM Press
-
th International Conference on Software Engineering (ICSE), Shanghai, China. ACM Press, 2006.
-
(2006)
th International Conference on Software Engineering (ICSE), Shanghai, China
-
-
Becker, B.1
Beyer, D.2
Giese, H.3
Klein, F.4
Schilling, D.5
-
2
-
-
0003885315
-
-
John Wiley and Sons, Inc
-
W. Brown, R. Malveau, H. McCormick, and T. Mombray. Anti Patterns: Refactoring Software, Architectures, and Projects in Crisis. John Wiley and Sons, Inc., 1998.
-
(1998)
Anti Patterns: Refactoring Software, Architectures, and Projects in Crisis
-
-
Brown, W.1
Malveau, R.2
McCormick, H.3
Mombray, T.4
-
3
-
-
84949942869
-
Story diagrams: A new graph rewrite language based on the unified modeling language
-
th International Workshop on Theory and Application of Graph Transformation TAGT, Paderborn, Germany, Springer Verlag, November
-
th International Workshop on Theory and Application of Graph Transformation (TAGT), Paderborn, Germany, LNCS 1764, pages 296-309. Springer Verlag, November 1998.
-
(1764)
LNCS
, pp. 296-309
-
-
Fischer, T.1
Niere, J.2
Torunski, L.3
Zündorf, A.4
-
6
-
-
84937207194
-
Formalising behaviour preserving program transformations
-
London, UK, Springer-Verlag
-
T. Mens, S. Demeyer, and D. Janssens. Formalising behaviour preserving program transformations. In ICGT '02: Proceedings of the First International Conference on Graph Transformation, pages 286-301, London, UK, 2002. Springer-Verlag.
-
(2002)
ICGT '02: Proceedings of the First International Conference on Graph Transformation
, pp. 286-301
-
-
Mens, T.1
Demeyer, S.2
Janssens, D.3
-
7
-
-
33749040864
-
Product metrics for automatic identification of bad smell design problems in java source-code
-
Washington, DC, USA, IEEE Computer Society
-
M. J. Munro. Product metrics for automatic identification of bad smell design problems in java source-code. In METRICS '05: Proceedings of the 11th IEEE International Software Metrics Symposium (METRICS'05), page 15, Washington, DC, USA, 2005. IEEE Computer Society.
-
(2005)
METRICS '05: Proceedings of the 11th IEEE International Software Metrics Symposium (METRICS'05)
, pp. 15
-
-
Munro, M.J.1
-
8
-
-
0036036578
-
Towards pattern-based design recovery
-
ACM Press, May
-
th International Conference on Software Engineering (ICSE), Orlando, Florida, USA, pages 338-348. ACM Press, May 2002.
-
(2002)
th International Conference on Software Engineering (ICSE), Orlando, Florida, USA
, pp. 338-348
-
-
Niere, J.1
Schäfer, W.2
Wadsack, J.P.3
Wendehals, L.4
Welsh, J.5
|