標(biāo)題: Titlebook: Rigorous Development of Complex Fault-Tolerant Systems; Michael Butler,Cliff B. Jones,Elena Troubitsyna Book 2006 Springer-Verlag Berlin H [打印本頁(yè)] 作者: coerce 時(shí)間: 2025-3-21 17:53
書(shū)目名稱(chēng)Rigorous Development of Complex Fault-Tolerant Systems影響因子(影響力)
書(shū)目名稱(chēng)Rigorous Development of Complex Fault-Tolerant Systems影響因子(影響力)學(xué)科排名
書(shū)目名稱(chēng)Rigorous Development of Complex Fault-Tolerant Systems網(wǎng)絡(luò)公開(kāi)度
書(shū)目名稱(chēng)Rigorous Development of Complex Fault-Tolerant Systems網(wǎng)絡(luò)公開(kāi)度學(xué)科排名
書(shū)目名稱(chēng)Rigorous Development of Complex Fault-Tolerant Systems被引頻次
書(shū)目名稱(chēng)Rigorous Development of Complex Fault-Tolerant Systems被引頻次學(xué)科排名
書(shū)目名稱(chēng)Rigorous Development of Complex Fault-Tolerant Systems年度引用
書(shū)目名稱(chēng)Rigorous Development of Complex Fault-Tolerant Systems年度引用學(xué)科排名
書(shū)目名稱(chēng)Rigorous Development of Complex Fault-Tolerant Systems讀者反饋
書(shū)目名稱(chēng)Rigorous Development of Complex Fault-Tolerant Systems讀者反饋學(xué)科排名
作者: plasma 時(shí)間: 2025-3-21 22:12 作者: Defense 時(shí)間: 2025-3-22 02:40
Mikael Asplund,Simin Nadjm-Tehranich ein zuverl?ssiges Mittel ihrer Bestimmung. Für die Durchführung solcher Versuche sind vom Verfasser bereits früher w?hrend seiner T?tigkeit bei der H.S.V.A. besondere Me?methoden entwickelt worden, mu?ten aber jetzt der inzwischen erfolgten Verbesserung der Me?technik angepa?t werden. Im Rahmen d作者: Ardent 時(shí)間: 2025-3-22 05:51 作者: libertine 時(shí)間: 2025-3-22 12:08
0302-9743 enhance and expand their work and a number of well-established researchers working in the area contributed invited chapters. From the 19 refereed and revised p978-3-540-48265-9978-3-540-48267-3Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: ELATE 時(shí)間: 2025-3-22 16:10
Fernando Castor Filho,Patrick Henrique da S. Brito,Cecília Mary F. Rubira作者: ESO 時(shí)間: 2025-3-22 18:18 作者: ARCH 時(shí)間: 2025-3-22 22:36
Alexei Iliasov,Victor Khomenko,Maciej Koutny,Alexander Romanovsky作者: crumble 時(shí)間: 2025-3-23 05:19
Dubravka Ili?,Elena Troubitsyna,Linas Laibinis,Colin Snook作者: 鋼盔 時(shí)間: 2025-3-23 08:41 作者: 細(xì)胞學(xué) 時(shí)間: 2025-3-23 12:49
Linas Laibinis,Elena Troubitsyna,Sari Lepp?nen,Johan Lilius,Qaisar Ahmad Malik作者: 滋養(yǎng) 時(shí)間: 2025-3-23 15:06 作者: Hypopnea 時(shí)間: 2025-3-23 21:01 作者: Mirage 時(shí)間: 2025-3-23 22:12
Reasoning About Exception Flow at the Architectural Levelies of interest regarding exception flow before the system is actually built. Our solution proposes a model for describing the architectural flow of exceptions which is precise and automatically analyzable by means of a tool.作者: 本土 時(shí)間: 2025-3-24 05:00 作者: Itinerant 時(shí)間: 2025-3-24 06:41 作者: fledged 時(shí)間: 2025-3-24 12:53
Rigorous Development of Fault-Tolerant Agent Systemser, it enables a formal representation of essential abstractions used in the development of fault tolerant agent systems, including scopes, roles, locations, and agents. Application of the proposed approach results in designing fault tolerant agent systems in which inter-consistency and inter-operab作者: anachronistic 時(shí)間: 2025-3-24 17:08 作者: paradigm 時(shí)間: 2025-3-24 20:24 作者: narcotic 時(shí)間: 2025-3-25 02:17
Rigorous Design of Fault-Tolerant Transactions for Replicated Database Systems Using Event Bent of the system from an initial abstract specification of transactional updates on a one copy database to a detailed design containing replicated databases in refinement. Through refinement we verify that the design of the replicated database confirms to the one copy database abstraction.作者: 高歌 時(shí)間: 2025-3-25 05:53 作者: GIBE 時(shí)間: 2025-3-25 07:41 作者: 分貝 時(shí)間: 2025-3-25 14:52 作者: 陪審團(tuán) 時(shí)間: 2025-3-25 16:56 作者: 牲畜欄 時(shí)間: 2025-3-25 21:09
https://doi.org/10.1007/11916246Performance; Pervasive Computing; System; Web Services; agent-oriented software engineering; concurrent s作者: Pessary 時(shí)間: 2025-3-26 00:09
Rigorous Fault Tolerance Using Aspects and Formal Methodsmal methods of verification and analysis. After brief summaries on fault tolerance, aspect-oriented programming, and formal methods, some examples of aspects for fault tolerance are outlined. Then some recent research on applying formal methods to aspects is described, with the potential implications for rigorous fault tolerance using aspects.作者: jettison 時(shí)間: 2025-3-26 07:26
r Scheiben ist derart, da? eine oder auch zwei Scheiben umlaufen, wobei ihre Planfl?chen in gleitender Berührung mit den Planfl?chen zweier fester Scheiben stehen. Der im Verteiler herrschende Kraftstoffdruck pre?t die Scheibenfl?chen gegeneinander. Die Anordnung zieht sofort das Problem der Reibung作者: abduction 時(shí)間: 2025-3-26 10:30 作者: fulcrum 時(shí)間: 2025-3-26 14:50
Mikael Asplund,Simin Nadjm-Tehranii ist vorgesehen, da? dieser Nachweis entweder rechnerisch oder durch Versuch bzw. Modellversuch erfolgen kann. Einzelne früher durchgeführte Versuche haben den Hinweis ergeben, da? die Rechnung etwas zu hohe Neigungswinkel ergibt und deshalb eine h?here Anfangsstabilit?t verlangt. Eine Erh?hung der作者: rods366 時(shí)間: 2025-3-26 17:07 作者: 跳脫衣舞的人 時(shí)間: 2025-3-26 21:08
0302-9743 faults appearing that cannot be traced back easily to the code. Some of these "faults" could also be unexpected program behavior that appears as a result of interactions between different parts of the program; this is commonly known as complexity. New methods, approaches, tools and techniques are ne作者: 小卒 時(shí)間: 2025-3-27 04:03
Book 2006earing that cannot be traced back easily to the code. Some of these "faults" could also be unexpected program behavior that appears as a result of interactions between different parts of the program; this is commonly known as complexity. New methods, approaches, tools and techniques are needed to co作者: Acquired 時(shí)間: 2025-3-27 06:00 作者: Intuitive 時(shí)間: 2025-3-27 12:14
Formal Service-Oriented Development of Fault Tolerant Communicating SystemsUML2. We formalize Lyra in the B Method by proposing a set of formal specification and refinement patterns reflecting the essential models and transformations of the Lyra service specification, decomposition and distribution phases. Moreover, we extend Lyra to integrate reasoning about fault tolerance in the entire development flow.作者: 監(jiān)禁 時(shí)間: 2025-3-27 16:33
Formal Analysis of the Operational Concept for the Small Aircraft Transportation Systemmplies with a set of safety requirements such as absence of dead-locks, maintaining aircraft separation, and robustness with respect to the occurrence of off-nominal events. The models also serve as design tools. Indeed, they were used to configure the nominal flight procedures and the geometry of the SATS airspace.作者: Hdl348 時(shí)間: 2025-3-27 18:02 作者: strain 時(shí)間: 2025-3-28 01:48 作者: Ophthalmoscope 時(shí)間: 2025-3-28 02:35
Are Practitioners Writing Contracts?rical study measuring the proportion of assertion statements used in Eiffel contracts. The study results indicate that programmers using Eiffel (the only active language with built-in support for DBC) tend to write assertions in a proportion that is higher than for other languages.作者: 獨(dú)特性 時(shí)間: 2025-3-28 09:36 作者: 廢止 時(shí)間: 2025-3-28 13:47
On Specification and Verification of Location-Based Fault Tolerant Mobile Systems the state space explosion. The model checking technique adopted in our work is partial order model checking based on Petri net unfoldings, and we use a semantics preserving translation from the process terms used in the modelling of . to a suitable class of high-level Petri nets.作者: 關(guān)心 時(shí)間: 2025-3-28 16:23 作者: 多產(chǎn)魚(yú) 時(shí)間: 2025-3-28 18:46
Train Systemshe attention payed to the precise mathematical definition of the train network, and the modelling of a complete system including the external environment. A special attention is given to the prevention of errors and also (but to a less extend) to their tolerance. The modelling notation which is used in this presentation is Event-B.作者: dura-mater 時(shí)間: 2025-3-29 00:08
Separating Concerns in Requirements Analysis: An Examplem in isolation, deferring their composition to a later stage. This paper illustrates the approach by applying it to the requirements of the positioning functions of a proton therapy installation. It explains how a flaw in the design of the system can be isolated to a single subproblem, which can be formalized and subjected to automatic analysis.作者: 意外的成功 時(shí)間: 2025-3-29 06:39
Train Systemsects of this development are emphasized: the preliminary informal presentation of the requirements, the careful definition of a refinement strategy, the attention payed to the precise mathematical definition of the train network, and the modelling of a complete system including the external environm作者: 繼而發(fā)生 時(shí)間: 2025-3-29 08:54 作者: Flustered 時(shí)間: 2025-3-29 15:23
The Fault-Tolerant Insulin Pump Therapyump) and software in order to make glucose sensing and insulin delivery automatic. These devices are not physically connected together and they come with the necessary features to detect malfunctions which they may have..As the patient’s health is the most important, the therapy has to be able to wo作者: INCUR 時(shí)間: 2025-3-29 16:26
Reasoning About Exception Flow at the Architectural Levells of reliability, mechanisms for detecting and handling errors should be designed since early phases of software development, preferably using a rigorous or formal methodology. In recent years, many researchers have been advocating the idea that exception handling-related issues should be addressed作者: fetter 時(shí)間: 2025-3-29 20:18
Are Practitioners Writing Contracts?To be truly effective though, it is essential that module interfaces be rigorously specified. Design by Contract (DBC) is an increasingly popular method of interface specification for object-oriented systems. Many researchers are actively adding support for DBC to various languages such as Ada, Java作者: CRANK 時(shí)間: 2025-3-30 02:36
Determining the Specification of a Control System: An Illustrative Examplet are nearly incoherent. An argument given by Hayes, Jackson, and Jones provides reasons to focus first on the wider environment in which the system will reside. In their approach are two major ideas: pushing out the specification boundaries, and carefully distinguishing between the requirements of 作者: Lineage 時(shí)間: 2025-3-30 05:40 作者: PANT 時(shí)間: 2025-3-30 09:24
F(I)MEA-Technique of Web Services Analysis and Dependability Ensuring the Web Services dependability analysis using standardized FMEA- (Failure Modes and Effects Analysis) technique and its proposed modification IMEA- (Intrusion Modes and Effects Analysis) technique. Obtained results of FMEA-technique application were used for determining the necessary means of error作者: antecedence 時(shí)間: 2025-3-30 15:51
On Specification and Verification of Location-Based Fault Tolerant Mobile Systemsant aspects, could be captured using a formal semantics, which would then be suitable for analysis and verification. We propose a new formalism and middleware, called ., which provides a rich environment to test our approach. The approach itself aims at giving . a formal concurrency semantics in ter作者: 擁擠前 時(shí)間: 2025-3-30 16:33 作者: admission 時(shí)間: 2025-3-30 22:31
Separating Concerns in Requirements Analysis: An Example An alternative approach is to identify a collection of subproblems, each representing an aspect of the larger problem, and to describe each subproblem in isolation, deferring their composition to a later stage. This paper illustrates the approach by applying it to the requirements of the positionin作者: 手榴彈 時(shí)間: 2025-3-31 01:47
Rigorous Fault Tolerance Using Aspects and Formal Methodsmal methods of verification and analysis. After brief summaries on fault tolerance, aspect-oriented programming, and formal methods, some examples of aspects for fault tolerance are outlined. Then some recent research on applying formal methods to aspects is described, with the potential implication作者: Picks-Disease 時(shí)間: 2025-3-31 06:39 作者: FUSE 時(shí)間: 2025-3-31 10:55 作者: Limerick 時(shí)間: 2025-3-31 14:34 作者: 伸展 時(shí)間: 2025-3-31 20:34 作者: FECK 時(shí)間: 2025-4-1 00:35
Towards a Method for Rigorous Development of Generic Requirements Patternsethods. The need to develop a generic requirement set for subsequent system instantiation is complicated by the addition of the high levels of verification demanded by safety-critical domains such as avionics. Our chosen application domain is the failure detection and management function for engine 作者: synovium 時(shí)間: 2025-4-1 05:43 作者: 厚顏 時(shí)間: 2025-4-1 07:57
Engineering Reconfigurable Distributed Software Systems: Issues Arising for Pervasive Computinglar, by introducing a generic reconfiguration cycle. Following this cycle, we discuss in detail three former efforts on reconfigurable pervasive systems, and draw conclusions about the capacity of existing approaches to deal with open, dynamic, ad hoc environments. We, then, outline our approach tow作者: 偏狂癥 時(shí)間: 2025-4-1 12:51
Merideth Gattis others, as well as normal and cancerous images may become another problem to be solved. The study itself did not reveal the usefulness of endocytoscopy in clinical practice; however, the future direction of EFJ and further advancement in diagnostic endoscopy, including endocytoscopy under the aegis作者: 撤退 時(shí)間: 2025-4-1 17:44
Modal Shift of Passenger Transport in a TIMES Model: Application to Ireland and Californiant represents the empirically observed travel time budget of individuals, constraining the model choosing between faster and more expensive modes (e.g. cars) and slower but cheaper mode (e.g. buses or rail). Further, a new variable is introduced, called travel time investment, which acts as a proxy 作者: rheumatology 時(shí)間: 2025-4-1 18:46 作者: 特別容易碎 時(shí)間: 2025-4-2 01:16
W. M. Spellmanng the connected devices. This chapter thoroughly investigates cloud-based IoT, including its architecture, advantages, challenges, and future possibilities. Cloud technologies enhance IoT capabilities, such as, data collection, storage, processing, and analysis. As the current information technolog作者: Nuance 時(shí)間: 2025-4-2 03:54 作者: deviate 時(shí)間: 2025-4-2 07:12
