Specyfikacja logiczno-dynamiczna i komputerowa implementacja