英文版的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
