標(biāo)題: Titlebook: A Theory and Practice of Program Development; Derek Andrews Textbook 1997 Springer-Verlag London Limited 1997 algorithm.algorithms.data st [打印本頁] 作者: CAP 時(shí)間: 2025-3-21 19:33
書目名稱A Theory and Practice of Program Development影響因子(影響力)
書目名稱A Theory and Practice of Program Development影響因子(影響力)學(xué)科排名
書目名稱A Theory and Practice of Program Development網(wǎng)絡(luò)公開度
書目名稱A Theory and Practice of Program Development網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱A Theory and Practice of Program Development被引頻次
書目名稱A Theory and Practice of Program Development被引頻次學(xué)科排名
書目名稱A Theory and Practice of Program Development年度引用
書目名稱A Theory and Practice of Program Development年度引用學(xué)科排名
書目名稱A Theory and Practice of Program Development讀者反饋
書目名稱A Theory and Practice of Program Development讀者反饋學(xué)科排名
作者: 否認(rèn) 時(shí)間: 2025-3-21 23:53 作者: stratum-corneum 時(shí)間: 2025-3-22 02:43
https://doi.org/10.1007/978-3-531-91204-2oes and to try to avoid, wherever possible, saying ‘how’ it does it. This can be achieved by using abstract data structures to describe the data and implicit specifications using pre- and post-conditions to describe the various operations that form the system. However, when the specification has bee作者: 吹氣 時(shí)間: 2025-3-22 07:33
Schriften zum Produktionsmanagement specification. All three of these concepts will be defined formally using mathematics so that properties can be investigated and proved and, more important, a better understanding of the ideas can be obtained.作者: 綠州 時(shí)間: 2025-3-22 09:11 作者: 改變立場 時(shí)間: 2025-3-22 15:51 作者: 才能 時(shí)間: 2025-3-22 18:07 作者: 大廳 時(shí)間: 2025-3-22 23:36
,Einführung in die Themenstellung,ak it into smaller specifications, these are refined to executable code, and the resulting components are re-assembled using the semicolon operator. It is necessary to prove that this tactic does produce a program that satisfies the original specification.作者: foppish 時(shí)間: 2025-3-23 02:16 作者: arboretum 時(shí)間: 2025-3-23 07:10
Ihre Baustellendokumentation als Basisulating a factorial. The best approach to discovering these three terms is to initially ignore the variant relation and try to first find the invariant and then discover an appropriate guard. It must be remembered that the process of discovering these three terms cannot be mechanized (for if it coul作者: 總 時(shí)間: 2025-3-23 11:24
https://doi.org/10.1007/978-3-642-50707-6executable programs from specifications — that of implementing the abstract data structures of the specification in terms of data structures available in a favourite programming language; this process is called ..作者: 革新 時(shí)間: 2025-3-23 15:48
https://doi.org/10.1007/978-3-642-50707-6 data refinement. The rules for data refinement given so far only allow specifications to be refined; to develop executable code it is necessary to do all the data refinement first followed by the algorithmic refinement. It could be that an intermediate data representation would be just right for de作者: 沒有貧窮 時(shí)間: 2025-3-23 18:34 作者: 裝入膠囊 時(shí)間: 2025-3-24 01:41 作者: Trabeculoplasty 時(shí)間: 2025-3-24 04:52 作者: 果核 時(shí)間: 2025-3-24 09:23 作者: 健忘癥 時(shí)間: 2025-3-24 14:43 作者: leniency 時(shí)間: 2025-3-24 18:15
https://doi.org/10.1007/978-3-642-50707-6executable programs from specifications — that of implementing the abstract data structures of the specification in terms of data structures available in a favourite programming language; this process is called ..作者: Urea508 時(shí)間: 2025-3-24 19:03 作者: 真實(shí)的人 時(shí)間: 2025-3-25 01:01 作者: 萬靈丹 時(shí)間: 2025-3-25 07:12
https://doi.org/10.1007/978-3-8350-9224-2A programming language needs a way of introducing new identifiers, VDM-SL has three constructs for this purpose. Though the three constructs are based on the same definition, restrictions are placed on their use to give different semantics that assist with proof obligations, and thus the three constructs provide different facilities.作者: arthroscopy 時(shí)間: 2025-3-25 09:21 作者: Encoding 時(shí)間: 2025-3-25 11:49
Beispiel, Teil B: Anspruchsh?heAs mentioned earlier, the closure of . (given by .*) is too well-behaved to be a candidate for defining a looping construct. It does not have the right properties, its definition does not allow for the possibility of looping forever.作者: Tartar 時(shí)間: 2025-3-25 16:19
Beispiel, Teil B: Anspruchsh?heTo illustrate the use of the rules that have been derived, we will consider a simple problem (which will be developed further in Chapter 15).作者: corpus-callosum 時(shí)間: 2025-3-25 21:02
https://doi.org/10.1007/978-3-642-50707-6The rules for introducing procedures and procedure calls will be illustrated using some familiar examples.作者: Medley 時(shí)間: 2025-3-26 01:14
Genossenschafts- und Provinzial-AnstaltenTo illustrate the ideas of finding loop invariants, we can consider some simple problems. In each case the derivation occurred (more or less) as presented here, the most difficult part being the reorganization of the post-condition to try to identify a suitable invariant.作者: 迫擊炮 時(shí)間: 2025-3-26 05:55
Genossenschafts- und Provinzial-AnstaltenThis chapter looks at the standard problems of searching an array for a particular value that may be stored in it and of sorting an array. Before tackling these, it is first necessary to consider how to model an array in the language.作者: Schlemms-Canal 時(shí)間: 2025-3-26 11:19
Front Matter on various person characteristics (age, sex, personal space preferences, and level of behavioral normalcy). The statistical procedures used, which incorporated factor analyses and multivariate analysis of variance, provided a more comprehensive analysis of the effects of density. Negative effects o作者: 安撫 時(shí)間: 2025-3-26 12:50
A Small Programming Language,ubstantial diagnostic and prognostic relevance. In fact, the clinical ramifications of chromosome aberrations in genitourinary tumors are in many respects a paradigm for the potential uses of cytogenetics in other types of solid tumors. Very characteristic chromosome aberrations have been identified作者: conscience 時(shí)間: 2025-3-26 16:49
Concepts and Properties,ct the public from risk of exposure to radiation; on the other hand they are paid to keep the turbines rolling and to avoid outage, so as to make money for their employer. On the one hand they are expected to follow explicit rules and regulations laid out by both their employer and the government re作者: 歸功于 時(shí)間: 2025-3-26 22:20 作者: 圓桶 時(shí)間: 2025-3-27 03:53
Program Refinement,al support networks, on the one hand, and physiological, psychological, and social "health", on the other. Health is used as a broad term, and is defined as a state of physical and mental well- being by which an individual is capable of processing inner and outer reality in a productive and satisfyi作者: flourish 時(shí)間: 2025-3-27 08:10 作者: 厚顏 時(shí)間: 2025-3-27 09:44
Declarations and Blocks,is usually dealt with in our culture, so cultural pathology has played a central role in creating individuals’ madness from the start. It seems impossible to think of a mad culture without thinking of it as made up of mad individuals. So individual madness has likewise played a central role in cultu作者: 輕信 時(shí)間: 2025-3-27 14:46 作者: ACRID 時(shí)間: 2025-3-27 18:15 作者: 遷移 時(shí)間: 2025-3-27 22:50
The Iterative Command, lies in one’s motivation. Christianity bestows divine authority on that which everyone can understand through basic human intuition. St. Paul asserted that the commandments revealed on Mt. Sinai are written in the heart of every Gentile; each person knows fundamentally what is good and evil. Reflec作者: 防止 時(shí)間: 2025-3-28 04:08
An Example of Refinement at Work,s, if rationally construed, should support the view that the establishment of a liberal constitutional scheme is necessary to preserve dignity for every human being who lives in a modern society. In conclusion, I will recapitulate the common merits and limitations in all three schools of classical C作者: Culmination 時(shí)間: 2025-3-28 08:11 作者: 吸氣 時(shí)間: 2025-3-28 10:29 作者: 綁架 時(shí)間: 2025-3-28 15:36
Refinement and Performance,rica to Europe, linking these dynamics with theoretical approaches on international migrations and including a case study, undocumented migrations flux from Ivory Coast. This paper is divided into three main parts. The first focuses on the major structural and behavioral factors motivating West Afri作者: 憲法沒有 時(shí)間: 2025-3-28 21:03 作者: GUILE 時(shí)間: 2025-3-29 02:33
Data refinement,ck Steineroffers eight principles for understanding complex .Humans have always beeninfluenced by natural landscapes, and always will be—even as we create ever?largercities and our developments fundamentally change the nature of the earth aroundus. In this publication, noted city planner and landsca作者: 是貪求 時(shí)間: 2025-3-29 03:04 作者: 積習(xí)難改 時(shí)間: 2025-3-29 08:18
An Alternative Refinement of the Security System,uman Settlements, the HABITAT conference, which will take place in Vancouver, Canada, in May and June 1976. The lectures were given in London, England, during 1974 and 1975, most of them sponsored jointly with the Royal Connnonwealth Society. Four years ago, the Uni ted Nations Organisation was prep作者: GLUE 時(shí)間: 2025-3-29 12:09
tudents taking formal methods and software engineering; software developers involved in the production of provably correct computer systems and reusa ble design and the problems of reusable code.978-3-540-76162-4978-1-4471-0987-7作者: 分解 時(shí)間: 2025-3-29 19:31
https://doi.org/10.1007/978-3-531-91204-2s what a computer system should do — this book considers the problem of converting the ‘what’ into ‘how’ — the theory and practice of the process of developing executable code that satisfies a specification.作者: Postmenopause 時(shí)間: 2025-3-29 21:29 作者: fabricate 時(shí)間: 2025-3-30 01:01 作者: 秘密會議 時(shí)間: 2025-3-30 05:42 作者: Addictive 時(shí)間: 2025-3-30 10:05 作者: harangue 時(shí)間: 2025-3-30 13:12
Building New Commands from Old,ing to balance between thinking about and acting towards the common good versus instrumental values of doing community engagement and service-learning. Further, the chapter indicates that lecturers are central to creating community engagement– and service-learning–enabling environments where student作者: 指數(shù) 時(shí)間: 2025-3-30 16:34
Program Refinement,n types and distribution of social, psychological, and somatic disorders. Chapter 3 explores the risk fac- tors and constellations of stressful life events, role conflicts, and tran- sitions and focuses on the changes in types of demand or strains throughout the life span. Chapter 4 contains an anal作者: Rodent 時(shí)間: 2025-3-31 00:25 作者: 包庇 時(shí)間: 2025-3-31 03:47 作者: 色情 時(shí)間: 2025-3-31 08:39
Command Sequences, es zeigt sich, dass es hinsichtlich künftiger Freir?ume Gewinner und Verlierer zu geben droht. Umso wichtiger ist es, Digitalisierung nicht einfach geschehen zu lassen, sondern Wirkungen realistisch abzusch?tzen, Erwartungen der Mitarbeitenden und Ziele der Leitungspersonen abzugleichen, Frei- und 作者: Libido 時(shí)間: 2025-3-31 10:30
The Alternative Command,use the actor is not from middle class; they are poor women with a limited or low educational background, and the setting of social movements is a rural agricultural community. Collective action in Dasun can be interpreted as a social movement, with the fulfilment of the element of collectivity, sha作者: 獨(dú)白 時(shí)間: 2025-3-31 15:17 作者: CRAFT 時(shí)間: 2025-3-31 18:07
An Example of Refinement at Work, the classical ideas about human dignity require the establishment of a constitution, which will limit the power of the government, protect and help to inculcate the innate virtues, maintain moral independence as against the potential infringements by social and political powers, and provide for a m作者: Rebate 時(shí)間: 2025-4-1 00:25 作者: Proponent 時(shí)間: 2025-4-1 03:27 作者: urethritis 時(shí)間: 2025-4-1 08:07
