標(biāo)題: Titlebook: Ada: Moving Towards 2000; 11th Ada-Europe Inte J. Katwijk Conference proceedings 1992 Springer-Verlag Berlin Heidelberg 1992 Ada.Ada Progra [打印本頁(yè)] 作者: Motion 時(shí)間: 2025-3-21 16:52
書(shū)目名稱Ada: Moving Towards 2000影響因子(影響力)
書(shū)目名稱Ada: Moving Towards 2000影響因子(影響力)學(xué)科排名
書(shū)目名稱Ada: Moving Towards 2000網(wǎng)絡(luò)公開(kāi)度
書(shū)目名稱Ada: Moving Towards 2000網(wǎng)絡(luò)公開(kāi)度學(xué)科排名
書(shū)目名稱Ada: Moving Towards 2000被引頻次
書(shū)目名稱Ada: Moving Towards 2000被引頻次學(xué)科排名
書(shū)目名稱Ada: Moving Towards 2000年度引用
書(shū)目名稱Ada: Moving Towards 2000年度引用學(xué)科排名
書(shū)目名稱Ada: Moving Towards 2000讀者反饋
書(shū)目名稱Ada: Moving Towards 2000讀者反饋學(xué)科排名
作者: BROTH 時(shí)間: 2025-3-21 22:45
Area-Based Management of Shipping cost, schedule, and technical risks of a project as a whole. The lack of management control is often attributed to object-oriented development‘s “iterative” nature. For object-oriented development to be practical on large-scale projects, it is essential that it reduce the risks of software developm作者: BORE 時(shí)間: 2025-3-22 03:10 作者: urethritis 時(shí)間: 2025-3-22 06:15
https://doi.org/10.1007/978-3-031-63745-2ason the RNLN/CAWCS has developed a concept in which there is a clear split in system-wide software infrastructure (related to ISO layers 2–6) and multiple, domain specific Application Functions..The approach taken comprises building information models for the complete hardware architecture, the sof作者: MAG 時(shí)間: 2025-3-22 10:47 作者: 窩轉(zhuǎn)脊椎動(dòng)物 時(shí)間: 2025-3-22 14:08
Rajnibhas Sukeaw Samakradhamrongthai-CSF/SIGNAAL takes these aspects into account during the design of their family of ATC systems EUROCAT 2000. Besides a controlled way of software design ADA is used as highly structured programming language supporting modularity, extendability and maintainability. This paper describes the way of sof作者: Noisome 時(shí)間: 2025-3-22 20:32
Arsenic Contamination in Indonesiacale Ada projects developed in one organization over a three year period were analyzed. The study indicates benefits of reuse in terms of reduced error density and increased productivity. The Ada generic features are observed as an enabler of reuse at higher levels of abstraction. Finally, using sev作者: 匯總 時(shí)間: 2025-3-22 23:17
Bhaskar Sen Gupta,Nadia Martínez-Villegase size for each of the executive subsytems is about 8000 loc. The test code adds up to 50000 loc for each subsystem..In our opinion, the development of reusable executive components has been made possible by such Ada features as tasking (for the tasking executive), packages, generics and low level c作者: 聾子 時(shí)間: 2025-3-23 02:49 作者: 惰性女人 時(shí)間: 2025-3-23 07:53
Digital Cultural Heritage Preservationffice established the ADA-9X project for the revision of the Ada standard. One of the specific areas addressed by the revision team deals with requirements posed by real-time applications and introduces a new building block for real-time Ada: the protected record. Protected records provide a low lev作者: figurine 時(shí)間: 2025-3-23 12:04
Digital Cultural Heritage Preservationndence, and a new program representation for concurrent Ada programs, named the Task Dependence Net (TDN). The task dependence net can be used as a unified representation in a concurrent Ada programming environment.作者: Arable 時(shí)間: 2025-3-23 17:00
https://doi.org/10.1007/978-3-031-66320-8rn is the possibility of . errors. A second issue is . amongst library tasks—a possibly serious problem for real-time systems, for example, in the implementation of the Priority Ceiling Protocol. A third problem is .—the situation where elaboration cannot be completed because a non-task entity calls作者: 有惡意 時(shí)間: 2025-3-23 19:49
Remembering Those Who Have Gone Beforeted, parallel and real-time systems. As is generally known, plain VDM is not adequate for these application areas since it lacks facilities to specify multiple threads of control and it does not allow the use of time within specifications. . is designed to overcome these restrictions..The paper repo作者: 暴行 時(shí)間: 2025-3-24 00:05 作者: 沒(méi)花的是打擾 時(shí)間: 2025-3-24 02:39 作者: 昏迷狀態(tài) 時(shí)間: 2025-3-24 07:29
Area-Based Management of Shippinghe real time distributed Ada software, and methods of integration of the real time components. Problems encountered that are unique to the Ada programming language and their solutions will be addressed.作者: 敏捷 時(shí)間: 2025-3-24 13:05 作者: nullify 時(shí)間: 2025-3-24 16:15
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/a/image/144490.jpg作者: Mobile 時(shí)間: 2025-3-24 22:40 作者: 招待 時(shí)間: 2025-3-24 23:39
978-3-540-55585-8Springer-Verlag Berlin Heidelberg 1992作者: Postmenopause 時(shí)間: 2025-3-25 05:47
0302-9743 The11th Ada Europe conference shows that Ada has maturedfrom a language,mainly of researchers and academics in theearly 1980s, into a full-grown tool in software engineeringpractice. This volume contains a selection ofcontributionsto the conference. They demonstrate that Ada is verybeneficially used作者: Grating 時(shí)間: 2025-3-25 08:43 作者: Herd-Immunity 時(shí)間: 2025-3-25 14:12 作者: Acetaminophen 時(shí)間: 2025-3-25 15:51
Arsenic Contamination in Indonesiaional requirements. The HOOD design method is extended to support abstractions which explicitly cater for the characteristics and properties of hard real-time systems. The new method is called HRT-HOOD (Hard Real-time HOOD).作者: 租約 時(shí)間: 2025-3-25 21:42
Conference proceedings 1992oftware development projects andis gradually becoming accepted on the scale it deserves.Papers have beenselected that show that Ada is indeedripened in all aspects of softwareengineering. A variety oftopics is addressed: management, economics, practicalexperiences, numerics, and the use of Ada for real-time anddistributed systems.作者: Working-Memory 時(shí)間: 2025-3-26 01:51 作者: 他日關(guān)稅重重 時(shí)間: 2025-3-26 06:05 作者: ablate 時(shí)間: 2025-3-26 09:46
Bhaskar Sen Gupta,Nadia Martínez-Villegaseen made in order to get a clear design and to provide the user with components that are close to his or her perception of the system to be developed. The abstraction level of the components is significantly higher than that provided by pure Ada.作者: 匍匐 時(shí)間: 2025-3-26 16:20
https://doi.org/10.1007/978-3-031-66320-8oration-time problems. Also, we briefly describe a scheme to determine a proper elaboration order on the basis of source code analysis and show how such a scheme can be used, if our coding practices are followed, to detect potential elaboration-time deadlock situations.作者: 噱頭 時(shí)間: 2025-3-26 20:06 作者: 浮雕寶石 時(shí)間: 2025-3-27 01:01
Digital Cultural Heritage Preservationthe solution of a classical real-time problem: conditional critical regions. The first solution uses Ada83 tasking and the second one uses Ada9X protected records. Finally we will discuss the runtime support and some implementation issues for protected records on multiprocessor target systems.作者: nonchalance 時(shí)間: 2025-3-27 04:16
Remembering Those Who Have Gone Beforerts on the development of a mechanical transformation of . specifications into executable Ada programs. The paper highlights the transformation of . types, the implementation of pattern matching, the realisation of . agents through Ada tasks and the realisation of time.作者: 歌唱隊(duì) 時(shí)間: 2025-3-27 07:40
Genevieve Grieves,Vicki Couzens,Julie GoughAs Ada is a complex programming language, it is necessary with a verification of the Ada related debugging facilities. A check list and a test suite are suggested as possible tools for Ada debugger evaluations. Finally, it is concluded that an Ada compiler system without a symbolic Ada debugger is not a full featured development environment.作者: Gingivitis 時(shí)間: 2025-3-27 12:00
Conference proceedings 1992a Europe conference shows that Ada has maturedfrom a language,mainly of researchers and academics in theearly 1980s, into a full-grown tool in software engineeringpractice. This volume contains a selection ofcontributionsto the conference. They demonstrate that Ada is verybeneficially used in many s作者: 笨拙的你 時(shí)間: 2025-3-27 14:16
Front Mattercontrol.Explains a range of molecular and biotechnolgical ap.This book offers a range of environmentally benign molecular mechanisms which are safer alternative strategies for effective insect pest management. In modern era of biotechnology, there has been much advancement in the field of molecular 作者: TSH582 時(shí)間: 2025-3-27 19:41
Real time Ada in the International Space Station freedom,ed to put to- gether a diverse array of papers that demonstrated the impact that the technologi- cal revolution ofmolecular biology has had on the field ofevolutionary biologyand ecology. The present volume borrows from that theme but attempts to focus more sharply on the impact that molecular biolo作者: Gratuitous 時(shí)間: 2025-3-28 00:45
Managing Ada object-oriented development,jor proximate causes of death in Western society, we have effectively converted acute illness into chronic malady. The last twenty years have witnessed a revolution in the treatment of acute coronary syndromes, myocardial infarction in particular. Patients who reach the hospital now have every expec作者: 滲入 時(shí)間: 2025-3-28 05:16
Software engineering, Ada and metrics,ith the microorganisms that associate with these food-producing plants and ani- mals at various stages of growth, development, and maturation. However, conventional research methods no longer are sufficient to bring about the improvements in quality and safety of foods that are demanded in today‘s m作者: 弄污 時(shí)間: 2025-3-28 09:54 作者: 為寵愛(ài) 時(shí)間: 2025-3-28 10:49
Reusable executives for hard real-time systems in Ada,ecular biology and genetics are dictating to a profound extent the approaches employed in their development. Increasing attention is being devoted to investigations of the mechanisms of action of existing drugs, and the sources of undesired side effects, at the molecular level. The information so de作者: 進(jìn)入 時(shí)間: 2025-3-28 16:08 作者: 侵略 時(shí)間: 2025-3-28 21:49
Runtime system support for data-oriented synchronization in Ada-9X, of information on the feeding habits and life styles of sev- eral hundred thousands of insect species. Insects that feed on plants during at least one of their life stages constitute about half of the three-quarters of a million described species. Their numbers both in terms of species and individu作者: 重畫(huà)只能放棄 時(shí)間: 2025-3-29 02:35
Decimal arithmetic in Ada,ashington. The purpose of organizing and publishing the proceedings of the conference is to provide a comprehensive survey of present knowledge on the determinants of membrane structure, the molec- ular specificity of membrane function, and the dynamic properties of membranes. Each presentation was 作者: Adulterate 時(shí)間: 2025-3-29 05:52 作者: IST 時(shí)間: 2025-3-29 09:10 作者: 貞潔 時(shí)間: 2025-3-29 11:27
Considerations with regard to validation of Ada debuggers,es.The chapter authors are also the best in their field.Incl.2004 marks the 100th anniversary of the first description of the autoimmune disease paroxysmal cold hemoglobinuria, a rare hemolytic disorder, by Julius Donath and Karl Landsteiner. After a century of research, the list of autoimmune disea作者: 商店街 時(shí)間: 2025-3-29 17:44 作者: Altitude 時(shí)間: 2025-3-29 22:36 作者: 數(shù)量 時(shí)間: 2025-3-30 01:32
Design and code metrics through a DIANA-based tool,作者: 偽造 時(shí)間: 2025-3-30 07:07 作者: Perennial長(zhǎng)期的 時(shí)間: 2025-3-30 12:05 作者: painkillers 時(shí)間: 2025-3-30 16:25
Real time Ada in the International Space Station freedom,ume are either fully updated or entirely new and expand into areas that we felt were impor- tant for a more complete understanding of the impact of DNA technology on ecol- ogy and evolution. The collection of papers in this volume cover a diverse array of ecological and evolutionary questions and de作者: 凹室 時(shí)間: 2025-3-30 19:49
Managing Ada object-oriented development,gression of ventricular dys- function, has created a chronic illness. The fact of its chronicity makes heart failure no less deadly. In symptomatic patients, mortality exceeds 5-10% per year even with the best contemporary therapy. Not all heart failure is ischemic, of course, but the final common phenotype i978-3-642-63332-4978-3-642-57710-9作者: 間接 時(shí)間: 2025-3-30 21:00
Software engineering, Ada and metrics,ty of nutritious and appealing choices in all food groups that can be quickly and easily prepared. This promotes optimum nutrition, particularly necessary in children, the elderly, and special-needs groups, and it allows health conscious consumers to match their calorie intake with indi- vidual needs to achie978-1-4684-8072-6978-1-4684-8070-2作者: Strength 時(shí)間: 2025-3-31 02:46 作者: 猛烈責(zé)罵 時(shí)間: 2025-3-31 06:38
Reusable executives for hard real-time systems in Ada,ences, and the Department of Biotechnology and Biochemistry, Technical University of Gdansk. This volume includes the texts of the review lectures presented by invited participants on up-to-date achievements, and future perspectives, in molecular mechanisms of inhibition of cellular functions and metabolism, 978-3-662-02742-4978-3-662-02740-0作者: 神圣在玷污 時(shí)間: 2025-3-31 10:05 作者: 慢慢流出 時(shí)間: 2025-3-31 15:00
Runtime system support for data-oriented synchronization in Ada-9X,uman food and fiber production. Early enthusiasm revealed many remarkable specializations and associ- ations between insects and plants, and occasionally assigned chemical me- diators for them. However, the modern practices of large scale crop pro- tection by synthetic pesticides and their attendant作者: 復(fù)習(xí) 時(shí)間: 2025-3-31 18:53 作者: 起波瀾 時(shí)間: 2025-4-1 01:13
Detection and avoidance of elaboration-time problems for multi-unit real-time Ada applications,V40 and polyoma genomes. Although they contain about 5000 bp that encode for only 6 to 7 proteins, the mechanisms which regulated their gene expression are varied and include almost any other type of gene regulation found today to regulate eukaryotic genes. Just to mention two: (i) the early promote作者: Homocystinuria 時(shí)間: 2025-4-1 05:05
Simulation of Mosca specifications in Ada, losses in a number of plants. Providing a comprehensive picture of plant-pathogen interaction, the updated information included in this book is valuable for all those involved in crop improvement..978-981-13-3945-5978-981-10-7371-7作者: Gorilla 時(shí)間: 2025-4-1 07:58 作者: JIBE 時(shí)間: 2025-4-1 12:07
Front Matterource for postgraduate students and researchers of agriculture sciences, plant pathology and plant physiology. It is also useful for policy planners in agriculture.?.978-981-16-3593-9978-981-16-3591-5作者: Spirometry 時(shí)間: 2025-4-1 14:49 作者: 預(yù)測(cè) 時(shí)間: 2025-4-1 21:55
https://doi.org/10.1007/978-3-031-63745-2n itself for CAWCS-built systems, especially in the areas of a rapidly maturing process for the code generator, high quality code and superior flexibility in a System Integration phase. The produced software components are specific in the sense that only the required infrastructure is generated for 作者: paleolithic 時(shí)間: 2025-4-1 23:45
Rajnibhas Sukeaw Samakradhamrongthai customized packages, an Ada design metrics analysis tool was developed. This paper will discuss our design metrics and their automation at Magnavox. Empirical results will illustrate the metrics‘ success in identifying stress points in a software design and demonstrate their relationship to the qua作者: 沙發(fā) 時(shí)間: 2025-4-2 03:02
10樓作者: Evacuate 時(shí)間: 2025-4-2 07:19
10樓
