細化B型規範

的考慮我在B型規範如下： -細化B型規範

flower <: FLOWER 
age <: AGE 
owner <: OWNER 
Type <: flower * age 
Buyer : owner <-> flower

是否有可能對我來說，隨後創建一個細化： -

flower <: FLOWER 
age <: AGE 
owner <: OWNER 
Type : Owner <-> flower * age 
Buyer : owner <-> flower

有什麼問題？ – drum

都不清楚你要問什麼，看起來很偏離主題（https://math.stackexchange.com/也許） –

@RachelGallen：我認爲這個問題是關於主題的，因爲B方法是一種軟件開發方法，在這裏顯示了具體的代碼。 – danielp

不，它不是因爲在一個細化中，一個變量的類型必須與規範中的類型相同（如果在這個規範中有一個同名的變量）。

2017-07-20 07:13:05 danielp

回答