首页>外文期刊>Electronic Notes in Theoretical Computer Science >2009年第4期

Electronic Notes in Theoretical Computer Science

Electronic Notes in Theoretical Computer Science

中文名称：电子票据在理论计算机科学

ISSN：
出版周期：-

发文量：1053

期刊论文

年度选择

2020
- 第6期
2019
- 第1期
- 第2期
- 第7期
2018
- 第1期
- 第2期
2017
- 第1期
- 第2期
2016
- 第1期
- 第2期
- 第7期
2015
- 第1期
- 第2期
- 第7期
2014
- 第1期
- 第2期
2013
- 第2期
- 第7期
- 第12期
2012
- 第3期
- 第5期
- 第12期
2011
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
2010
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
- 第7期
2009
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第7期
2008
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2007
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
- 第7期
- 第8期
- 第9期
- 第10期
- 第11期
- 第si期
2006
- 第1期
- 第2期
- 第3期
- 第4期
2005
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期

更多>>

全选（0）

共20条结果

1.A Software Certification Consortium and its Top 9 Hurdles
- 作者：Hatcliff John;Heimdahl Mats;Lawford MarkMaibaum TomWassyng AlanWurden Fred
- 期刊名称：《electronic notes in theoretical computer science》 | 2009年第4期
- Software Certification Consortium (SCC);
- Objectives;
- Projects;
- Formal Methods;
2.Tool Support for Engineering Certifiable Software
- 作者：Goenczy Laszlo;Majzik Istvan;Horvath AkosVarro DanielBalogh AndrasMicskei ZoltanPataricza Andras
- 期刊名称：《electronic notes in theoretical computer science》 | 2009年第4期
- Model based design;
- model transformation;
- tool integration;
3.Convincing Proofs for Program Certification
- 作者：Garnacho Manuel;perin Michael
- 期刊名称：《electronic notes in theoretical computer science》 | 2009年第4期
- certification;
- formal proofs;
- certified proof-checker;
- reduction of the trusted computing base;
- VERIFICATION;
- TOOL;
4.A Port Graph Calculus for Autonomic Computing and Invariant Verification
- 作者：Andrei Oana;Kirchner Helene
- 期刊名称：《electronic notes in theoretical computer science》 | 2009年第4期
- Port graph;
- port graph rewriting;
- rewriting calculus;
- biochemical calculus;
- rewriting strategies;
- adaptive systems;
- autonomic computing;
- invariant verification;
5.MarCaSPiS: a Markovian Extension of a Calculus for Services
- 作者：De Nicola Rocco;Latella Diego;Loreti MicheleMassink Mieke
- 期刊名称：《electronic notes in theoretical computer science》 | 2009年第4期
6.A Generic Goal-Based Certification Argument for the Justification of Formal Analysis
- 作者：Habli Ibrahim;Kelly Tim
- 期刊名称：《electronic notes in theoretical computer science》 | 2009年第4期
- Formal Methods;
- safety cases;
- safety arguments;
- certification;
- GSN;
7.Implicit Propagation in Structural Operational Semantics
- 作者：Mosses Peter D.;New Mark J.
- 期刊名称：《electronic notes in theoretical computer science》 | 2009年第4期
- formal semantics;
- structural operational semantics;
- Modular SOS;
- modularity;
- reuse;
8.Lazy Constraint Imposing for Improving the Path Constraint
- 作者：Viegas Ruben Duarte;Azevedo Francisco
- 期刊名称：《electronic notes in theoretical computer science》 | 2009年第4期
- constraint programming;
- graph constraint propagation;
- path constraint;
9.Model-Based Safety-Cases for Software-Intensive Systems
- 作者：Braun Peter;Philipps Jan;Schaetz BernhardWagner Stefan
- 期刊名称：《electronic notes in theoretical computer science》 | 2009年第4期
- Safety case;
- model-based;
- structured argument;
- defect hypothesis;
- failure characterisation;
10.Relational Semantics Revisited
- 作者：Best Eike;Strecker Kerstin
- 期刊名称：《electronic notes in theoretical computer science》 | 2009年第4期
- Denotational semantics;
- Egli-Milner ordering;
- fixpoints;
- Hoare ordering;
- powerdomains;
- relational semantics;
- Smyth ordering;
11.Formalisation of C Language Interfaces
- 作者：Ospina Gustavo A.;Le Charlier Baudouin
- 期刊名称：《electronic notes in theoretical computer science》 | 2009年第4期
- interoperability;
- programming languages;
- operational semantics;
- foreign language interfaces;
12.Agile Modelling of Cellular Signalling (Invited Paper)
- 作者：Danos Vincent
- 期刊名称：《electronic notes in theoretical computer science》 | 2009年第4期
- Modification;
- covalent modification;
- cascade;
- Huang-Ferell model;
13.Structural Operational Semantics with First-Order Logic
- 作者：van Weerdenburg Muck;Reniers Michel A.
- 期刊名称：《electronic notes in theoretical computer science》 | 2009年第4期
- SOS;
- First-Order Logic;
- Expressiveness;
- Congruence;
14.Strong Joinability Analysis for Graph Transformation Systems in CHR
- 作者：Raiser Frank;Fruhwirth Thom
- 期刊名称：《electronic notes in theoretical computer science》 | 2009年第4期
- Graph Transformation Systems;
- Constraint Handling Rules;
- Confluence;
- CONFLUENCE;
15.On the Role of Formal Methods in Software Certification: An Experience Report
- 作者：Heitmeyer Constance L.
- 期刊名称：《electronic notes in theoretical computer science》 | 2009年第4期
- formal methods;
- security;
- software;
- formal verification;
- formal specification;
- certification;
16.Automating Soundness Proofs
- 作者：van Weerdenburg Muck
- 期刊名称：《electronic notes in theoretical computer science》 | 2009年第4期
- structural operational semantics;
- axiomatisation;
- soundness;
- theorem proving;
17.A Term Rewriting Technique for Decision Graphs
- 作者：Badban Bahareh
- 期刊名称：《electronic notes in theoretical computer science》 | 2009年第4期
- Term Rewrite System;
- First-Order Logic;
- Decision Procedure;
- Verification;
18.Recursive Functions with Pattern Matching in Interaction Nets
- 作者：Fernandez Maribel;Mackie Ian;Sato ShinyaWalker Matthew
- 期刊名称：《electronic notes in theoretical computer science》 | 2009年第4期
- pattern matching;
- recursion;
- interaction nets;
19.Deriving Safety Cases for the Formal Safety Certification of Automatically Generated Code
- 作者：Basir Nurlida;Denney Ewen;Fischer Bernd
- 期刊名称：《electronic notes in theoretical computer science》 | 2009年第4期
- Automated code generation;
- Hoare logic;
- formal code certification;
- safety case;
- Goal Structuring Notation.;
20.A Note on an Old-Fashioned Algebra for (Disconnected) Graphs
- 作者：Gadducci Fabio
- 期刊名称：《electronic notes in theoretical computer science》 | 2009年第4期
- Algebraic presentation of graphs;
- disconnected graphs;
- DPO approach;
- parallel derivations;

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有出版物经营许可证

客服微信
服务号