RÉSUMÉ. La méthode B est une méthode formelle utilisée pour modéliser des systèmes et prouver l’exactitude de leur conception par raffinements successifs. Mais les spécifications formelles sont difficiles à lire quand elles ne sont pas accompagnées d’une documentation. Cette lisibilité est essentielle pour une bonne compréhension de la spécification, notamment dans des phases de validation ou d...

Cet article cherche à voir si le sexe et la profession du conjoint peuvent expliquer l'ampleur et le type de soutien conjugal quand des personnes sont aux prises avec un stress important par rapport à leur travail. Pour ce faire nous analysons les données tirées d'une enquête auprès d'un échantillon d'avocates et d'avocats qui sont mariés pour certaines et certains à une personne exerçant la mê...