J. J. T. Kleijn

Learn More
This paper describes the redesign of a systems engineering language called χ. This is an engineering language designed to specify and analyse industrial systems. The main objective of this redesign was to enable mathematical reasoning about χ specifications. We discuss the original χ language, the requirements and design decisions, and the resulting syntax(More)
Studying industrial systems by simulation enables the designer to study the dynamic behaviour and to determine some characteristics of the system. Unfortunately, simulation also has some disadvantages. These can be overcome by using formal methods. Formal methods allow a thorough analysis of the possible behaviours of a system, parameterised system analysis(More)
Studying industrial systems by simulation enables the designer to study their dynamic behaviour and to determine characteristics of the system. Unfortunately, simulation also has some disadvantages. These can be overcome by using formal methods. Formal methods allow a thorough analysis of the possible behaviours of a system, parameterised system analysis(More)
  • 1