upload
IEEE Computer Society
Industry: Computer; Software
Number of terms: 50628
Number of blossaries: 0
Company Profile:
Founded in 1946, the IEEE Computer Society is a professional organization for computing professionals. Based in Washington, DC, it's the largest of IEEE’s 38 societies organized under the IEEE Technical Activities Board. The IEEE Computer Society is dedicated to advancing the theory, practice, and ...
證明的正確性技術在哪個斷言書面描述程式輸入、 輸出和中間條件、 有關滿意的輸入到滿意的輸出斷言,斷言制定一套的定理和定理證明或反駁由感應使用證明。
Industry:Computer; Software
在正確性的證明,表明指定程式的輸出斷言遵循邏輯上從其輸入的斷言和處理步驟和此外,該程式將終止所有下指定輸入的條件。
Industry:Computer; Software
在正確性的證明,表明指定程式的輸出斷言按照邏輯上從其輸入的斷言和處理步驟。
Industry:Computer; Software
Dogodek, ki povzroči prekinitev normalno program izvedbe. Vrste so naslavljanje izjemo podatkov izjema, delovanje izjema, overflow izjema, zaščite izjema, zaokrožitve izjema.
Industry:Computer; Software
Izjema, ki nastane, ko program poskuša uporabiti ali nepravilno dostop do podatkov.
Industry:Computer; Software
Izjema, ki nastane, ko program poskuša zapisati v zavarovano območje v skladišču.
Industry:Computer; Software
在軟體和系統的測試,若要安裝或設備或指令插入的硬體或軟體來監視系統或元件的操作。
Industry:Computer; Software
在多大程度的定量測量系統、 元件或 processpossesses 給定屬性。
Industry:Computer; Software
在軟體設計中的 demodularization,其中一個從屬模組是一種形式複製在行到上級模組的正文。
Industry:Computer; Software
在軟體設計中,demodularization 在其中一個上級模組將被覆制到從屬模組的身體的一種形式。
Industry:Computer; Software
© 2025 CSOFT International, Ltd.