Logisch-dynamische specificatie en computerimplementatie