Titlebook: Specification, Algebra, and Software; Essays Dedicated to Shusaku Iida,José Meseguer,Kazuhiro Ogata Book 2014 Springer-Verlag Berlin Heide

Disperse

書目名稱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

https://doi.org/10.1007/978-3-642-54624-2CafeOBJ; Maude; OBJ; OTS; algebraic specifications; concurrent systems; equational logic; formal methods; fo

PIZZA

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.

扔掉掐死你

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

野蠻

衰老

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

抵消

Catheter

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

頭腦冷靜