In the context of the AISSAC seminar on information systems, to which this invited lecture was given, it is presumed throughout the following considerations that: • contemporary information systems are software systems, ...