References
Courtois, P.-J., Parnas, D.L. 1995. Documentation for Safety Critical Software, Proceedings of 15th International Conference on Software Engineering, Baltimore, Maryland, May 1993, pp. 315–323
Dini, P., Ramazani, D., Bochmann, v. G. 1995. Formal and Informal in Balanced System Specifications, The International Conference on Balanced Systems, BASYS'95, Vitoria, Brasil, June 1995.
Dini, P. 1997. Automatic Reconfiguration Management in Networks and Distributed Systems, Ph.D. Thesis, University of Montreal, January 1997.
Mavee, J. et al.1989. Constructing Distributed Systems in Conic. IEEE Tr. on SE, vol. 15, no. 6, June 1989, pp. 663–675.
Shaw, M. 1994. Making Choices: A Comparison of Styles for Software Architecture, School of Computer Science, Carnegie Mellon University, Pittsburg PA, May 1994.
Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F., Lorensen, W. 1991. Object-Oriented Modeling and Design, Prentice-Hall, Inc., 1991.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dini, P., Belkhelladi, A., Melo, W.L. (1997). Formalizing software architectures: An industrial experience. In: Jazayeri, M., Schauer, H. (eds) Software Engineering — ESEC/FSE'97. ESEC SIGSOFT FSE 1997 1997. Lecture Notes in Computer Science, vol 1301. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63531-9_38
Download citation
DOI: https://doi.org/10.1007/3-540-63531-9_38
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63531-4
Online ISBN: 978-3-540-69592-9
eBook Packages: Springer Book Archive