Titlebook: High-Integrity System Specification and Design; Jonathan P. Bowen,Michael G. Hinchey Book 1999 Springer-Verlag London 1999 communication.c

遠(yuǎn)見

書目名稱High-Integrity System Specification and Design影響因子(影響力)




書目名稱High-Integrity System Specification and Design影響因子(影響力)學(xué)科排名




書目名稱High-Integrity System Specification and Design網(wǎng)絡(luò)公開度




書目名稱High-Integrity System Specification and Design網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱High-Integrity System Specification and Design被引頻次




書目名稱High-Integrity System Specification and Design被引頻次學(xué)科排名




書目名稱High-Integrity System Specification and Design年度引用




書目名稱High-Integrity System Specification and Design年度引用學(xué)科排名




書目名稱High-Integrity System Specification and Design讀者反饋




書目名稱High-Integrity System Specification and Design讀者反饋學(xué)科排名

etiquette

多節(jié)

Formal Approaches to Computing and Information Technology (FACIT)http://image.papertrans.cn/h/image/426615.jpg

custody

glans-penis

Formal Methods,Although they are widely cited as one of those techniques that can result in high-integrity systems [31], and are being mandated more and more in certain applications (see Part 6), formal methods remain one of the most controversial areas of current software engineering practice [119].

不來

mortgage

CASE,Just as mechanization made the Industrial Revolution in Britain possible at the beginning of the 19th century, so too is mechanization in system development seen as a means to increased productivity and a ‘Systems Revolution’.

Impugn

壓迫

Object-Orientation,t paradigm became popular. Over the last decade we have seen the emergence of many object-oriented programming languages, and extensions to existing languages to support object-oriented programming (e.g., C++, Object Pascal).

Aerate