Linear Software Models - Vector Spaces for Design Pattern Modules
Iaakov Exman
2013
Abstract
.
References
- Alur, D., Crupi, J., and Malks, D., 2003. Core J2EE Patterns: Best Practices and Design Strategies, 2nd edition, Prentice-Hall, Upper Saddle River, NJ, USA.
- Beck, K. and Cunningham, W., 1987. “Using Pattern Languages for Object-Oriented Programs”, in OOPSLA-87 Workshop on the Specification and Design for Object-Oriented Programming.
- Borndorfer, R., Ferreira, C.E., and Martin, A., 1998. “Decomposing Matrices into Blocks”, SIAM J. Optimization, Vol. 9, Issue 1, pp. 236-269.
- Buschmann, F., Meunier, R., Rohnert, H., Sommerlad, P., and Stal, M., 1996. Pattern-Oriented Software Architecture - A System of Patterns. Wiley and Sons.
- Cechich, A., and Moore, R., 1999. “A Formal Basis for Object-Oriented Patterns”, in Proc. 6th APSEC Asia Pacific Software Engineering Conf., pp. 284-291.
- Eden, A. H., Gil, J., Hirshfeld, Y. and A. Yehudai, 1999. “Towards a Mathematical Foundation for Design Patterns”, Tel-Aviv University, Technical Report, 1999
- Eden, A.H., Hirshfeld, Y. and A. Yehudai, 1998. “Multicast - Observer ? Typed Message”. C++ Report, SIGS Publications.
- Exman, I., 2012. “Linear Software Models for WellComposed Systems”, in S. Hammoudi, M. van Sinderen and J. Cordeiro (eds.), Proc. 7th ICSOFT'2012 Conference, pp. 92-101, Rome, Italy.
- Exman, I., November 2012. “Linear Software Models”, Extended Abstract, in Ivar Jacobson, Michael Goedicke and Pontus Johnson (eds.), Proc. GTSE 2012, SEMAT Workshop on a General Theory of Software Engineering, pp. 23-24, KTH Royal Institute of Technology, Stockholm, Sweden. http://semat.org/wp-content/uploads/2012/10/GTSE_ 2012_Proceedings.pdf. See also video presentation: http://www.youtube.com/watch?v=EJfzArH8-ls
- Gamma, E., Helm, R., Johnson, R., and Vlissides, J., 1995. Design Patterns: Elements of Reusable ObjectOriented Software, Addison-Wesley, Boston, MA, USA.
- Lang, S., 2002. Algebra, Springer Verlag, 3rd edition, New York, USA.
- Mikkonen, T., 1998. “Formalizing Design Patterns”, in Proc. ICSE'98, pp. 115-124, IEEE Computer Society Press.
- Mitchell, B. S., and Mancoridis, S., 2006. “On the Automatic Modularization of Software Systems Using the Bunch Tool”, IEEE Trans. Software Engineering, Vol. 32, pp. 193-208, (3).
- Riehle, D., 1996. “Describing and Composing Patterns Using Role Diagrams”, in K-U. Mutzel & H-P. Frei. (eds.) Proc. Ubilab Conf., Universitatsverlag Konstanz, pp. 137-152.
- Shi, N., and Olsson, R.A., 2006. “Reverse Engineering of Design Patterns from Java Source Code”, in Proc. ASE'06 21st Int. Conf. Automated Software Engineering, pp. 123-134.
- Vlissides, J., 1997. “Multicast”. C++ Report, Sep. 97. SIGS Publications.
- Wang, Y., and Huang, J., 2008. “Formal Modeling and Specification of Design Patterns using RTPA”, Int. J. Cognitive Informatics and Nat. Intelligence, vol. 2, pp. 100-111, 2008.
- Weisstein, E. W., 2006. "Matrix Direct Sum" from MathWorld - a Wolfram Web Resource. http://mathworld.wolfram.com/MatrixDirectSum.html.
Paper Citation
in Harvard Style
Exman I. (2013). Linear Software Models - Vector Spaces for Design Pattern Modules . In Proceedings of the 8th International Joint Conference on Software Technologies - Volume 1: ICSOFT-PT, (ICSOFT 2013) ISBN 978-989-8565-68-6, pages 520-527. DOI: 10.5220/0004496605200527
in Bibtex Style
@conference{icsoft-pt13,
author={Iaakov Exman},
title={Linear Software Models - Vector Spaces for Design Pattern Modules},
booktitle={Proceedings of the 8th International Joint Conference on Software Technologies - Volume 1: ICSOFT-PT, (ICSOFT 2013)},
year={2013},
pages={520-527},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004496605200527},
isbn={978-989-8565-68-6},
}
in EndNote Style
TY - CONF
JO - Proceedings of the 8th International Joint Conference on Software Technologies - Volume 1: ICSOFT-PT, (ICSOFT 2013)
TI - Linear Software Models - Vector Spaces for Design Pattern Modules
SN - 978-989-8565-68-6
AU - Exman I.
PY - 2013
SP - 520
EP - 527
DO - 10.5220/0004496605200527