作者: 天氣 時間: 2025-3-21 21:35
Reliable Software Technologies Ada-Europe 2000978-3-540-45098-6Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: Celiac-Plexus 時間: 2025-3-22 04:27
0302-9743 Overview: Includes supplementary material: 978-3-540-67669-0978-3-540-45098-6Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: Keratin 時間: 2025-3-22 05:51
Kingcat MCAS – Monitoring, Control and Alarm System for a Luxury Motor Yacht Implemented in Ada and The integrated Monitoring, Control and Alarm System (MCAS) re- places conventional shipboard controls and instruments with a set of touch screens aboard a 70-foot high-tech catamaran designed for off-shore cruising. The Kingcat MCAS – Monitoring, Control and Alarm System is implemented in Ada and Java.作者: 污穢 時間: 2025-3-22 12:15 作者: Bouquet 時間: 2025-3-22 12:55 作者: scrape 時間: 2025-3-22 17:40
Hubert B. Keller,Erhard Pl?derederIncludes supplementary material: 作者: 慢慢啃 時間: 2025-3-22 23:29 作者: 不能強迫我 時間: 2025-3-23 04:22 作者: 別炫耀 時間: 2025-3-23 07:39 作者: 毗鄰 時間: 2025-3-23 12:05
An Ada95 Programming Style Checker Using the GNAT ASIS Implementationlopment cycle. Style checking in this case is to be understood as anything that normally goes beyond the capabilities of an ordinary compiler. An implementation of a style checking framework written in Ada95 and using the GNAT ASIS implementation is presented. This framework also allows to specify what is being checked.作者: enchant 時間: 2025-3-23 17:06
Support of Technology Development in the Information Societyn will put emphasis on new developments in the software area, showing the importance of embedded systems and open source software. Finally the expected time frame and subjects for the next calls will be presented.作者: gusher 時間: 2025-3-23 18:32 作者: prostate-gland 時間: 2025-3-23 22:21
Constructing Reliable Embedded Systems Using the Results of System Safety AnalysisA sufficiently decomposed system will be reconstructed by continuously comparing the quantitative and qualitative results of fault tree analysis with user-defined requirements satisfying reliability constraints.作者: Nucleate 時間: 2025-3-24 03:34
An Application of the Chains-of-Rare-Events Model to Software Development Failure Predictionmator has the important characteristic of quickly reaching stability around the true value. We apply this model to several data and compare it with a non homogenous Poisson process model, and the Poisson distribution compounded by a geometric model.作者: pancreas 時間: 2025-3-24 06:39 作者: BET 時間: 2025-3-24 12:23
A Supporting Tool for Development of Self-Measurement Ada Programsed on the measurement specifications to support development of self-measurement Ada programs. It can automatically construct a self-measurement concurrent system from the functional part, the measurement part, and the measurement specifications of the system.作者: FAWN 時間: 2025-3-24 17:36 作者: SIT 時間: 2025-3-24 21:21
Analysis, Design and Implementation of an Object-Oriented Framework in Ada95ain using diagrams of the UML. In further sections the mapping from design artifacts to code in Ada95 and the usage of the framework are shown. The article finishes with a summary of the experience gained and the lessons learned.作者: garrulous 時間: 2025-3-25 01:41 作者: 細胞膜 時間: 2025-3-25 04:46
Support of Technology Development in the Information Societyies of the Key Action ”Essential Technologies and Infrastructures”. The presentation will focus on the framework of the different action types ”from research to take up”, in particular showing the subjects in the area ”Technologies and engineering for software, systems and services”. The presentatio作者: 凹處 時間: 2025-3-25 09:18
Ada after 10 Years of Usage – Is There a Commercial Future?cts has been reported extensively as a highly successful application of the language, compilers, and related technologies on large, mission-critical systems..During the period 1987-1989, Boeing’s Commercial Airplanes business unit conducted an extensive review to determine if the then-emerging Ada-b作者: hypotension 時間: 2025-3-25 15:30 作者: 越自我 時間: 2025-3-25 16:44
Object-Oriented Programming and Protected Objects in Ada 95 sequential object-oriented language and made it concurrent. A few approaches have taken a concurrent language and made it object-oriented. The most important of this latter class is the Ada 95 language which is an extension to the object-based concurrent programming language Ada 83. Arguably, Ada 9作者: 使無效 時間: 2025-3-25 23:07
Is an Ada Lint Necessary?ntains errors, which are not detected by a C/C++-compiler but by the company’s product. Up to December 1999 43 programs have been publicised. These C/C++-programs has been analyzed in order to see which of the errors a normal Ada compiler will detect, if the programs had been written in Ada. The res作者: 不法行為 時間: 2025-3-26 03:31 作者: companion 時間: 2025-3-26 07:52
Static Worst-Case Execution Time Analysis of Synchronous Programsous languages allow the building of deterministic systems and additionally enable formal verification techniques to be applied. Executable programs can behave synchronously if they fulfill certain temporal requirements. Therefore worst-case execution time analysis has to be applied to the programs g作者: 流動性 時間: 2025-3-26 10:52 作者: Cupping 時間: 2025-3-26 12:37
On Persistent and Reliable Streaming in Adaestoring is a very active research area. There are two application areas for such features we believe to be crucial: system fault tolerance and data persistence. Our analysis shows that the features used in these areas have a lot in common: they are to flatten data of different types and save them i作者: Cupidity 時間: 2025-3-26 18:40
Reengineering the Booch Component Librarys, valuable features for reusing from a component library are: adaptability to many contexts, extensibility, abstraction and high level of robustness with respect to changes in some of their components. In this paper we study one of the most widely used component library for Ada 95, the . one, mainl作者: homocysteine 時間: 2025-3-26 23:10 作者: cornucopia 時間: 2025-3-27 01:55
An Ada95 Programming Style Checker Using the GNAT ASIS Implementationlopment cycle. Style checking in this case is to be understood as anything that normally goes beyond the capabilities of an ordinary compiler. An implementation of a style checking framework written in Ada95 and using the GNAT ASIS implementation is presented. This framework also allows to specify w作者: 誓言 時間: 2025-3-27 05:26
Enhancements in Software Project Risk Managementase at the start of the process, before risk identification is started, in which the project objectives are defined. Knowing the project objectives it is much easier to identify risks and link them to the project objectives they have an impact on. The second aspect is the possibility of creating a r作者: Pandemic 時間: 2025-3-27 13:31 作者: GROSS 時間: 2025-3-27 17:31
An Application of the Chains-of-Rare-Events Model to Software Development Failure Predictionof-Rare-Events model to model grouped failures production. As it has been previously shown, this model can be analyzed as a compound Poisson with a Poisson Truncated at Zero as the compounding distribution. We introduce the mode estimator for the parameter of the Poisson Truncated at Zero. This esti作者: jocular 時間: 2025-3-27 20:47
Analysis, Design and Implementation of an Object-Oriented Framework in Ada95 Ada95. The framework was constructed in an industrial setting so that conclusions are drawn from first-hand, practical experience with this approach. After defining the term ’Object-Oriented Framework’, discrete event simulation is analyzed as the domain of concern in the given context, producing a作者: omnibus 時間: 2025-3-28 00:52 作者: Cabinet 時間: 2025-3-28 05:47 作者: 豐富 時間: 2025-3-28 09:29
GtkAda: Design and Implementation of a High Level Binding in Ada and can be applied to other high level languages that need to interface with existing libraries. We also describe the various mechanisms developed to provide a powerful GUI builder with GtkAda..This paper emphasizes the added value that Ada brings to the task of writing a high level binding over an existing library.作者: 彩色的蠟筆 時間: 2025-3-28 12:32
Ada after 10 Years of Usage – Is There a Commercial Future?mission-critical applications..This presentation will review the findings and conclusions of our task force, which led to our original commitment to use Ada. The report will also provide an assessment of the changes that have taken place within our industry over the last 10 years, and consider the i作者: LEVER 時間: 2025-3-28 15:36
On Persistent and Reliable Streaming in Adarovide internal program data saving suitable for fault tolerance and persistence. A hierarchy of different storage types, useful in different application domains, is introduced. The standard stream interface is extended, making it possible for programmers to have a better control of the way streams 作者: Alpha-Cells 時間: 2025-3-28 18:52 作者: Anecdote 時間: 2025-3-29 02:42
Juan A. de la Puente,José F. Ruiz,Juan Zamoranod consumer applications. Finally, the topics related to safety, health, and societal impact of nanotechnology are discussed.?.978-3-030-11731-3978-3-030-11733-7Series ISSN 2192-4791 Series E-ISSN 2192-4805 作者: 強壯 時間: 2025-3-29 06:33 作者: blister 時間: 2025-3-29 10:56 作者: irradicable 時間: 2025-3-29 15:24 作者: Grandstand 時間: 2025-3-29 15:41
Reto Weissven way to a much more structured and centralized method akin to real OOP languages. It’s now possible for all of your code to reside in one place. Other exciting advances include the ability to dynamically load external media such as JPGs and MP3s, I could go on but I would like to give each of the作者: 發(fā)微光 時間: 2025-3-29 20:09
Bryan Pflugpose threats to the freshwater environs and required high energy and cost for establishment. Employing naturally growing plants in disturbed aquatic environs has been observed a viable technique to clean up the nuisance nutrients and toxic pollutants. Phytoremediants scavenge the harmful substances 作者: FOR 時間: 2025-3-30 03:50
Bj?rn K?llberg whilst many species have broad ranges, species diversity is highest in the Neotropics, intermediate in the Oriental, Nearctic and Afrotropics, lower in the Palearctic and Australasia, lower again in the Pacific Oceanic Islands, and lowest in the Antarctic region. About 39% of the c. 412 genera cont作者: Watemelon 時間: 2025-3-30 05:41 作者: Junction 時間: 2025-3-30 11:23 作者: scrutiny 時間: 2025-3-30 13:14
Yusuke Nonaka,Jingde Cheng,Kazuo Ushijimaeft of water resources, a deteriorating infrastructure, the loss of essential skills, a strangling educational pipeline, demand management failure, as well as deterioration in the quality of the water, are all potential threats and key concerns that could lead to the fact that the country is experie作者: 擁擠前 時間: 2025-3-30 19:40
J?rg Kienzle,Alexander Romanovskys. These water efficiency measures however need to be both cost effective and enforced by relevant departments for the country and region to ultimately benefit from implementing water conservation and water demand management measures, targets and structures. Focus is placed on improved water efficie作者: Fallibility 時間: 2025-3-30 23:03
Jordi Marco,Xavier Francheft of water resources, a deteriorating infrastructure, the loss of essential skills, a strangling educational pipeline, demand management failure, as well as deterioration in the quality of the water, are all potential threats and key concerns that could lead to the fact that the country is experie作者: 熱烈的歡迎 時間: 2025-3-31 01:14
Emmanuel Briot,Jo?l Brobecker,Arnaud Charlets. These water efficiency measures however need to be both cost effective and enforced by relevant departments for the country and region to ultimately benefit from implementing water conservation and water demand management measures, targets and structures. Focus is placed on improved water efficie作者: Initiative 時間: 2025-3-31 06:24
Sergey Rybin,Alfred Strohmeier,Vasiliy Fofanov,Alexei Kuchumovo groups), and nomenclature (naming organisms and groups) (Winston 1999). Systematics includes taxonomic classification, evolutionary relationships (phylogeny), and geographic relationships (biogeography) (Prothero 2007). Taxonomic procedure is the practical process of identification and description作者: 淡紫色花 時間: 2025-3-31 11:02 作者: 抑制 時間: 2025-3-31 14:28 作者: Rct393 時間: 2025-3-31 18:18 作者: deficiency 時間: 2025-3-31 22:25 作者: cyanosis 時間: 2025-4-1 03:56
Néstor R. Barraza,Jonas D. Pfefferman,Bruno Cernuschi-Frías,Félix Cernuschirs associated with (1) counting the specimens in a sample, errors associated with (2) obtaining a representative sample of the population in a site and water body (Wetzel and Likens 1990), and errors associated with the proper (3) species identification. We will deal with these errors and their solu作者: 猜忌 時間: 2025-4-1 09:11
urse. . . the vibrant new Times Square identity, a Fresh Dialogue. AIGA/NY’s annual panel daringly sophisticated Whitney Biennial discussion with young, talented designers has catalogue, book jackets without words, and a introduced many stars to the design community, dynamic website for Fischerspoon
