Dynamical system specifications as validation media

Autor: J. Gyorkos, Tatjana Welzer, Ivan Rozman
Rok vydání: 1990
Předmět:
Zdroj: ACM SIGPLAN Notices. 25:10-16
ISSN: 1558-1160
0362-1340
DOI: 10.1145/101344.101346
Popis: How to present to the customer team the aim and the potential behavior of the future software system after the earliest phases of software development process - the requirements analysis? Activation of systems specifications as the useful connection between the both customer and developer team is described in the paper. Activation gives the dynamic procedural picture of the future system with the optional level of abstraction and with the possibility of tracing the desired event structure. The advantages of the described activating of systems specifications are simplicity, well understandability and the flexible connection with the techniques for generating system specifications. All this improve the customer/developer cycle's communication paths.
Databáze: OpenAIRE