@techreport{merle:inria-00338987, TITLE = {{A formal specification of the Fractal component model in Alloy}}, AUTHOR = {Merle, Philippe and Stefani, Jean-Bernard}, URL = {https://inria.hal.science/inria-00338987}, TYPE = {Research Report}, NUMBER = {RR-6721}, PAGES = {44}, INSTITUTION = {{INRIA}}, YEAR = {2008}, KEYWORDS = {Software components ; component model ; formal specification ; software architecture ; Fractal component model ; Alloy specification language}, PDF = {https://inria.hal.science/inria-00338987/file/Fractal-Alloy.pdf}, HAL_ID = {inria-00338987}, HAL_VERSION = {v1}, }