This paper presents a new systems development method. This method builds a model using systems concepts of general systems theory and describing it in the model theoretic way. The generated model is translated into an extProlog program by a compiler and implemented as an executable system. The paper applies the method to a solver design.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.