作者: 安定 時(shí)間: 2025-3-21 22:24 作者: Radiculopathy 時(shí)間: 2025-3-22 02:23 作者: hypnotic 時(shí)間: 2025-3-22 05:26 作者: Chandelier 時(shí)間: 2025-3-22 12:47 作者: 我不重要 時(shí)間: 2025-3-22 12:56 作者: engrossed 時(shí)間: 2025-3-22 18:24 作者: Instantaneous 時(shí)間: 2025-3-22 21:48 作者: foliage 時(shí)間: 2025-3-23 04:55 作者: infelicitous 時(shí)間: 2025-3-23 08:09 作者: stratum-corneum 時(shí)間: 2025-3-23 10:59
Railway Scale Model Simulatorusiastic about its use. The writing of programs controlling trains is based upon the Ada tasks and the new features provided with the 95 version of the language (protected objects, requeue, System Annex).作者: 暴行 時(shí)間: 2025-3-23 17:16 作者: 開玩笑 時(shí)間: 2025-3-23 21:28
Re-engineering a Safety-Critical Application Using SPARK 95 and GNORTT.We assess the benefits of this approach through metrics on the SHOLIS application source and object code. These data may be of interest to engineers who are considering Ada95 for a new project or converting an existing Ada83 application to Ada95.作者: exhilaration 時(shí)間: 2025-3-24 01:38
An Ada95 Solution for Certification of Embedded Safety Critical Applicationstlines how the DDC-I approach relates to the work in the ESPRIT OMI/SAFE project which aims at establishing a complete software factory for the development and certification of embedded safety-critical applications.作者: 否決 時(shí)間: 2025-3-24 03:25 作者: 使更活躍 時(shí)間: 2025-3-24 09:35
An Architectural Perspective of Real-Time Ada Applicationsral families: the Timeline, Event-Driven, Pipeline, and Client-Server architectures. This paper describes the principal characteristics of each of these architecture families with respect to their ability to provide bounded application response times, their cost, and safety at a high level. In addit作者: 空氣 時(shí)間: 2025-3-24 11:33
A Formal Model of the Ada Ravenscar Tasking Profile; Protected Objectsh complexity to permit a formal description of the model. The complete model of the Protected Object portion of the Ravenscar Model is presented in Uppaal. Some important properties are verified such as timing of calls to protected procedure. This is the first time a part of an Ada run-time has been作者: BROW 時(shí)間: 2025-3-24 17:57 作者: padding 時(shí)間: 2025-3-24 21:00
Re-engineering a Safety-Critical Application Using SPARK 95 and GNORT systems.We describe GNORT, the motivation for its development, and give some technical detail of its implementation. The latter part of the paper goes on to describe SHOLIS—an existing safety-critical application written in SPARK 83 that has been re-engineered to take advantage of SPARK 95 and GNOR作者: Bucket 時(shí)間: 2025-3-25 00:55 作者: Verify 時(shí)間: 2025-3-25 06:37 作者: 完全 時(shí)間: 2025-3-25 08:31
Mapping Object-Oriented Designs to Adaatever the method, UML or Fusion, are not programming-language specific, and there is therefore a gap between the design models and the implementation. This paper is a comprehensive study of all of these gaps for the Ada programming language. The approach is illustrated by an example, complete enoug作者: Apoptosis 時(shí)間: 2025-3-25 12:06 作者: CHECK 時(shí)間: 2025-3-25 19:18
Report on the VERA Experimentystems demanded by current and future applications. The Marconi Research Centre devised a software testing experiment called VERA with the aim of .nding a cost-e.ective veri.cation process. Four mainstream techniques were selected: code review, Fagan inspection, static analysis and automated test-ca作者: 虛弱的神經(jīng) 時(shí)間: 2025-3-25 21:03
Acceptance Testing of Object Oriented Systems-effect graphing for the design of test cases. The formal characteristics of this approach guarantee a complete functional coverage not easily found in the state of the practice “adhoc manner” acceptance testing. This approach was applied in an object oriented application developed for the financial作者: insightful 時(shí)間: 2025-3-26 02:11 作者: 是比賽 時(shí)間: 2025-3-26 07:13
Interprocedural Symbolic Evaluation of Ada Programs with Aliasesn [.] to support interprocedural symbolic evaluation. Our data-flow framework utilizes a novel approach based on an array algebra to handle aliases induced by procedure calls. It serves as as a basis for static program analysis (e.g. reaching definitions-, alias analysis, worst-case performance esti作者: 天然熱噴泉 時(shí)間: 2025-3-26 11:27 作者: 防銹 時(shí)間: 2025-3-26 14:49
Translating Time Petri Net Structures in Ada 95 Statementsuse models of the Ada 95 tasking statements. Using reduction rules the model of the statement is reduced in order to make it recognizeable in the net which models the systems. Thus, we can build a catalogue of the reduced models of the Ada 95 tasking statements so that they can be used in the transl作者: Gesture 時(shí)間: 2025-3-26 17:25 作者: Cougar 時(shí)間: 2025-3-26 22:20 作者: 廚房里面 時(shí)間: 2025-3-27 04:26 作者: 可互換 時(shí)間: 2025-3-27 05:42
0302-9743 der, Spain, from June 7 to 11, 1999. It was sponsored by Ada Europe, the European federation of national Ada societies, in cooperation with ACM SIGAda and Ada Spain, and it was organized by members of the University of Cantabria and the Technical University of Madrid, in Spain. This was the 19th con作者: 抗體 時(shí)間: 2025-3-27 13:11
Conference proceedings 1999 sponsored by Ada Europe, the European federation of national Ada societies, in cooperation with ACM SIGAda and Ada Spain, and it was organized by members of the University of Cantabria and the Technical University of Madrid, in Spain. This was the 19th consecutive year of Ada Europe conferences, wh作者: DNR215 時(shí)間: 2025-3-27 15:57
An Architectural Perspective of Real-Time Ada Applicationsse architecture families with respect to their ability to provide bounded application response times, their cost, and safety at a high level. In addition, the use of important Ada constructs for each architecture family is discussed, and examples of application domains that use each of these architectures are identified.作者: 冷漠 時(shí)間: 2025-3-27 21:25
Architectural Frameworks: Defining the Contents of Architectural Descriptionsd Core Architecture Data Model and the emerging IEEE Recommended Practice on Architecture Description. From these experiences, we speculate on the further evolution of architecture frameworks and architectural descriptions.作者: Fillet,Filet 時(shí)間: 2025-3-27 22:45 作者: LOPE 時(shí)間: 2025-3-28 03:36
Acceptance Testing of Object Oriented Systemsn the state of the practice “adhoc manner” acceptance testing. This approach was applied in an object oriented application developed for the financial domain. The approach is independent of the implementation language.作者: dictator 時(shí)間: 2025-3-28 08:55 作者: chondromalacia 時(shí)間: 2025-3-28 12:16 作者: 外形 時(shí)間: 2025-3-28 17:25
Report on the VERA Experimentom 65 other Marconi projects were also analysed. Of the possible combinations of these four veri.cation techniques, our results suggest that Fagan inspection with static analysis is the most cost-effective process.作者: Mettle 時(shí)間: 2025-3-28 22:46 作者: NOT 時(shí)間: 2025-3-29 02:35
J. Blieberger,B. Burgstaller,B. Scholzserwisserei oder verst?ndnisvolles Nachempfinden die Gedanken eingab, bewundernde Beobachtungen oder ?rgerliche Erfahrungen die Beispiele boten, mu?te das Ergebnis recht unterschiedlich ausfallen. Es k?nnte naheliegen, eine Auswahl solcher Urteile hier zu wiederholen, um etwa den Versuch zu machen, 作者: 殖民地 時(shí)間: 2025-3-29 04:50
Dominique Canazzior allem sind es zwei Momente, die den kritischen Zugang erheblich belasten: einmal die Tendenz einer zumeist wohlwollenden, oftmals voreilig beflissenen Literaturwissenschaft, dieses Werk, das nun rund fünfunddrei?ig Jahre umspannt, viel zu früh als abgeschlossen zu sehen und es damit der Unwandelb作者: Promotion 時(shí)間: 2025-3-29 10:19 作者: 威脅你 時(shí)間: 2025-3-29 14:34 作者: Proclaim 時(shí)間: 2025-3-29 16:41
Ada 95 as a Foundation Language in Computer Engineering Education in UkraineThe paper presents a proposal for introducing Ada 95 as the major teaching language for courses in computer engineering education in Ukraine.作者: 遣返回國 時(shí)間: 2025-3-29 20:49 作者: 光明正大 時(shí)間: 2025-3-30 03:13 作者: Carcinogen 時(shí)間: 2025-3-30 05:18 作者: 非實(shí)體 時(shí)間: 2025-3-30 12:09 作者: 借喻 時(shí)間: 2025-3-30 13:59
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/r/image/826463.jpg作者: Hay-Fever 時(shí)間: 2025-3-30 19:17 作者: 矛盾心理 時(shí)間: 2025-3-30 23:44
A Formal Model of the Ada Ravenscar Tasking Profile; Protected Objectsh complexity to permit a formal description of the model. The complete model of the Protected Object portion of the Ravenscar Model is presented in Uppaal. Some important properties are verified such as timing of calls to protected procedure. This is the first time a part of an Ada run-time has been formally verified.作者: 撤退 時(shí)間: 2025-3-31 03:33 作者: Interim 時(shí)間: 2025-3-31 06:02 作者: PANG 時(shí)間: 2025-3-31 09:44 作者: 摘要記錄 時(shí)間: 2025-3-31 15:08 作者: arbiter 時(shí)間: 2025-3-31 20:59
Irrigation Water Management for Agricultural Development in Uttar Pradesh, India978-3-030-00952-6Series ISSN 1879-7180 Series E-ISSN 1879-7199 作者: 致命 時(shí)間: 2025-3-31 23:23 作者: anthropologist 時(shí)間: 2025-4-1 03:17
ginning must be linked to something that went before.’ The world rests on an elephant, the elephant on a tortoise according to Hindu theogony, since even the most original of creators cannot create substance.. Just as the American Revolution was getting started, in the most forcible of demystifying
