Dynamical system specifications as validation media

  • Authors:
  • J. Gyorkos;I. Rozman;T. Welzer

  • Affiliations:
  • University Of Maribor, Faculty of Technical Sciences, Smetanova 17, YU-62000 MARIBOR, Yugoslavia;University Of Maribor, Faculty of Technical Sciences, Smetanova 17, YU-62000 MARIBOR, Yugoslavia;University Of Maribor, Faculty of Technical Sciences, Smetanova 17, YU-62000 MARIBOR, Yugoslavia

  • Venue:
  • ACM SIGPLAN Notices
  • Year:
  • 1990

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.