The purpose of my presentation is to show applicability of Z-notation to system requirements specification using as an example the so called engine of one of the biggest system developed for industrial application known as MRP II Standard System. The engine is described by D.V. Landvater & C.D Gray, [7] pp. 199-250. The MRP II algorithms are still used in Enterprise Resource Planning software.
PL
Celem publikacji, jest pokazanie przydatności notacji Z, na przykładzie opisu wymagań na standardowy system MRP II. Centralna część powyższego systemu, zwana dalej silnikiem MRP II, opracowana i opublikowana przez D.V. Landvater & C.D Gray, (1989), “MRP II Standard System, Oliver Wight Publications, Inc., USA VT”, jest przykładem jednego z największych objętościowo wymagań – napisanych dla aplikacji przemysłowych. Należy zauważyć, że opublikowane algorytmy są nadal używane w systemach ERP. Ograniczone ramy publikacji – prezentują jedynie wybrane elementy formalnego opisu wymagań na standardowy system MRPII.
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ć.