英文版的formal method系統分析標準和設計。
上傳時間： 2015-09-06
上傳用戶：bruce
安全嵌入式系統的設計技巧.pdf The Use of formal Methods
上傳時間： 2014-01-25
上傳用戶：梧桐
SOME BACKGROUND ON DESIGN PATTERNS The term “design patterns” sounds a bit formal to the uninitiated and can be somewhat off-putting when you first encounter it. But, in fact, design patterns are just convenient ways of reusing object-oriented code between projects and between programmers. The idea behind design patterns is simple-- write down and catalog common interactions between objects that programmers have frequently found useful.
標簽： BACKGROUND uninitiate PATTERNS patterns
上傳時間： 2013-12-22
上傳用戶：shizhanincc
java interpreter in formal language and translators
標簽： interpreter translators language formal
上傳時間： 2014-07-17
上傳用戶：lizhizheng88
This book evolved over the past ten years from a set of lecture notes developed while teaching the undergraduate Algorithms course at Berkeley and U.C. San Diego. Our way of teaching this course evolved tremendously over these years in a number of directions, partly to address our students' background (undeveloped formal skills outside of programming), and partly to reect the maturing of the eld in general, as we have come to see it. The notes increasingly crystallized into a narrative, and we progressively structured the course to emphasize the ?story line? implicit in the progression of the material. As a result, the topics were carefully selected and clustered. No attempt was made to be encyclopedic, and this freed us to include topics traditionally de-emphasized or omitted from most Algorithms books.
標簽： Algorithms 算法
上傳時間： 2013-11-11
上傳用戶：JamesB
四套Latex模版，分別是： A good model for writing Curriculum Vitae； An excellent package to design slides using LaTeX； A strong package to make floating figure and table style； For writing formal letters。
上傳時間： 2014-01-24
上傳用戶：dsgkjgkjg
Data_Structures_and_Algorithms - These notes accompany Data Structures and Algorithms II. The course, to a large extent, follows on from Data Structures and Algorithms I. However, while DS&A I focused on fundamental datastructures, DS&A II will focus on practical algorithms, applicable to a wide range of tasks. The approach will be somewhat less formal, with a little more focus on applications.
標簽： Data_Structures_and_Algorithms Algorithms Structures accompany
上傳時間： 2016-05-08
上傳用戶：阿四AIR
UML2.1.2最新標準，OMG Document Number: formal/2007-11-04。對研究UML最新標準有很好的參考價值。
上傳時間： 2016-10-13
上傳用戶：ruixue198909
The widespread use of embedded systems mandates the development of industrial software design methods, i.e. computer-aided design and engineering of embedded applications using formal models (frameworks) and standardized prefabricated components, much in the same way as in other mature areas of engineering such as mechanical engineering and electronics. These guidelines have been used to develop Component-based Design of Software for Embedded Systems (COMDES). The paper gives an overview of the COMDES framework, followed by a presentation of a generic component types, such as function blocks, activities and function units. The execution of function units is discussed in the context of a newly developed execution model, i.e. timed-multitasking, which has been extended to distributed embedded systems.
標簽： development widespread industrial embedded
上傳時間： 2014-01-23
上傳用戶：z754970244
Advanced ASIC Chip Synthesis Using Synopsys Design Compiler. This second edition of this book describes the advanced concepts and techniques used towards ASIC chip synthesis, physical synthesis, formal verification and static timing analysis, using the Synopsys suite of tools.
標簽： Synthesis Advanced Synopsys Compiler
上傳時間： 2017-04-04
上傳用戶：lanwei
