M. Aiguier, ETOILE-specifications: An Object-oriented Algebraic Formalism with Refinement, Journal of Logic and Computation, vol.14, issue.2, pp.145-178, 2004.
DOI : 10.1093/logcom/14.2.145

URL : http://logcom.oxfordjournals.org/cgi/content/short/14/2/145

M. Aiguier, C. Gaston, and P. L. Gall, Feature logics and refinement, Ninth Asia-Pacific Software Engineering Conference, 2002., pp.385-395, 2002.
DOI : 10.1109/APSEC.2002.1183008

M. Aiguier, P. L. Gall, and M. Mabrouki, Emergent Properties in Reactive Systems, 2008 15th Asia-Pacific Software Engineering Conference, pp.273-280, 2008.
DOI : 10.1109/APSEC.2008.28

M. Aiguier, P. L. Gall, and M. Mabrouki, A Formal Definition of Complex Software, 2008 The Third International Conference on Software Engineering Advances, pp.415-420, 2008.
DOI : 10.1109/ICSEA.2008.59

R. Allen, A Formal Approach to Software Architecture, Carnegie Mellon, School of Computer Science, 1997.

R. Allen and D. Garlan, A formal basis for architectural connection, ACM Transactions on Software Engineering and Methodology, vol.6, issue.3, pp.213-249, 1997.
DOI : 10.1145/258077.258078

URL : https://hal.archives-ouvertes.fr/hal-00444067

L. Blass, P. Clements, and R. Kasman, Software Architecture in Practice, 1998.

T. Borzyszkowski, Logical systems for structured specifications, Theoretical Computer Science, vol.286, issue.2, pp.197-245, 2002.
DOI : 10.1016/S0304-3975(01)00317-6

S. Coudert and P. L. Gall, A Reuse-Oriented Framework for Hierarchical Specifications, AMAST '00: Proc. of the 8th Int. Conference on Algebraic Methodology and Software Technology, pp.438-453, 2000.
DOI : 10.1007/3-540-45499-3_31

R. Damper, Editorial for the Special Issue on 'Emergent Properties of Complex Systems': Emergence and levels of abstraction, International Journal of Systems Science, vol.31, issue.7, pp.811-818, 2000.
DOI : 10.1080/002077200406543

R. Diaconescu, Grothendieck institutions Applied Categorical Structures, pp.383-402, 2002.
DOI : 10.1016/j.tcs.2003.10.030

URL : http://doi.org/10.1016/j.tcs.2003.10.030

R. Diaconescu, Jewels of Institution-Independent Model Theory, Algebra, Meaning, and Computation, Essays Dedicated to J.-A. Goguen on the Occasion of His 65th Birthday, 2006.
DOI : 10.1007/11780274_5

A. Ehresmann and J. Vanbremeersch, Memory Evolutive Systems: Hierarchy, Emergence, Cognition, 2007.

H. Ehrig, M. Balmadus, and F. Orejas, New concepts for amalgation and extension in the framework of specification logics Lecture Notes in Computer Science, Algebraic Methodology and Software Technology (AMAST), 1991.

J. Fiadeiro, A. Lopes, and M. Wermelinger, Chapter 5. A Mathematical Semantics for Architectural Connectors, Generic Programming, pp.178-221, 2003.
DOI : 10.1007/978-3-540-45191-4_5

D. Garlan, R. Monroe, and D. Wile, Acme, CASCON First Decade High Impact Papers on, CASCON '10, pp.169-183, 1997.
DOI : 10.1145/1925805.1925814

C. Gaston, M. Aiguier, and P. L. Gall, Language Constructs for Decsribing Features, chapter Algebraic treatment of feature-oriented systems, pp.105-125, 2000.

J. Goguen, Advances in Cybernetics and Systems Research, chapter Categorical Foundations for General Systems Theory, Transcripta Books, pp.121-130, 1973.

J. Goguen and R. Burstall, Institutions: abstract model theory for specification and programming, Journal of the ACM, vol.39, issue.1, pp.95-146, 1992.
DOI : 10.1145/147508.147524

Y. Gurevich, Evolving algebras 1993: Lipari guide, Specification and Validation Methods, pp.9-36, 1995.

J. Guttag and J. Horning, The algebraic specification of abstract data types, Acta Informatica, pp.27-52, 1978.

T. Mossakowski, Institutional 2-cells and Grothendieck Institutions, Lecture Notes in Computer Science, vol.4060, pp.124-149, 2006.
DOI : 10.1007/11780274_7

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

F. Orejas, Algebraic Foundations of Systems Specification, chapter Structuring and Modularity IFIP State-of-the-Art Reports, pp.159-201, 1999.

D. Perry and A. Wolf, Foundations for the study of software architecture, ACM SIGSOFT Software Engineering Notes, vol.17, issue.4, pp.40-52, 1992.
DOI : 10.1145/141874.141884

M. Plath and M. Ryan, Feature integration using a feature construct, Science of Computer Programming, vol.41, issue.1, pp.53-84, 2001.
DOI : 10.1016/S0167-6423(00)00018-6

A. Sernadas, C. Sernadas, and C. Caleiro, Denotational semantics of object specification, Acta Informatica, vol.35, issue.9, pp.729-773, 1998.
DOI : 10.1007/s002360050141

A. Tarlecki, Moving between logical systems, Recent Trends in Data Type Specifications. 11th Workshop on Specification of Abstract Data Types, pp.478-502, 1996.
DOI : 10.1007/3-540-61629-2_59

A. Tarlecki, Algebraic Foundations of Systems Specification , chapter Institutions: An abstract Framework for Formal Specifications IFIP State-of-the-Art Reports, pp.105-131, 1999.