標(biāo)題: Titlebook: Specification, Algebra, and Software; Essays Dedicated to Shusaku Iida,José Meseguer,Kazuhiro Ogata Book 2014 Springer-Verlag Berlin Heide [打印本頁] 作者: Disperse 時(shí)間: 2025-3-21 18:49
書目名稱Specification, Algebra, and Software影響因子(影響力)
書目名稱Specification, Algebra, and Software影響因子(影響力)學(xué)科排名
書目名稱Specification, Algebra, and Software網(wǎng)絡(luò)公開度
書目名稱Specification, Algebra, and Software網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Specification, Algebra, and Software被引頻次
書目名稱Specification, Algebra, and Software被引頻次學(xué)科排名
書目名稱Specification, Algebra, and Software年度引用
書目名稱Specification, Algebra, and Software年度引用學(xué)科排名
書目名稱Specification, Algebra, and Software讀者反饋
書目名稱Specification, Algebra, and Software讀者反饋學(xué)科排名
作者: motor-unit 時(shí)間: 2025-3-21 21:55
https://doi.org/10.1007/978-3-642-54624-2CafeOBJ; Maude; OBJ; OTS; algebraic specifications; concurrent systems; equational logic; formal methods; fo作者: PIZZA 時(shí)間: 2025-3-22 01:01
Domain Endurants,We present a summary, Sect. 2, of a structure of domain analysis and description concepts: techniques and tools. And we link, in Sect. 3, these concepts, embodied in . and ., in a model of how a diligent . would use them. We claim that both sections, Sects. 2–3, contribute to a methodology of software engineering.作者: 扔掉掐死你 時(shí)間: 2025-3-22 07:19
Shusaku Iida,José Meseguer,Kazuhiro OgataDedicated to Kokichi Futatsugi, one of the founders of the field of algebraic specification and verification, and a leading researcher in formal methods and software engineering.Includes contributions作者: declamation 時(shí)間: 2025-3-22 11:49 作者: 野蠻 時(shí)間: 2025-3-22 15:54 作者: 衰老 時(shí)間: 2025-3-22 18:25
On Formal Definition and Analysis of Formal Verification Processes,fication, and in then subjecting those processes to rigorous analysis, and using the processes to guide the actual performance of formal verification. The paper suggests that some of the value could derive from widening the community of verifiers by having a process definition guide the performance 作者: 抵消 時(shí)間: 2025-3-22 22:05 作者: Catheter 時(shí)間: 2025-3-23 01:44
Parchments for , Logics,tured by . that are in turn presented by .. We define their categories, and study constructions that may be carried out in these categories. In particular we show how limits of parchments may be used to combine features involved in various logical systems, sometimes necessarily augmenting the univer作者: 頭腦冷靜 時(shí)間: 2025-3-23 07:46 作者: alcohol-abuse 時(shí)間: 2025-3-23 11:53 作者: 吊胃口 時(shí)間: 2025-3-23 15:51
Model Checking TLR* Guarantee Formulas on Infinite Systems,iting-logic language Maude. The model checker is explicit-state, that is, not symbolic. In infinite systems, we cannot expect it to finish in every case: it provides a semi-decision algorithm to validate guarantee formulas (or, equivalently, to falsify safety ones). To avoid getting lost in infinite作者: echnic 時(shí)間: 2025-3-23 18:34
Towards a Combination of CafeOBJ and PAT,based on different formal techniques. CafeOBJ has an evident advantage in specifying concurrent systems with object-oriented methods and proving behavioral properties based on reusability of proof. However, it is difficult to be applied to automatically verify some LTL based properties which involve作者: CAND 時(shí)間: 2025-3-23 23:07 作者: 極端的正確性 時(shí)間: 2025-3-24 04:52 作者: GAVEL 時(shí)間: 2025-3-24 07:05 作者: 繁殖 時(shí)間: 2025-3-24 13:30 作者: PURG 時(shí)間: 2025-3-24 17:02 作者: 巧思 時(shí)間: 2025-3-24 19:48
Synthesis of Infinite-State Abstractions and Their Use for Software Validation,e proposed approaches addressed the inference of finite-state abstractions. The synthesized abstractions have been integrated in different validation scenarios, such as testing. While finite-state models can be effectively used as models of a software component’s behavior for certain specific purpos作者: Graduated 時(shí)間: 2025-3-24 23:52
Behavioral Rewrite Systems and Behavioral Productivity,tes some of their properties. First, it is shown that, in the case of (infinite) streams, behavioral productivity generalizes and may bring to a more basic rewriting setting the existing notion of stream productivity defined in the context of infinite rewriting and lazy strategies; some arguments ar作者: jovial 時(shí)間: 2025-3-25 07:05
Functional Logic Programming in Maude,onal logic programming applied to the . specification language would replace the functional viewpoint by an equational viewpoint while retaining the logic features. This paper tries to bridge the gap between functional logic languages and the current implementation of narrowing as symbolic reachabil作者: aspect 時(shí)間: 2025-3-25 10:13 作者: Nuance 時(shí)間: 2025-3-25 15:32 作者: 松馳 時(shí)間: 2025-3-25 18:30
Behaviour, Interaction and Dynamics,ically, as opposed to the better understood notion of static connectors. In this paper we investigate the interplay of behaviour, interaction and dynamics in the context of the BIP component framework, here denoted BI(P), as we disregard priorities. We introduce two extensions of BIP: 1)? . BI(P) al作者: 賄賂 時(shí)間: 2025-3-25 22:14
0302-9743 rmal methods and software engineering.Includes contributionsThis Festschrift volume, published in honor of Kokichi Futatsugi, contains 31 invited contributions from internationally leading researchers in formal methods and software engineering. Prof. Futatsugi is one of the founding fathers of the f作者: Noctambulant 時(shí)間: 2025-3-26 02:15 作者: subordinate 時(shí)間: 2025-3-26 04:55 作者: 手勢 時(shí)間: 2025-3-26 10:08
Reasoning (on) Service Component Ensembles in Rewriting Logic,ow the actual integration can benefit from the existing analytical tools of the . framework. In particular, we demonstrate our approach by considering a simple scenario consisting of a group of robots moving in an arena aiming at minimising the number of collisions.作者: 兇殘 時(shí)間: 2025-3-26 15:04
Dynamic Validation of Maude Prototypes of UML Models, allows us to accomplish this transformation automatically, and represents a first step towards the integration of the proposed facilities into development environments. The Maude specifications thus obtained can be seen as high-level executable prototypes of the annotated UML models.作者: 委托 時(shí)間: 2025-3-26 20:30 作者: 一罵死割除 時(shí)間: 2025-3-27 00:38 作者: Polydipsia 時(shí)間: 2025-3-27 04:14
Book 2014 methods and software engineering. Prof. Futatsugi is one of the founding fathers of the field of algebraic specification and verification and is a leading researcher in formal methods and software engineering. He has pioneered and advanced novel algebraic methods and languages supporting them such 作者: aerial 時(shí)間: 2025-3-27 07:17 作者: FLAGR 時(shí)間: 2025-3-27 11:18 作者: VERT 時(shí)間: 2025-3-27 14:54
Incremental Proofs of Termination, Confluence and Sufficient Completeness of OBJ Specifications,ethods for checking those properties in a modular way. We formalize the notion of hierarchical extension for constructor-based conditional algebraic specifications, and give sufficient conditions for those fundamental properties, which can be used for proving them incrementally.作者: 粗糙濫制 時(shí)間: 2025-3-27 19:44 作者: Instrumental 時(shí)間: 2025-3-27 23:35 作者: Tartar 時(shí)間: 2025-3-28 05:08
Confluence: The Unifying, Expressive Power of Locality, orthogonal rewriting; and OBJ, Goguen’s paradigm based on terminating rewriting in first-order algebra to cite a few. Similarly, logic programming has given rise to constraint logic programming, as well as query languages for data bases.作者: 有雜色 時(shí)間: 2025-3-28 06:51
The Semantics of Datalog for the Evidential Tool Bus,of such external calls is more expressive than the use of built-in predicates in Datalog. We outline the semantic characteristics of the variant of Datalog used in ETB and describe an abstract machine for evaluating Datalog queries.作者: 沒有準(zhǔn)備 時(shí)間: 2025-3-28 13:57 作者: pessimism 時(shí)間: 2025-3-28 16:24
eit Partnerschaften von praktischer Gleichberechtigung entfernt sind und welche Faktoren die Entwicklung egalit?rer Muster partnerschaftlicher Arbeitsteilung behindern und blockieren oder sie forcieren. In der nordamerikanischen Forschungstradition sind in den siebziger und achtziger Jahren zu diese作者: Myocyte 時(shí)間: 2025-3-28 21:30
Dines Bj?rnern ‘Grenzen’ die Situation angemessener umschreibt (Lüscher/Engstler 1990; L?scher 1997; Engstler 1997). So ist das Zusammenleben in einer Nichtehelichen Lebensgemeinschaft, ob als voreheliche Lebensform, die h?ufig als ?Ehe auf Probe“ verstanden wird, als Alternative zur Ehe oder als nacheheliche Ge作者: Tortuous 時(shí)間: 2025-3-29 00:07
Leon J. Osterweileit Partnerschaften von praktischer Gleichberechtigung entfernt sind und welche Faktoren die Entwicklung egalit?rer Muster partnerschaftlicher Arbeitsteilung behindern und blockieren oder sie forcieren. In der nordamerikanischen Forschungstradition sind in den siebziger und achtziger Jahren zu diese作者: intertwine 時(shí)間: 2025-3-29 05:06
R?zvan Diaconescu. Dem hohen Schwindma? von 1,8% mu? durch entsprechend gro?e ?verlorene K?pfe“ Rechnung getragen werden. Infolge seiner hohen spez. W?rme erstarrt das Aluminium verh?ltnism??ig langsam, so da? oftmals statt des erwünschten feinen ein grobkristallines, eingestrahltes Gefüge entsteht, das sich in den 作者: dissent 時(shí)間: 2025-3-29 10:21
Till Mossakowski,Wies?aw Paw?owski,Donald Sannella,Andrzej Tarlecki. Dem hohen Schwindma? von 1,8% mu? durch entsprechend gro?e ?verlorene K?pfe“ Rechnung getragen werden. Infolge seiner hohen spez. W?rme erstarrt das Aluminium verh?ltnism??ig langsam, so da? oftmals statt des erwünschten feinen ein grobkristallines, eingestrahltes Gefüge entsteht, das sich in den 作者: Comedienne 時(shí)間: 2025-3-29 13:42
Masaki Nakamura,Kazuhiro Ogata,Kokichi Futatsugihen Schwindma? von 1,8% mu? durch entsprechend gro?e ?verlorene K?pfe“ Rechnung getragen werden. Infolge seiner hohen spez. W?rme erstarrt das Aluminium verh?ltnism??ig langsam, so da? oftmals statt des erwünschten feinen ein grobkristallines, eingestrahltes Gefüge entsteht, das sich in den Walz- un作者: verdict 時(shí)間: 2025-3-29 18:14 作者: 不溶解 時(shí)間: 2025-3-29 21:12 作者: 休息 時(shí)間: 2025-3-29 23:52 作者: SOBER 時(shí)間: 2025-3-30 07:21
Bertrand Meyer,Alexander Kogtenkovn Messingabfall hergestellt. Nach der Begriffsbestimmung des Deutschen Normenausschusses ist Messing eine Legierung aus Kupfer und Zink mit überwiegendem Kupfergehalt, gegebenenfalls mit Bleizusatz. Knetbares Messing mit einem Kupfergehalt von 67 und mehr % Kupfer hei?t auch Tombak. Der Mindestgehal作者: 繁榮地區(qū) 時(shí)間: 2025-3-30 08:58 作者: Intruder 時(shí)間: 2025-3-30 16:22
Francisco Durán,Manuel Roldán,Antonio Moreno,José María álvarezr bestimmten Ver?nderung der Eigenschaften absichtlich in die Schmelze gelangt sind. So kann neben Blei, Antimon, Eisen, Mangan, Wismuth, Aluminium, Magnesium, Nickel und Zink auch Phosphor, Arsen und Schwefel in geringer Menge vorhanden sein. Bei Wiedereinschmelzen von Bronzeabf?llen ist es daher z作者: Ganglion-Cyst 時(shí)間: 2025-3-30 18:17
María Alpuente,Demis Ballis,Francisco Frechina,Julia Sapi?ar bestimmten Ver?nderung der Eigenschaften absichtlich in die Schmelze gelangt sind. So kann neben Blei, Antimon, Eisen, Mangan, Wismuth, Aluminium, Magnesium, Nickel und Zink auch Phosphor, Arsen und Schwefel in geringer Menge vorhanden sein. Bei Wiedereinschmelzen von Bronzeabf?llen ist es daher z作者: 潛伏期 時(shí)間: 2025-3-30 22:36 作者: Fortify 時(shí)間: 2025-3-31 04:48 作者: 助記 時(shí)間: 2025-3-31 07:06
Grigore Ro?u,Dorel Lucanu gekerbten Bl?ckchen ergeben. Dem hohen Schwindma? von 1,8% mu? durch entsprechend gro?e ?verlorene K?pfe“ Rechnung getragen werden. Infolge seiner hohen spez. W?rme erstarrt das Aluminium verh?ltnism??ig langsam, so da? oftmals statt des erwünschten feinen ein grobkristallines, eingestrahltes Gefüg作者: 戰(zhàn)役 時(shí)間: 2025-3-31 11:35
Santiago Escobarn Messingabfall hergestellt. Nach der Begriffsbestimmung des Deutschen Normenausschusses ist Messing eine Legierung aus Kupfer und Zink mit überwiegendem Kupfergehalt, gegebenenfalls mit Bleizusatz. Knetbares Messing mit einem Kupfergehalt von 67 und mehr % Kupfer hei?t auch Tombak. Der Mindestgehal作者: GLARE 時(shí)間: 2025-3-31 17:18 作者: osteopath 時(shí)間: 2025-3-31 21:06
0302-9743 s in contact with software engineering practice. This volume contains contributions from internationally leading researchers in formal methods and software engineering.978-3-642-54623-5978-3-642-54624-2Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 疲勞 時(shí)間: 2025-3-31 22:30 作者: Soliloquy 時(shí)間: 2025-4-1 05:45 作者: 反叛者 時(shí)間: 2025-4-1 06:58
Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way), data dependencies across the computation tree. Our methodology, which is implemented in the . graphical tool, allows users to capture the impact of a given criterion thereby facilitating the detection of improper program behaviors.作者: 斷斷續(xù)續(xù) 時(shí)間: 2025-4-1 11:06
