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
Feature logics and refinement, Ninth Asia-Pacific Software Engineering Conference, 2002., pp.385-395, 2002. ,
DOI : 10.1109/APSEC.2002.1183008
Emergent Properties in Reactive Systems, 2008 15th Asia-Pacific Software Engineering Conference, pp.273-280, 2008. ,
DOI : 10.1109/APSEC.2008.28
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
A Formal Approach to Software Architecture, Carnegie Mellon, School of Computer Science, 1997. ,
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
Software Architecture in Practice, 1998. ,
Logical systems for structured specifications, Theoretical Computer Science, vol.286, issue.2, pp.197-245, 2002. ,
DOI : 10.1016/S0304-3975(01)00317-6
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
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
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
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
Memory Evolutive Systems: Hierarchy, Emergence, Cognition, 2007. ,
New concepts for amalgation and extension in the framework of specification logics Lecture Notes in Computer Science, Algebraic Methodology and Software Technology (AMAST), 1991. ,
Chapter 5. A Mathematical Semantics for Architectural Connectors, Generic Programming, pp.178-221, 2003. ,
DOI : 10.1007/978-3-540-45191-4_5
Acme, CASCON First Decade High Impact Papers on, CASCON '10, pp.169-183, 1997. ,
DOI : 10.1145/1925805.1925814
Language Constructs for Decsribing Features, chapter Algebraic treatment of feature-oriented systems, pp.105-125, 2000. ,
Advances in Cybernetics and Systems Research, chapter Categorical Foundations for General Systems Theory, Transcripta Books, pp.121-130, 1973. ,
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
Evolving algebras 1993: Lipari guide, Specification and Validation Methods, pp.9-36, 1995. ,
The algebraic specification of abstract data types, Acta Informatica, pp.27-52, 1978. ,
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=10.1.1.121.43
Algebraic Foundations of Systems Specification, chapter Structuring and Modularity IFIP State-of-the-Art Reports, pp.159-201, 1999. ,
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
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
Denotational semantics of object specification, Acta Informatica, vol.35, issue.9, pp.729-773, 1998. ,
DOI : 10.1007/s002360050141
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
Algebraic Foundations of Systems Specification , chapter Institutions: An abstract Framework for Formal Specifications IFIP State-of-the-Art Reports, pp.105-131, 1999. ,