Index   Zurück   Fenster schliessen	formal_part formal_part ::= (parameter_specification {; parameter_specification}) siehe LRM 6.1 wird genutzt von: parameter_and_result_profile parameter_profile