presented at event Joint Meeting of the 6th European Software Engineering Conference / 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 97) Conference
keywords Computer Science Computer Science, Software Engineering DESIGN DETERMINISTIC PROGRAMS Science & Technology Technology integration relational approach requirements elicitation scenario state-based approach user-system interaction