Fabrice Barbier

Learn More
Separation of concerns or aspects is nowadays recognized as an important issue in software engineering, both at the programming and at the design/specification level. The goal of mixed specification languages (e.g. SDL, value-passing process algebras such as extensions of CSP or full-LOTOS, Korrigan) is to take into account all-or at least several-aspects(More)
Preface CALCO brings together researchers and practitioners to exchange new results related to foundational aspects and both traditional and emerging uses of algebras and coalgebras in computer science. The study of algebra and coalgebra relates to the data, process and structural aspects of software systems. This is a high-level, biennial conference formed(More)
Separation of concerns or aspects is nowadays recognized as an important issue in software engineering, both at the programming and at the design/specification level. The goal of mixed specification languages is to take into account all-or at least several-aspects of systems. We found out from our experience that a lot of mixed specification languages do(More)
— This part II proposes two examples where the space-time windowing is useful: gait and load lifting. Giving the main importance of the windowing and graphing result (for a very first analysis of numerous multidimensional signals), the discussion tackle subjective aspects with and without windowing.
Separation of concerns or aspects is nowadays recognized as an important issue in software engineering, both at the programming and at the design/specification level. The goal of mixed specification languages is to take into account all-or at least several-aspects of systems. We found out that a lot of mixed specification languages do share most of their(More)
  • 1