A framework for formal component-based software architecting

M.R.V. Chaudron; E.M. Eskenazi; A. Fioukov; D.K. Hammer

A framework for formal component-based software architecting

M.R.V. Chaudron, E.M. Eskenazi, A. Fioukov, D.K. Hammer

Algorithms

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA 2001, Tampa Bay FL, USA, October 14-18, 2001)
Publication status	Published - 2001

Cite this

@inproceedings{49e337741bbb4c6e9d8a9fb21ef15cd4,

title = "A framework for formal component-based software architecting",

author = "M.R.V. Chaudron and E.M. Eskenazi and A. Fioukov and D.K. Hammer",

year = "2001",

language = "English",

booktitle = "ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA 2001, Tampa Bay FL, USA, October 14-18, 2001)",

}

A framework for formal component-based software architecting. / Chaudron, M.R.V.; Eskenazi, E.M.; Fioukov, A. et al.
ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA 2001, Tampa Bay FL, USA, October 14-18, 2001). 2001.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review