极端的正确性
发表于 2025-3-26 23:18:59
Formal Reasoning about Fault Tolerance and Parallelism in Communicating Systemss, correctness of software for such systems and system fault tolerance should be ensured. In our previous work we proposed an approach to formalisation and extension of Lyra – a top-down service-oriented method for development of communicating systems. Lyra is based on transformation and decompositi
Mnemonics
发表于 2025-3-27 01:19:15
Formal Development of a Total Order Broadcast for Distributed Transactions Using Event-Bs is usually done within a transactional framework. A read-only transaction accesses data locally and an update transaction modifies the database at all sites. Total order broadcast primitives have been proposed to support transactions and allow fault-tolerant cooperation between the sites in a dist
ALB
发表于 2025-3-27 06:13:32
Model-Based Testing Using Scenarios and Event-B Refinementsto add or modify features, the corresponding testing scenarios are automatically refined to incorporate these changes. The test cases, to be applied on the system under test, are generated from these scenarios. We use the Event-B formalism for software models, while user scenarios are represented as
防水
发表于 2025-3-27 11:24:28
http://reply.papertrans.cn/64/6325/632439/632439_34.png
cogitate
发表于 2025-3-27 16:53:03
http://reply.papertrans.cn/64/6325/632439/632439_35.png
湿润
发表于 2025-3-27 21:43:08
Documenting the Progress of the System DevelopmentML and formal methods. Even for the combined method we need consistent and compact description of the changes made during the system development. In the development process certain design patterns can be applied. In this paper we introduce progress diagrams to document the design decisions and detai
OTTER
发表于 2025-3-28 01:05:49
http://reply.papertrans.cn/64/6325/632439/632439_37.png
epinephrine
发表于 2025-3-28 03:48:40
Step-Wise Development of Resilient Ambient Campus Scenarios formal theory that enables us to produce a well-structured step-wise design and to ensure disciplined integration of error recovery measures into the resulting implementation. The development method, called AgentB, uses the idea of modelling database to support a coherent development of and reasoni
NICE
发表于 2025-3-28 07:56:07
Using Inherent Service Redundancy and Diversity to Ensure Web Services Dependabilitymunication, Grid, e-science, e-business, etc. One of the possible ways to improve this dependability is by employing service redundancy and diversity represented by a number of component web services with the identical or similar functionality at each level of the composite system hierarchy during s
漂浮
发表于 2025-3-28 11:42:33
Graphical Modelling for Simulation and Formal Analysis of Wireless Network Protocolsces the specification task to the design of the network layout, and provides a uniform design interface linking model checking with simulation. We illustrate our techniques with a randomised gossiping protocol.