b-method

    1熱度

    1回答

    細化B型規範

    的考慮我在B型規範如下： - flower <: FLOWER age <: AGE owner <: OWNER Type <: flower * age Buyer : owner <-> flower 是否有可能對我來說，隨後創建一個細化： - flower <: FLOWER age <: AGE owner <: OWNER Type : Owner <-> flowe
    formal-verification formal-methods refinement-type b-method 2017-07-19

    3熱度

    3回答

    AMN和數學邏輯符號

    我不確定這是適合的stackoverflow，但我不知道還有什麼要問。我正在研究用於證明要求規範中一致性的B方法，並且在指定操作的前提條件時，我遇到了邏輯數學符號的問題。 簡化原問題，我有一個變量，它是一個子集航班FLIGHT_NO×時間×時間之間的笛卡爾乘積，其中對於每個構件（無，TD，TA），絕不是飛行的數量 ，出發時間和到達時間。如何使用數學邏輯符號表示航班中具有最大td值的元素？
    math requirements software-quality b-method 2009-12-12

    2熱度

    2回答

    用b語言測試程序

    我不確定這適用於stackoverflow，但我不知道還有什麼地方要問。對於用b language（不是B語言，C和C++的前身）編寫的程序，我想知道它是否寫得很好，是否可以進行編譯或測試？
    b-method 2012-11-01

    5熱度

    2回答

    B方法是傳統編程語言的替代方案嗎？

    我聽說在法國發明的B-Method。它是傳統編程語言（如C++和java）的替代品，還是具有不同用途的完全不同的東西？
    programming-languages b-method 2010-02-23
最新問題