作者: 斗爭(zhēng) 時(shí)間: 2025-3-21 22:31
A Process Compensation Languagey an operational approach. The specification of a system is composed by a set of StAC processes that describe the behaviour of the system and a set of B operations that describe basic computations. Operational semantics is used to justified the integration of StAC processes with B operations.作者: semiskilled 時(shí)間: 2025-3-22 01:49 作者: 帶來(lái) 時(shí)間: 2025-3-22 06:56
Assertionsassign meanings to programs. Floyd suggested that if the internal assertions were strong enough, they would constitute a formal proof of the correctness of a complete program. In this lecture, I will summarise the subsequent development of the idea, and describe some of its practical impact.作者: 粗魯性質(zhì) 時(shí)間: 2025-3-22 12:33 作者: Substance-Abuse 時(shí)間: 2025-3-22 16:30
Combining Operational Semantics, Logic Programming and Literate Programming in the Specification andways. It has helped improve the understanding of the semantics, in the formalization of semantic aspects left informal in the original mathematical formulation of the semantics, and in the maintenance of the formal semantics and its associated informal description. .. . (1911) ch. 5 Alfred North Whitehead (1861–1947)作者: anchor 時(shí)間: 2025-3-22 19:29
State-Based Extension of CASL last ones is updated the corresponding former ones are also updated. The updates of the dynamic entities are produced by procedures which are specified by means of preconditions, postconditions, and dynamic equations.作者: 反應(yīng) 時(shí)間: 2025-3-23 01:09
Linking DC Together with TRSLirement, and a method for verifying whether the satisfaction relation holds or not is provided. Our contribution also demonstrates a general approach for linking state-based real-time logics together with event-based, timed process algebra languages.作者: Highbrow 時(shí)間: 2025-3-23 03:41 作者: intellect 時(shí)間: 2025-3-23 09:20 作者: SOBER 時(shí)間: 2025-3-23 10:10 作者: alcoholism 時(shí)間: 2025-3-23 14:10 作者: JAMB 時(shí)間: 2025-3-23 19:45
Structural Refinement in Object-Z / CSPject-Z and CSP where we change the structure of the specification when performing the refinement. In particular, we develop a set of structural simulation rules which allow a single Object-Z component to be refined to a number of communicating or interleaved classes. We prove soundness of these rules and illustrate them with a small example.作者: 委派 時(shí)間: 2025-3-23 22:32 作者: Cholecystokinin 時(shí)間: 2025-3-24 03:41 作者: 暴露他抗議 時(shí)間: 2025-3-24 10:27
A Concurrent and Compositional Petri Net Semantics of Preemptionout priori- ties) which retain as much as possible of the original concurrency. As a consequence, Petri nets appear as a model powerful enough to deal with preemption in a compositional way and with a concurrent semantics.作者: PAD416 時(shí)間: 2025-3-24 14:41
Assertionsexecuted. It species an internal interface between that part of the program that comes before it and all that follows it. In the software industry today, assertions are conditionally compiled in test runs of a program, and help in the detection and diagnosis of errors. Alan Turing first proposed ass作者: NUDGE 時(shí)間: 2025-3-24 16:22 作者: LARK 時(shí)間: 2025-3-24 20:25
Linking DC Together with TRSLSE Specification Language (TRSL) is an extension of the RAISE Specification Language with real-time features. This paper links DC and TRSL together in a method for real-time developments. An operational semantics . is specified for TRSL. It is defined what its means for a TRSL process to . a DC requ作者: audiologist 時(shí)間: 2025-3-25 00:23
Formalizing Timing Diagrams as Causal Dependencies for Verification Purposesrmal basis. Further- more, we compare our approach with well-known approaches from the area of program verification and show the semantic relationships. The major aim we follow by this work is a seamless integration of hardware design and software development providing a common semantic basis e.g. f作者: 啞劇 時(shí)間: 2025-3-25 05:47
A Process Compensation Languagel behaviours, but most significant is the concept of compensation that allows a previous action to be undone. The semantics of the language is given by an operational approach. The specification of a system is composed by a set of StAC processes that describe the behaviour of the system and a set of作者: 背景 時(shí)間: 2025-3-25 09:23
Activity Graphs and Processesprincipal focus for this demand is the Unified Mo- deling Language (UML), and, within UML, the diagrammatic notations for describing dynamic properties. This paper shows how one such notation, that of Activity Graphs, can be given a process semantics in the language of Communicating Sequen- tial Pro作者: 來(lái)自于 時(shí)間: 2025-3-25 11:53
Structuring Real-Time Object-Z Specificationsental modification of classes using inheritance and composition of classes to form multi-component systems are examined. Two approaches to the latter are considered: using Object-Z’s notion of object instantiation and introducing a parallel composition operator similar to those found in process alge作者: 喊叫 時(shí)間: 2025-3-25 18:35
ISpec: Towards Practical and Sound Interface Specificationsormality and detail in a way compatible with object-oriented odelling techniques (UML). The incremental nature of the levels and the underlying formal framework of ISpec allow informal interface specifications to be made formal in steps. The body of the paper consists of a discussion of the main cha作者: forbid 時(shí)間: 2025-3-25 19:58 作者: 笨拙的你 時(shí)間: 2025-3-26 02:15
Developing Control Systems ComponentsThe general strategy for such a development comprises two phases. An initial system-level specification models both the physical environment and its control software within the same . oriented view of the system. The control software can be then extracted from this specification and further refined 作者: adduction 時(shí)間: 2025-3-26 05:41 作者: 颶風(fēng) 時(shí)間: 2025-3-26 08:52 作者: 使迷惑 時(shí)間: 2025-3-26 13:32
Towards a Unified Development Methodology for Shared-Variable Parallel and Distributed Programsmantic model for both paradigms and a trace-based refinement calculus, we show how a shared-variable parallel program can be refined into a distributed program. The calculus is used to introduce iteration, parallelism, and local channels, to replace access to shared variables by message-passing prim作者: mucous-membrane 時(shí)間: 2025-3-26 19:07 作者: LARK 時(shí)間: 2025-3-26 21:00 作者: atopic-rhinitis 時(shí)間: 2025-3-27 01:32
Why Doesn’t Anyone Use Formal Methods?hat’s Not!” (ORA Canada). Still, many things can be improved by adapting formal methods to the needs of its users (and not of researchers). This abstract highlights some aspects that we found important in our work with system designers within Microsoft.作者: 多節(jié) 時(shí)間: 2025-3-27 07:52 作者: anachronistic 時(shí)間: 2025-3-27 11:07
A Concurrent and Compositional Petri Net Semantics of Preemptioncurrent semantics. We propose a way to model preemptible systems by extending the M-net model with priorities and the M-net algebra with a preemption operator. We show that these extensions can be seen as a high-level version of the well studied model of ., and so, can be reduced to Petri nets (with作者: 聯(lián)想 時(shí)間: 2025-3-27 16:01
swirtschaft und Medizin) sich damit auseinandersetzen. Rezente Publikationen zeigen, dass das Interesse am Ph?nomen Vertrauen keineswegs nachgelassen, sondern eher zugenommen hat. Die Google Suchmaschine weist im Jahr 2002 zum Begriff Vertrauen 867.000 Treffer aus, im Jahr 2009 sind es bereits 12.00作者: 無(wú)畏 時(shí)間: 2025-3-27 18:59 作者: jocular 時(shí)間: 2025-3-28 00:50
Hubert Baumeister,Alexandre Zamulinswirtschaft und Medizin) sich damit auseinandersetzen. Rezente Publikationen zeigen, dass das Interesse am Ph?nomen Vertrauen keineswegs nachgelassen, sondern eher zugenommen hat. Die Google Suchmaschine weist im Jahr 2002 zum Begriff Vertrauen 867.000 Treffer aus, im Jahr 2009 sind es bereits 12.00作者: obscurity 時(shí)間: 2025-3-28 02:59
Christie Bolton,Jim Davieskeit bezüglich Regel und Zwang, eine demokratisch anmutende Feindschaft gegen alle Autorit?t, ein zügelloser, oft grotesker Humor und eine au?ergew?hnliche Bef?higung für Bildersprache. Darüber sind sich die Beobachter auch so ziemlich einig.**) H. M. Ayres***) weist auch darauf hin, da? in einem La作者: Maximize 時(shí)間: 2025-3-28 09:01
Graeme Smith,Ian Hayeszuerst von einem Plan der Revolutionszeit, das Englische als Landessprache Amerikas durch — Hebr?isch zu ersetzen..) Ein amerikanischer Chronist, Charles Astor Bristed, berichtet sehr viel sp?ter, da? sich der Vorschlag auf das Griechische bezogen h?tte.***) — Diese Geschichte ist zwar von den Herau作者: 烤架 時(shí)間: 2025-3-28 11:19 作者: STEER 時(shí)間: 2025-3-28 16:19 作者: 整頓 時(shí)間: 2025-3-28 18:59 作者: Optometrist 時(shí)間: 2025-3-29 02:57 作者: emission 時(shí)間: 2025-3-29 03:47
Didier Bert,Francis CaveSchicht gliederung des Juras gro?e Beliebtheit. Ebenso wie den Unteren und Oberen Jura teilte der Altmeister schw?bischer Geologie auch den Mittleren Jura in 6 Unterstufen auf und bezeichnete sie mit den ersten 6 Buchstaben des griechischen Alphabets. Dieser Gliederung steht die internationale Stufe作者: antenna 時(shí)間: 2025-3-29 11:17 作者: 離開 時(shí)間: 2025-3-29 15:18 作者: Eosinophils 時(shí)間: 2025-3-29 19:16 作者: absorbed 時(shí)間: 2025-3-29 20:57 作者: 彎彎曲曲 時(shí)間: 2025-3-30 00:32 作者: TERRA 時(shí)間: 2025-3-30 05:54 作者: 寄生蟲 時(shí)間: 2025-3-30 10:22
Integrated Formal Methods978-3-540-40911-3Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 浮雕寶石 時(shí)間: 2025-3-30 14:11
0302-9743 Overview: Includes supplementary material: 978-3-540-41196-3978-3-540-40911-3Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: Mnemonics 時(shí)間: 2025-3-30 17:31
https://doi.org/10.1007/3-540-40911-4Formal Methods; Formal Notations; Formal Specification; Formal Validation; Formal Verification; Mathemati作者: 油膏 時(shí)間: 2025-3-30 22:36 作者: Camouflage 時(shí)間: 2025-3-31 02:56 作者: intimate 時(shí)間: 2025-3-31 08:00 作者: LANCE 時(shí)間: 2025-3-31 11:57 作者: 爭(zhēng)吵加 時(shí)間: 2025-3-31 15:22
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/i/image/468513.jpg作者: PAC 時(shí)間: 2025-3-31 20:01
Jeremy Bryans,Lynne Blair,Howard Bowman,John Derrick作者: exhilaration 時(shí)間: 2025-4-1 01:09 作者: 赦免 時(shí)間: 2025-4-1 05:19
Tony Hoaren. Stattdessen kommt die Vertrauensrhetorik gesellschaftlich immer universeller zur Anwendung, ohne dabei eine entsprechende begriffliche Sch?rfe zu erreichen. (…) Bei einer solchen überbordenden Vertrauensrhetorik droht aber dem Vertrauensbegriff eher Sinnentleerung als Sinnbezeichnung.“ Es geht um
