The AltaRica language and its semantics, Fundamenta Informaticae, vol.34, pp.109-124, 2000. ,
Systems Engineering and Analysis, 2008. ,
Algorithms + Data Structures = Programs, 1976. ,
A Theory of Objects, 1998. ,
, System Structure Modeling Language (S2ML). AltaRica Association, 2015. archive hal 01234903, vol.1
URL : https://hal.archives-ouvertes.fr/hal-01234903
Simula: an algol-based simulation language, Communications of the ACM, vol.9, issue.9, pp.671-678, 1966. ,
Open-PSA Model Exchange format, version 2.0d, 2008. ,
The Architecture Analysis & Design Language (AADL): An Introduction, 2006. ,
A Practical Guide to SysML: The Systems Modeling Language, 2011. ,
Principles of Object-Oriented Modeling and Simulation with Modelica 2.1, 2003. ,
Design Patterns : Elements of Reusable Object-Oriented Software. Addison-Wesley professional computing series, 1994. ,
Smalltalk 80: The Language, 1983. ,
The synchronous dataflow programming language lustre, Proceedings of the IEEE, vol.79, issue.9, pp.1305-1320, 1991. ,
C-k design theory: an advanced formulation, vol.19, pp.181-192, 2009. ,
Women, Fire, and Dangerous Things: What Categories Reveal About the Mind, 1990. ,
Architecting principles for systems-of-systems, Systems Engineering, vol.1, issue.4, pp.267-284, 1998. ,
Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE, vol.77, pp.541-580, 1989. ,
Prototype-Based Programming: Concepts, Languages and Applications, 1999. ,
The origins of structural operational semantics, Journal of Logic and Algebraic Programming, vol.6061, p.315, 2004. ,
The AltaRica 3.0 project for model-based safety assessment, Proceedings of 4th IFAC Workshop on Dependable Control of Discrete Systems, DCDS2013, pp.127-132, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-01789435
, System Reliability Theory: Models, Statistical Methods, and Applications, 2004.
Guarded transition systems: a new states/events formalism for reliability studies, Journal of Risk and Reliability, vol.222, issue.4, pp.495-505, 2008. ,
, Eclipse Modeling Framework, 2008.