Ну сам код достаточно простой:

//PascalABC.NET (версия 3.1, сборка 1196 от 09.03.2016)
begin
  var n := ReadInteger('Размер массива:');
  var a := ArrRandom(n, -50, 50);
  println(a);
  var min := a[0];
  for var i := 0 to n - 1 do
    if (i mod 2 = 0) and (a[i] < min) then min := a[i];
  Println('Минимальное на четных номерах =', min);
end.

Ну а "Спецификация", как я понял список всех элементов массива выводятся процедурой println(a)