Revenue from Contracts with Customers Transaction Price Allocated to Remaining Performance Obligations (Details) $ in Thousands	Dec. 31, 2019 USD ($)
License [Member] | Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2019-07-01
Revenue, Remaining Performance Obligation, Amount	$ 33,746
License [Member] | Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2020-07-01
Revenue, Remaining Performance Obligation, Amount	48,338
License [Member] | Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2021-07-01
Revenue, Remaining Performance Obligation, Amount	11,790
License [Member] | Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2022-07-01
Revenue, Remaining Performance Obligation, Amount	4,264
License [Member] | Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2023-07-01
Revenue, Remaining Performance Obligation, Amount	1,724
License [Member] | Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2024-07-01
Revenue, Remaining Performance Obligation, Amount	913
Maintenance [Member] | Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2019-07-01
Revenue, Remaining Performance Obligation, Amount	87,737
Maintenance [Member] | Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2020-07-01
Revenue, Remaining Performance Obligation, Amount	144,046
Maintenance [Member] | Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2021-07-01
Revenue, Remaining Performance Obligation, Amount	105,626
Maintenance [Member] | Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2022-07-01
Revenue, Remaining Performance Obligation, Amount	72,435
Maintenance [Member] | Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2023-07-01
Revenue, Remaining Performance Obligation, Amount	46,591
Maintenance [Member] | Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2024-07-01
Revenue, Remaining Performance Obligation, Amount	25,559
Services and other | Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2019-07-01
Revenue, Remaining Performance Obligation, Amount	41,678
Services and other | Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2020-07-01
Revenue, Remaining Performance Obligation, Amount	4,778
Services and other | Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2021-07-01
Revenue, Remaining Performance Obligation, Amount	627
Services and other | Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2022-07-01
Revenue, Remaining Performance Obligation, Amount	472
Services and other | Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2023-07-01
Revenue, Remaining Performance Obligation, Amount	199
Services and other | Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2024-07-01
Revenue, Remaining Performance Obligation, Amount	$ 86