標題: Titlebook: Reliable Software Technologies - Ada Europe 96; 1996 Ada-Europe Inte Alfred Strohmeier Conference proceedings 1996 Springer-Verlag Berlin H [打印本頁] 作者: 方言 時間: 2025-3-21 18:11
書目名稱Reliable Software Technologies - Ada Europe 96影響因子(影響力)
書目名稱Reliable Software Technologies - Ada Europe 96影響因子(影響力)學科排名
書目名稱Reliable Software Technologies - Ada Europe 96網(wǎng)絡公開度
書目名稱Reliable Software Technologies - Ada Europe 96網(wǎng)絡公開度學科排名
書目名稱Reliable Software Technologies - Ada Europe 96被引頻次
書目名稱Reliable Software Technologies - Ada Europe 96被引頻次學科排名
書目名稱Reliable Software Technologies - Ada Europe 96年度引用
書目名稱Reliable Software Technologies - Ada Europe 96年度引用學科排名
書目名稱Reliable Software Technologies - Ada Europe 96讀者反饋
書目名稱Reliable Software Technologies - Ada Europe 96讀者反饋學科排名
作者: 哄騙 時間: 2025-3-21 21:27 作者: Ordeal 時間: 2025-3-22 03:07
A. Burns,A. J. Wellingsemacht wurden. Dabei wurde mehrfach behauptet, dieser Strategiewandel lasse sich aus der Immanenz der Abschreckung alleine nicht hinreichend erkl?ren und von politischen Dimensionen nicht trennen. Wir verlassen hier die Ebene theoretischer Modelle. In diesem Kapitel soll erstens gezeigt werden, wie 作者: dagger 時間: 2025-3-22 07:59 作者: Indicative 時間: 2025-3-22 10:18 作者: DEMN 時間: 2025-3-22 16:30
Philippe Krachten,Christopher J. Thompson zum eigenen Schutz rüstet, damit automatisch auch die Sicherheit seines Kontrahenten. Auf diese Weise wird eine Spirale der Aufrüstung in Gang gesetzt – ein Prozess sich wechselseitig verst?rkender ?ngste. So jedenfalls sieht es eine weltweit etablierte, immer noch einflussreiche Denkschule von Pol作者: altruism 時間: 2025-3-22 17:03 作者: 積習難改 時間: 2025-3-22 23:26
Dan Craigen,Mark Saaltink,Steve Michellanschl?ge vom 11. September 2001 sowie nicht zuletzt der Irak-Krieg des Jahres 2003 haben deutlich werden lassen, dass nach dem Ende des Ost-West-Konflikts kein neues friedliches Zeitalter angebrochen ist. Das Bedrohungsbild einer globalen milit?rischen Konfrontation zwischen zwei hochgerüsteten Mil作者: Pageant 時間: 2025-3-23 03:34
Alfred Rosskopfalit?t der Organisationsformen und Vielfalt der Erscheinungsformen. Sie setzen sich aus unz?hligen, oft sehr kleinen Initiativgruppen vor Ort zusammen, deren überregionale Zusammenführung in der Regel nur punktuell und vorübergehehend auf zahlreichen Koordinationstreffen erfolgt. Auch dort, wo sich 作者: Genetics 時間: 2025-3-23 06:52 作者: 王得到 時間: 2025-3-23 11:23
Kristina Lundqvist,G?ran Wallflikte zwischen M?nnern und Frauen analysieren und bearbeiten, h?ngt davon ab, in welcher Art über Geschlecht gedacht, geredet und verhandelt wird. Solches ist nicht an alien Orten dieser Welt gleich und war es auch nicht w?hrend verschiedener historischer Epochen. Meine Ausführungen gründen auf der作者: 光亮 時間: 2025-3-23 17:17 作者: 聲明 時間: 2025-3-23 19:47 作者: NICHE 時間: 2025-3-24 01:27 作者: 慢慢啃 時間: 2025-3-24 04:37 作者: Femish 時間: 2025-3-24 08:25 作者: 詢問 時間: 2025-3-24 12:09 作者: 眼界 時間: 2025-3-24 18:26
HCSD unit development process: Step-wise process improvement,his paper describes the evolution of the procedures for software development. We explain the reasons behind the changes made to the unit development process, and show our movement from ad-hoc through qualitative to quantitative process enhancement, consistent with our transition from prototyping to production.作者: 小歌劇 時間: 2025-3-24 20:41 作者: 咯咯笑 時間: 2025-3-24 23:58
An approach to increasing software component reusability in Ada,ction of highly reusable software. Therefore guidelines for users are needed to maximise the benefits from using Ada. In this paper, Ada code reuse guidelines are proposed, and as an attempt to prove the usefulness of them, reuse metrics are used.作者: 中國紀念碑 時間: 2025-3-25 06:10 作者: 的’ 時間: 2025-3-25 10:41 作者: 結構 時間: 2025-3-25 15:16
Testing Ada 95 programs for conformance to rapide architectures,ng conformance of Ada programs to RAPIDE architectures. The paper then defines a language called RAPIDE-ADA that instruments Ada programs to produce events at run time. The events are tested for conformance against a RAPIDE reference architecture by application of the rules for testing conformance.作者: Bureaucracy 時間: 2025-3-25 18:49 作者: Yourself 時間: 2025-3-25 23:46 作者: 有毛就脫毛 時間: 2025-3-26 03:03 作者: bourgeois 時間: 2025-3-26 06:57 作者: observatory 時間: 2025-3-26 09:44
Fault-tolerance by replication in distributed systems,ervices (or objects), and present the two main classes of replication techniques: . and .. We introduce . as the infrastructure providing the adequate multicast primitives to implement either primary-backup replication, or active replication. Finally, we discuss the implementation of the two most fu作者: 職業(yè)拳擊手 時間: 2025-3-26 16:39
Ada95: An effective concurrent programming language,ws how the language abstractions supported by Ada can be combined to build effective higher-level abstractions. The three examples concern a concurrency problem, a fault tolerance requirement and a scheduling (real-time) issue. Together they illustrate that many of the criticisms that were rightly f作者: 招惹 時間: 2025-3-26 20:00
,Mapping HRT-HOOD? designs to Ada 95 hierarchical libraries,d on the HRT-HOOD method, but it can be extended to other OOD methods as well. Ada child packages are used to implement object aggregation or inclusion hierarchies. Renaming in the body, a new Ada 95 feature, is used to provide efficient mapping of composite object operations to component operations作者: 無價值 時間: 2025-3-26 23:07 作者: Dislocation 時間: 2025-3-27 01:12
HCSD unit development process: Step-wise process improvement,iginally estimated to be over a million lines of Ada code, has evolved from prototyping concepts and requirements to producing operational software. This paper describes the evolution of the procedures for software development. We explain the reasons behind the changes made to the unit development p作者: 材料等 時間: 2025-3-27 05:49
Testing Ada 95 programs for conformance to rapide architectures,a and composition of modules. The architecture of a complex software system is a significant issue in the proper design, analysis and possibility of reuse of the software system..This paper describes how the architecture of an Ada program may be extracted at run time and tested for conformance again作者: 免費 時間: 2025-3-27 10:08
Tasking deadlocks in Ada 95 programs and their detection,dlocks which may occur in Ada 95 programs are investigated, a representation, named the Task-Wait-For Graph, for task synchronization waiting state of an Ada 95 program is proposed, and a run-time detection method for the tasking deadlocks based on the Task-Wait-For Graph is presented.作者: outrage 時間: 2025-3-27 14:30 作者: Paraplegia 時間: 2025-3-27 19:24
A framework for testing object oriented software using formal specifications,ct-Z as the formal specification language..We have designed and prototyped a test system called O?TEST. It understands the characteristics of object-oriented specifications including inheritance. O?TEST maps the specification to a corresponding implementation. Test shells generated from the given Ob作者: 可行 時間: 2025-3-27 22:29 作者: 警告 時間: 2025-3-28 02:49
Drago: An Ada extension to program fault-tolerant distributed applications,s the result of an effort to impose discipline and give linguistic support to the main concepts of Isis, as well as to experiment with the group communication paradigm. Drago has been designed and implemented as an extension to Ada 83. In this paper we introduce Drago, give some simple examples of i作者: 間諜活動 時間: 2025-3-28 07:50
The dining philosophers in Ada 95, 95 tasking features including protected types, entry barriers dependent on an entry family index, the requeue statement, and asynchronous transfer of control. The paper compares the approaches with respect to style, portability, and performance.作者: Cholagogue 時間: 2025-3-28 12:36
0302-9743 ntreux, Switzerland, in June 1996..The 35 revised full papers selected for inclusion in the volume, along with four attractive invited papers, were contributed by researchers, developers, and users; they cover numerous aspects of the Ada 95 programming language and address various current topics of 作者: 固定某物 時間: 2025-3-28 14:35
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/r/image/826459.jpg作者: Concerto 時間: 2025-3-28 21:30
https://doi.org/10.1007/BFb0013474Ada; Ada 95; Programming language A; compiler; distributed systems; programming; programming language; real作者: SPALL 時間: 2025-3-28 23:57 作者: Baffle 時間: 2025-3-29 03:27
Reliable Software Technologies - Ada Europe 96978-3-540-68457-2Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: Dappled 時間: 2025-3-29 09:33 作者: biopsy 時間: 2025-3-29 14:22 作者: 不透氣 時間: 2025-3-29 18:49
Use of a static analysis tool for safety-critical Ada applications,es a critical assessment of a specific analysis tool (the SPARK Examiner) using a concrete example program. Based on me criticism, some basic requirements for a static analysis tool supporting Ada applications are outlined.作者: BATE 時間: 2025-3-29 20:30
The dining philosophers in Ada 95, 95 tasking features including protected types, entry barriers dependent on an entry family index, the requeue statement, and asynchronous transfer of control. The paper compares the approaches with respect to style, portability, and performance.作者: neologism 時間: 2025-3-30 01:58 作者: VEST 時間: 2025-3-30 07:04 作者: blithe 時間: 2025-3-30 08:59 作者: white-matter 時間: 2025-3-30 13:34
Programming the Internet in Ada 95,r explains our approach, and provides details on the mapping from Ada 95 features to Java byte codes, as well as the mapping from certain Java features to Ada 95. We have found the combination of the Ada 95 and Java technologies to be very natural and powerful, providing the best characteristics of 作者: cornucopia 時間: 2025-3-30 18:53 作者: 埋葬 時間: 2025-3-30 22:47
Norman F. Schneidewindwerden, die der Verteidigungsstrategie der NATO zugrunde liegen. Viertens gilt es, die Auswirkungen der flexible response auf die Sicherheitspolitik der Bundesrepublik zu analysieren, und fünftens ist eine detaillierte Analyse dieser Milit?rstrategie eine unabdingbare Voraussetzung zum Verst?ndnis d作者: Dedication 時間: 2025-3-31 01:50
Rachid Guerraoui,André Schiperwerden, die der Verteidigungsstrategie der NATO zugrunde liegen. Viertens gilt es, die Auswirkungen der flexible response auf die Sicherheitspolitik der Bundesrepublik zu analysieren, und fünftens ist eine detaillierte Analyse dieser Milit?rstrategie eine unabdingbare Voraussetzung zum Verst?ndnis d作者: commune 時間: 2025-3-31 07:11 作者: Creatinine-Test 時間: 2025-3-31 12:46 作者: 極微小 時間: 2025-3-31 15:27
