首页>外文期刊>计算机、自动化>计算技术、计算机技术>Formal Aspects of Computing

Formal Aspects of Computing

Formal Aspects of Computing

SCIEI

中文名称：计算的形式方面

ISSN：0934-5043
出版周期：Bimonthly

发文量：592

期刊论文

年度选择

2021
- 第1期
- 第2期
- 第3期
- 第5期
2020
- 第1期
- 第3期
- 第6期
2019
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2018
- 第1期
- 第2期
- 第4期
- 第5期
- 第6期
2017
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2016
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2015
- 第1期
- 第2期
- 第3期
- 第4期
- 第6期
2014
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2013
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2012
- 第1期
- 第2期
- 第3期
- 第6期
2011
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2010
- 第1期
- 第2期
- 第4期
- 第5期
- 第6期
2009
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2008
- 第1期
- 第2期
- 第3期
- 第5期
- 第6期
2007
- 第2期
- 第3期
- 第4期
2006
- 第1期
- 第2期
- 第3期
- 第4期
2005
- 第1期
- 第2期
- 第3期
- 第4期
2004
- 第1期
- 第2期
- 第3期
- 第4期
2003
- 第3期
- 第3期
- 第4期
- 第4期
2002
- 第1期
- 第2期
2001
- 第1期
2000
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期

更多>>

全选（0）

1.Formal modelling and verification of GALS systems using GRL and CADP

机译：使用GRL和CADP对GALS系统进行形式化建模和验证
- 作者：Jebali Fatma;Lang Frederic;Mateescu Radu
- 期刊名称：《Formal Aspects of Computing》 | 2016年第5期
- GALS systems;
- Asynchronous concurrency;
- Formal description techniques,Model-based verification;
- GRL;
- CADY;
2.Modelling timed reactive systems from natural-language requirements

机译：根据自然语言需求对定时反应系统进行建模
- 作者：Carvalho Gustavo;Cavalcanti Ana;Sampaio Augusto
- 期刊名称：《Formal Aspects of Computing》 | 2016年第5期
- Natural-language;
- Formal model;
- Model mapping;
- TIOTS;
3.Formalisation of the computation of the echelon form of a matrix in Isabelle/HOL

机译：Isabelle / HOL中矩阵梯形形式的计算形式化
- 作者：Aransay Jesus;Divason Jose
- 期刊名称：《Formal Aspects of Computing》 | 2016年第6期
- Theorem proving;
- Isabelle/HOL;
- Linear algebra;
- Verified code generation;
4.Model checking learning agent systems using Promela with embedded C code and abstraction

机译：使用带有嵌入式C代码和抽象的Promela对学习代理系统进行模型检查
- 作者：Kirwan Ryan;Miller Alice;Porr Bernd
- 期刊名称：《Formal Aspects of Computing》 | 2016年第6期
- Model checking;
- abstraction;
- Agent;
- Simulation;
- Learning;
5.Rigorous development of component-based systems using component metadata and patterns

机译：使用组件元数据和模式严格开发基于组件的系统
- 作者：Oliveira M. V. M.;Antonino P.;Ramos R.;Sampaio A.;Mota A.;Roscoe A. W.
- 期刊名称：《Formal Aspects of Computing》 | 2016年第6期
- Component-based development;
- Correct by construction;
- Designs;
- Metadata;
- Behavioural pattern;
- Deadlock analysis;
- CSP;
6.Generalised rely-guarantee concurrency: an algebraic foundation

机译：广义依赖保证并发：代数基础
- 作者：Hayes Ian J.
- 期刊名称：《Formal Aspects of Computing》 | 2016年第6期
- Concurrent programming;
- rely-guarantee concurrency;
- program verification;
- program algebra;
- concurrent Kleene algebra;
7.Foundations for using linear temporal logic in Event-B refinement

机译：在Event-B优化中使用线性时态逻辑的基础
- 作者：Thai Son Hoang;Schneider Steve;Treharne Helen;Williams David M.
- 期刊名称：《Formal Aspects of Computing》 | 2016年第6期
- Event-B;
- Refinement;
- Linear Temporal Logic;
8.Synthesizing bounded-time 2-phase fault recovery

机译：综合限时两相故障恢复
- 作者：Borzoo Bonakdarpour;Sandeep S. Kulkarni
- 期刊名称：《Formal Aspects of Computing》 | 2015年第1期
- Fault-tolerance;
- Real-time;
- Bounded-time recovery;
- Phased recovery;
- Program synthesis;
- Program transformation;
9.Integrating stochastic reasoning into Event-B development

机译：将随机推理整合到Event-B开发中
- 作者：Anton Tarasyuk;Elena Troubitsyna;Linas Laibinis
- 期刊名称：《Formal Aspects of Computing》 | 2015年第1期
- Event-B;
- Refinement;
- Probabilistic reasoning;
- Reliability;
- Responsiveness;
- Cyclic systems;
- Markov processes;
10.Verification of distributed systems with the axiomatic system of MSVL

机译：用MSVL公理系统验证分布式系统
- 作者：Qian Ma;Zhenhua Duan;Nan Zhang;Xiaobing Wang
- 期刊名称：《Formal Aspects of Computing》 | 2015年第1期
- Distributed systems;
- Temporal logic;
- Temporal logic programming;
- MSVL;
- Theorem proving;
11.Denotational semantics and its algebraic derivation for an event-driven system-level language

机译：事件驱动的系统级语言的指称语义及其代数推导
- 作者：H. Zhu;Jifeng He;Shengchao Qin;Phillip J. Brooke
- 期刊名称：《Formal Aspects of Computing》 | 2015年第1期
- Denotational semantics;
- Algebraic semantics;
- Semantic linking;
- Head normal form;
- SystemC;
12.A framework for model transformation verification

机译：模型转换验证的框架
- 作者：Kevin Lano;T. Clark;S. Kolahdouz-Rahimi
- 期刊名称：《Formal Aspects of Computing》 | 2015年第1期
13.Modeling and enhancement of the IEEE 802.11 RTS/CTS scheme in an error-prone channel

机译：易错通道中IEEE 802.11 RTS / CTS方案的建模和增强
- 作者：Mohand Yazid;Djamil Aiessani;Louiza Bouallouche-Medjkoune;Nassim Amrouche;Kamel Bakli
- 期刊名称：《Formal Aspects of Computing》 | 2015年第1期
- IEEE 802.11;
- RTS/CTS;
- Noisy channel;
- Modeling;
- Enhancement;
- Markov chains;
- Performance comparison;
14.Formal probabilistic analysis of detection properties in wireless sensor networks

机译：无线传感器网络中检测属性的形式概率分析
- 作者：Maissa Elleuch;Osman Hasan;Sofiene Tahar;Mohamed Abid
- 期刊名称：《Formal Aspects of Computing》 | 2015年第1期
- Theorem proving;
- Wireless sensor networks;
- Scheduling;
- Performance analysis;
- Detection probability;
- Detection delay;
15.Using formal reasoning on a model of tasks for FreeRTOS

机译：在FreeRTOS的任务模型上使用形式推理
- 作者：Shu Cheng;Jim Woodcock;Deepak DSouza
- 期刊名称：《Formal Aspects of Computing》 | 2015年第1期
- Verified software initiative;
- FreeRTOS;
- formal verification;
- Z/Eves;
16.In memoriam: Professor Heinz Zemanek (1920-2014)

机译：纪念：海因茨·泽马内克教授（1920-2014）
- 作者：Cliff B.Jones
- 期刊名称：《Formal Aspects of Computing》 | 2015年第2期
17.Formalizing provable anonymity in Isabelle/HOL

机译：在Isabelle / HOL中将可证明的匿名形式化
- 作者：Yongjian Li;Jun Pang
- 期刊名称：《Formal Aspects of Computing》 | 2015年第2期
- Anonymity;
- Security protocols;
- Theorem proving;
- Inductive methods;
18.Abstraction and approximation in fuzzy temporal logics and models

机译：模糊时间逻辑和模型中的抽象和逼近
- 作者：Gholamreza Sotudeh;Ali Movaghar
- 期刊名称：《Formal Aspects of Computing》 | 2015年第2期
- Abstraction;
- Approximation;
- Fuzzy Kripke model;
- Fuzzy temporal logic;
- Model checking;
- Fuzzy program graph;
- Multi-valued flip-flop;
19.Refinement in hybridised institutions

机译：混合机构的完善
- 作者：Alexandra Madeira;Manuel A. Martins;Luis S. Barbosa;Rolf Hennicker
- 期刊名称：《Formal Aspects of Computing》 | 2015年第2期
- Hybridisation;
- Bisimulation;
- Refinement;
20.Laws of mission-based programming

机译：基于任务的编程法则
- 作者：Frank Zeyda;Ana Cavalcanti
- 期刊名称：《Formal Aspects of Computing》 | 2015年第2期
- SCJ;
- Models;
- Refinement;
- Laws;
- Patterns;
- Automation;
- Proof;
- Circus;
21.A practical comparison of Alloy and Spin

机译：合金和自旋的实际比较
- 作者：P. Zave
- 期刊名称：《Formal Aspects of Computing》 | 2015年第2期
- Lightweight modeling and analysis;
- Protocol verification;
- Distributed hash table;
- Chord;
22.A linear algebra approach to OLAP

机译：OLAP的线性代数方法
- 作者：Hugo Daniel Macedo;Jose Nuno Oliveira
- 期刊名称：《Formal Aspects of Computing》 | 2015年第2期
- Software engineering;
- Formal methods;
- Data science;
23.Proof-based verification approaches for dynamic properties: application to the information system domain

机译：基于证明的动态属性验证方法：应用于信息系统领域
- 作者：Amel Mammar;Marc Frappier
- 期刊名称：《Formal Aspects of Computing》 | 2015年第2期
- Dynamic properties;
- B formal method;
- Proof;
- Property patterns;
24.Model checking dynamic pushdown networks

机译：模型检查动态下推式网络
- 作者：Fu Song;Tayssir Touili
- 期刊名称：《Formal Aspects of Computing》 | 2015年第2期
- Model checking;
- Dynamic pushdown networks;
- LTL;
- CTL;
25.Strategy based semantics for mobility with time and access permissions

机译：基于策略的语义，具有时间和访问权限的移动性
- 作者：Ciobanu Gabriel;Koutny Maciej;Steggles Jason
- 期刊名称：《Formal Aspects of Computing》 | 2015年第3期
- Process algebra;
- Mobility;
- Time;
- Access permissions;
- Rewriting Logic;
- Strategies;
26.Editorial

机译：社论
- 作者：Eleftherakis George;Butler Michael;Hinchey Mike
- 期刊名称：《Formal Aspects of Computing》 | 2015年第3期
27.Balancing expressiveness in formal approaches to concurrency

机译：在正式的并发方法中平衡表现力
- 作者：Jones Cliff B.;Hayes Ian J.;Colvin Robert J.
- 期刊名称：《Formal Aspects of Computing》 | 2015年第3期
- Concurrency;
- Rely/guarantee reasoning;
- Separation logic;
28.Compositional reasoning about active objects with shared futures

机译：具有共享期货的活动对象的组合推理
- 作者：Din Crystal Chang;Owe Olaf
- 期刊名称：《Formal Aspects of Computing》 | 2015年第3期
29.Language and tool support for event refinement structures in Event-B

机译：Event-B中用于事件细化结构的语言和工具支持
- 作者：Fathabadi Asieh Salehi;Butler Michael;Rezazadeh Abdolbaghi
- 期刊名称：《Formal Aspects of Computing》 | 2015年第3期
- Event refinement structure;
- Atomicity decomposition;
- Event-B;
- Formal method;
- Control flow;
- Refinement;
30.Frama-C: A software analysis perspective

机译：Frama-C：软件分析的角度
- 作者：Kirchner Florent;Kosmatov Nikolai;Prevosto Virgile;Signoles Julien;Yakobowski Boris
- 期刊名称：《Formal Aspects of Computing》 | 2015年第3期
- Formal verification;
- Static analysis;
- Dynamic analysis;
- C;
31.A compositional automata-based semantics and preserving transformation rules for testing property patterns

机译：基于成分自动机的语义和保留转换规则以测试属性模式
- 作者：Taha Safouan;Julliand Jacques;Dadeau Frederic;Castillos Kalou Cabrera;Kanso Bilal
- 期刊名称：《Formal Aspects of Computing》 | 2015年第4期
- Formal methods;
- Temporal properties;
- Compositional automata semantics;
- Temporal logics;
- Property patterns;
- Testing transformation;
32.An algebraic theory for web service contracts

机译：Web服务合同的代数理论
- 作者：Laneve Cosimo;Padovani Luca
- 期刊名称：《Formal Aspects of Computing》 | 2015年第4期
- Web services;
- BPEL;
- Contracts;
- Compliance;
- Must-testing;
- Subcontract;
- Dual contract;
- Choreography;
33.Program equivalence by circular reasoning

机译：通过循环推理实现程序等效
- 作者：Lucanu Dorel;Rusu Vlad
- 期刊名称：《Formal Aspects of Computing》 | 2015年第4期
- Program equivalence;
- Proof system;
- Language independence;
34.Editorial

机译：社论
- 作者：Butler Michael;Johnsen Einar Broch;Petre Luigia
- 期刊名称：《Formal Aspects of Computing》 | 2015年第4期
35.Quantified abstract configurations of distributed systems

机译：分布式系统的量化抽象配置
- 作者：Albert Elvira;Correas Jesus;Puebla German;Roman-Diez Guillermo
- 期刊名称：《Formal Aspects of Computing》 | 2015年第4期
- Static analysis;
- Cost analysis;
- Distributed systems;
36.Structural transformations for data-enriched real-time systems

机译：数据丰富的实时系统的结构转换
- 作者：Olderog Ernst-Ruediger;Swaminathan Mani
- 期刊名称：《Formal Aspects of Computing》 | 2015年第4期
37.Categorical foundations for structured specifications in

机译：分类结构规范的基础
- 作者：Castro Pablo F.;Aguirre Nazareno;Pombo Carlos L.;Maibaum T. S. E.
- 期刊名称：《Formal Aspects of Computing》 | 2015年第6期
- Z Notation;
- System specification;
- System verification;
- Category theory;
- Heterogeneous specifications;
38.Editorial

机译：社论
- 作者：Woodcock Jim;Jones Cliff
- 期刊名称：《Formal Aspects of Computing》 | 2015年第6期
39.Model checking CML: tool development and industrial applications

机译：CML模型检查：工具开发和工业应用
- 作者：Mota A.;Farias A.;Woodcock J.;Larsen P. G.
- 期刊名称：《Formal Aspects of Computing》 | 2015年第6期
- CML;
- Model checker;
- Analysis;
- FORMULA;
- Operational semantics;
- SMT;
40.Untanglings: a novel approach to analyzing concurrent systems

机译：解开纠结：一种分析并发系统的新颖方法
- 作者：Polyvyanyy Artem;La Rosa Marcello;Ouyang Chun;ter Hofstede Arthur H. M.
- 期刊名称：《Formal Aspects of Computing》 | 2015年第6期
- Concurrency;
- Concurrent systems;
- Analysis;
- Untanglings;
- Representative untanglings;
41.Model checking the observational determinism security property using PROMELA and SPIN

机译：使用PROMELA和SPIN模型检查观测确定性安全属性
- 作者：Dabaghchian Maryam;Azgomi Mohammad Abdollahi
- 期刊名称：《Formal Aspects of Computing》 | 2015年第6期
- Model checking;
- Linear temporal logic (LTL);
- Information flowsecurity;
- Observational determinism;
- SPIN;
- PROMELA;
42.Accelerating worst case execution time analysis of timed automata models with cyclic behaviour

机译：具有循环行为的定时自动机模型加速最坏情况执行时间分析
- 作者：Al-Bataineh Omar;Reynolds Mark;French Tim
- 期刊名称：《Formal Aspects of Computing》 | 2015年第6期
- Worst-case execution time (WCET);
- Timed automata;
- Model checking;
- Zone abstraction;
43.A reduced maximality labeled transition system generation for recursive Petri nets

机译：递归Petri网的最大极小标记过渡系统生成。
- 作者：Bouneb Messaouda;Saidouni Djamel Eddine;Ilie Jean Michel
- 期刊名称：《Formal Aspects of Computing》 | 2015年第6期
- Maximality labeled transition systems;
- Maximality bisimulation;
- Recursive Petri nets;
44.Generating invariants for non-linear loops by linear algebraic methods

机译：通过线性代数方法为非线性回路生成不变量
- 作者：Rebiha Rachid;Moura Arnaldo Vieira;Matringe Nadir
- 期刊名称：《Formal Aspects of Computing》 | 2015年第6期
- Formal methods;
- Invariant generation;
- Linear algebra;
45.Typed context awareness Ambient Calculus for pervasive applications

机译：面向广泛应用的类型化上下文感知环境演算
- 作者：Pasqualin Douglas Pereira;Vizzotto Juliana Kaizer;Piveta Eduardo Kessler
- 期刊名称：《Formal Aspects of Computing》 | 2015年第6期
- Type systems;
- Ambient calculus;
- Pervasive computing;
- Context awareness;
46.Finding semantic associations in hierarchically structured groups of Web data

机译：在Web数据的层次结构化组中查找语义关联
- 作者：Rosaci Domenico
- 期刊名称：《Formal Aspects of Computing》 | 2015年第6期
- Semantic Web;
- Metadata model;
- Semantic searching algorithms;
- Recommender systems;
47.Editorial

机译：社论
- 作者：Eerke Boiten;Steve Schneider
- 期刊名称：《Formal Aspects of Computing》 | 2014年第1期
48.Inductive study of confidentiality: for everyone

机译：保密性归纳研究：适合所有人
- 作者：Giampaolo Bella
- 期刊名称：《Formal Aspects of Computing》 | 2014年第1期
- Security protocol;
- Inductive Method;
- Theorem proving;
- Isabelle;
- Threat model;
49.Abstractions of non-interference security: probabilistic versus possibilistic

机译：无干扰安全性的抽象：概率与可能性
- 作者：T. S. Hoang;A. K. Mclver;L. Meinicke;C. C. Morgan;A. Sloane;E. Susatyo
- 期刊名称：《Formal Aspects of Computing》 | 2014年第1期
- Non-interference security;
- Probabilistic non-interference;
- Program semantics;
- Program refinement;
50.Cryptographic protocols with everyday objects

机译：日常对象的加密协议
- 作者：James Heather;Steve Schneider;Vanessa Teague
- 期刊名称：《Formal Aspects of Computing》 | 2014年第1期
- CSP;
- Formal modelling;
- Formal methods;
- Cryptography;
- Everyday objects;
51.Verifying anonymity in voting systems using CSP

机译：使用CSP验证投票系统中的匿名性
- 作者：Murat Moran;James Heather;Steve Schneider
- 期刊名称：《Formal Aspects of Computing》 | 2014年第1期
- Anonymity;
- Voting systems;
- CSP;
- Formal verification;
- Pret a Voter;
- Conventional voting system;
- FDR2;
52.Formal verification of security protocol implementations: a survey

机译：正式验证安全协议的实现：一项调查
- 作者：Matteo Avalle;Alfredo Pironti;Riccardo Sisto
- 期刊名称：《Formal Aspects of Computing》 | 2014年第1期
- Security protocols;
- Automated formal verification;
- Software verification;
- Sound refinement;
53.Safe abstractions of data encodings in formal security protocol models

机译：正式安全协议模型中数据编码的安全抽象
- 作者：Alfredo Pironti;Riccardo Sisto
- 期刊名称：《Formal Aspects of Computing》 | 2014年第1期
- Model abstraction;
- Refinement;
- Security protocols;
54.Editorial

机译：社论
- 作者：Eerke A. Boiten;John Derrick;Steve Reeves
- 期刊名称：《Formal Aspects of Computing》 | 2014年第2期
55.Kaisa Sere: In Memoriam

机译：Kaisare：纪念
- 作者：Luigia Petre;Elena Troubitsyna;Marina Walden
- 期刊名称：《Formal Aspects of Computing》 | 2014年第2期
56.Discovery of invariants through automated theory formation

机译：通过自动理论形成发现不变量
- 作者：Maria Teresa Llano;Andrew Ireland;Alison Pease
- 期刊名称：《Formal Aspects of Computing》 | 2014年第2期
57.The behavioural semantics of Event-B refinement

机译：事件B细化的行为语义
- 作者：Steve Schneider;Helen Treharne;Heike Wehrheim
- 期刊名称：《Formal Aspects of Computing》 | 2014年第2期
- Event-B;
- CSP;
- Refinement;
- Traces;
- Divergences;
- Development strategy;
58.Derivation of concurrent programs by stepwise scheduling of Event-B models

机译：通过Event-B模型的逐步调度派生并发程序
- 作者：Pontus Bostroem;Fredrik Degerlund;Kaisa Sere;Marina Walden
- 期刊名称：《Formal Aspects of Computing》 | 2014年第2期
- Concurrency;
- Event-B;
- Patterns;
- Scheduling;
- Stepwise development;
59.Introducing extra operations in refinement

机译：在优化中引入额外的操作
- 作者：Eerke A. Boiten
- 期刊名称：《Formal Aspects of Computing》 | 2014年第2期
- Refinement;
- Action refinement;
- Stuttering steps;
- ASM;
- Event-B;
- Z;
- Internal operations;
- Weak refinement;
- Granularity;
- Perspicuity;
- Divergence;
60.Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application

机译：跨连续/离散建模界面的连续KAOS，ASM和形式控制系统设计：一个简单的列车停止应用程序
- 作者：Richard Banach;Huibiao Zhu;Wen Su;Runlei Huang
- 期刊名称：《Formal Aspects of Computing》 | 2014年第2期
- Continuous KAOS;
- Continuous ASM;
- Control systems;
- Rigorous design;
- Refinement;
- Retrenchment;
- Continuous modeling;
- Discrete modeling;
- Train control;
61.Refinement-based verification of implementations of Stateflow charts

机译：基于细化的Stateflow图实施验证
- 作者：Alvaro Miyazawa;Ana Cavalcanti
- 期刊名称：《Formal Aspects of Computing》 | 2014年第2期
- Simulink;
- Z;
- CSP;
- Tactics of refinement;
62.Relational concurrent refinement part Ⅲ: traces, partial relations and automata

机译：关系并发细化部分Ⅲ：痕迹，局部关系和自动机
- 作者：John Derrick;Eerke Boiten
- 期刊名称：《Formal Aspects of Computing》 | 2014年第2期
- Data refinement;
- Z;
- Simulations;
- Automata-based refinements;
- Concurrency;
- Traces;
- Completed traces;
- Failures;
- Failure traces;
- Extension;
63.Editorial

机译：社论
- 作者：Cliff B. Jones
- 期刊名称：《Formal Aspects of Computing》 | 2014年第3期
64.The Essence of Reynolds

机译：雷诺的本质
- 作者：Stephen Brookes;Peter W.OHearn;Uday Reddy
- 期刊名称：《Formal Aspects of Computing》 | 2014年第3期
65.Test generation from state based use case models

机译：从基于状态的用例模型测试生成
- 作者：Sidney Nogueira;Augusto Sampaio;Alexandre Mota
- 期刊名称：《Formal Aspects of Computing》 | 2014年第3期
- Natural language;
- Test model;
- Use cases;
- CSP;
- Test generation;
- Conformance testing;
66.An operational semantics for object-oriented concepts based on the class hierarchy

机译：基于类层次结构的面向对象概念的操作语义
- 作者：Robert J. Colvin
- 期刊名称：《Formal Aspects of Computing》 | 2014年第3期
- Operational semantics;
- Object-oriented programming;
- Process algebra;
- Class hierarchy;
67.Reasoning about goal-directed real-time teleo-reactive programs

机译：关于目标导向的实时远程反应程序的推理
- 作者：Brijesh Dongol;Ian J. Hayes;Peter J. Robinson
- 期刊名称：《Formal Aspects of Computing》 | 2014年第3期
68.Time-budgeting: a component based development methodology for real-time embedded systems

机译：时间预算：实时嵌入式系统的基于组件的开发方法
- 作者：Manoj G. Dixit;S. Ramesh;Pallab Dasgupta
- 期刊名称：《Formal Aspects of Computing》 | 2014年第3期
69.Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharing

机译：使用共享共享的随机图对IEEE 802.11 CSMA / CA RTS / CTS建模
- 作者：Muffy Calder;Michele Sevegnani
- 期刊名称：《Formal Aspects of Computing》 | 2014年第3期
- 802.11 protocol;
- Formal verification;
- Quantitative analysis;
- Reactive systems;
- Stochastic bigraphs;
70.Towards verification of computation orchestration

机译：验证计算编排
- 作者：Jin Song Dong;Yang Liu;Jun Sun;Xian Zhang
- 期刊名称：《Formal Aspects of Computing》 | 2014年第4期
- Orc;
- Web service orchestration;
- Verification;
- Timed automata;
- Uppaal;
- Constraint logic programming;
- CLP(R);
71.Compensation by design

机译：设计补偿
- 作者：Xi Liu;Shaofa Yang;J. W. Sanders
- 期刊名称：《Formal Aspects of Computing》 | 2014年第4期
- Service computing;
- Long-running transaction;
- Compensation;
- Temporal logic;
72.Formal verification of a pervasive messaging system

机译：正式验证通用消息传递系统
- 作者：Savas Konur;Michael Fisher;Simon Dobson;Stephen Knox
- 期刊名称：《Formal Aspects of Computing》 | 2014年第4期
- Formal specification;
- Pervasive systems;
- Probabilistic verification;
73.An elementary theory of product-line variations

机译：产品线变化的基本理论
- 作者：Prahladavaradan Sampath
- 期刊名称：《Formal Aspects of Computing》 | 2014年第4期
- SPLE;
- FODA;
- Formal concept analysis;
- Lattice theory;
74.Verifying traits: an incremental proof system for fine-grained reuse

机译：验证特征：用于细粒度重用的增量证明系统
- 作者：Ferruccio Damiani;Johan Dovland;Einar Broch Johnsen;Ina Schaefer
- 期刊名称：《Formal Aspects of Computing》 | 2014年第4期
- Traits;
- Object orientation;
- Program verification;
- Proof systems;
- Incremental reasoning;
75.Test-data generation for control coverage by proof

机译：测试数据生成，以证明控制范围
- 作者：Ana Cavalcanti;Steve King;Colin OHalloran;Jim Woodcock
- 期刊名称：《Formal Aspects of Computing》 | 2014年第4期
- Control coverage;
- Semantics;
- UTP;
- Invariants;
76.Assume-guarantee synthesis for digital contract signing

机译：数字合同签署的假设保证综合
- 作者：Krishnendu Chatterjee;Vishwanath Raman
- 期刊名称：《Formal Aspects of Computing》 | 2014年第4期
77.Editorial

机译：社论
- 作者：Cliff B.Jones
- 期刊名称：《Formal Aspects of Computing》 | 2014年第5期
78.The stream-based service-centred calculus: a foundation for service-oriented programming

机译：基于流的以服务为中心的演算：面向服务的编程的基础
- 作者：Luis Cruz-Filipe;Ivan Lanese;Francisco Martins;Antonio Ravara;Vasco Thudichum Vasconcelos
- 期刊名称：《Formal Aspects of Computing》 | 2014年第5期
79.On integrating confidentiality and functionality in a formal method

机译：关于以正式方法整合机密性和功能性
- 作者：Michael J. Banks;Jeremy L. Jacob
- 期刊名称：《Formal Aspects of Computing》 | 2014年第5期
80.Combining human error verification and timing analysis: a case study on an infusion pump

机译：结合人为错误验证和时序分析：输液泵案例研究
- 作者：Rimvydas Ruksenas;Paul Curzon;Ann Blandford;Jonathan Back
- 期刊名称：《Formal Aspects of Computing》 | 2014年第5期
- Human error;
- Formal verification;
- Performance;
- Medical devices;
- Model checking;
- SAL;
81.Wladyslaw Marek Turski (1938-2013)

机译：弗拉迪斯瓦夫·马瑞克·图尔斯基（1938-2013）
- 作者：Andrzej Tarlecki
- 期刊名称：《Formal Aspects of Computing》 | 2014年第5期
82.Refinement patterns for astds

机译：ASTDS的优化模式
- 作者：Marc Frappier;Frederic Gervais;Regine Laleau;Jeremy Milhau
- 期刊名称：《Formal Aspects of Computing》 | 2014年第5期
- ASTD;
- Refinement;
- Patterns;
- Information systems;
83.A formal semantics of extended hierarchical state transition matrices using CSP#

机译：使用CSP＃的扩展分层状态转换矩阵的形式语义
- 作者：Yoriyuki Yamagata;Weiqiang Kong;Akira Fukuda;Nguyen Van Tang;Hitoshi Ohsaki;Kenji Taguchi
- 期刊名称：《Formal Aspects of Computing》 | 2014年第5期
- Embedded systems;
- Software modelling;
- Formal semantics;
- Model checking;
- CSP;
84.Provably correct derivation of algorithms using FermaT

机译：使用FermaT可以正确推导算法
- 作者：Martin Ward;Hussein Zedan
- 期刊名称：《Formal Aspects of Computing》 | 2014年第5期
- Transformational programming;
- Formal methods;
- Software development;
- Algorithm derivation;
- FermaT;
- WSL;
85.A formalisation of deep metamodelling

机译：深度元建模的形式化
- 作者：Alessandro Rossini;Juan de Lara;Esther Guerra;Adrian Rutle;Uwe Wolter
- 期刊名称：《Formal Aspects of Computing》 | 2014年第6期
86.Analysing neurobiological models using communicating automata

机译：使用交流自动机分析神经生物学模型
- 作者：Li Su;Rodolfo Gomez;Howard Bowman
- 期刊名称：《Formal Aspects of Computing》 | 2014年第6期
87.Formal relational database design; an exercise in extending the formal template language

机译：正式的关系数据库设计；扩展正式模板语言的练习
- 作者：Nicolas Wu;Andrew Simpson
- 期刊名称：《Formal Aspects of Computing》 | 2014年第6期
- Formal Template Language;
- Z notation;
- Software patterns;
- Metamodels;
88.A formal framework for service modeling and prototyping

机译：服务建模和原型的正式框架
- 作者：Elvinia Riccobene;Patrizia Scandurra
- 期刊名称：《Formal Aspects of Computing》 | 2014年第6期
- Service formal modeling;
- Service model prototyping;
- Service Component Architecture;
- Abstract State Machines;
89.The relation between preset distinguishing sequences and synchronizing sequences

机译：预设区分序列与同步序列之间的关系
- 作者：Canan Guenicen;Kemal Inan;Uraz Cengiz Tuerker;Huesnue Yeniguen
- 期刊名称：《Formal Aspects of Computing》 | 2014年第6期
- Finite state machines;
- Preset distinguishing sequence;
- Synchronizing sequences;
90.Concerned with the unprivileged; user programs in kernel refinement

机译：关注弱势群体；内核优化中的用户程序
- 作者：Matthias Daum;Nelson Billing;Gerwin Klein
- 期刊名称：《Formal Aspects of Computing》 | 2014年第6期
- Trustworthy systems;
- Refinement proof;
- Microkernel correctness;
- Isabelle/HOL;
91.Preface

机译：前言
- 作者：John Cooke
- 期刊名称：《Formal Aspects of Computing》 | 2013年第1期
92.The Safety-Critical Java memory model formalised

机译：安全关键型Java内存模型正式化
- 作者：Ana Cavalcanti;Andy Wellings;Jim Woodcock
- 期刊名称：《Formal Aspects of Computing》 | 2013年第1期
- safety-critical java;
- memory safety;
- semantics;
- unifying theories of programming;
- integration;
- refinement;
93.Security invariants in discrete transition systems

机译：离散过渡系统中的安全不变式
- 作者：Thai Son Hoang
- 期刊名称：《Formal Aspects of Computing》 | 2013年第1期
- the shadow semantics;
- event-B;
- noninterference security;
- refinement;
- invariants;
94.Semantic inheritance in unifying theories of programming

机译：统一编程理论中的语义继承
- 作者：Yifeng Chen
- 期刊名称：《Formal Aspects of Computing》 | 2013年第1期
- predicative semantics;
- unifying theories of programming;
- inheritance;
- healthiness conditions;
- fixpoint theory;
95.Unifying theories in ProofPower-Z

机译：ProofPower-Z中的统一理论
- 作者：Marcel Oliveira;Ana Cavalcanti;Jim Woodcock
- 期刊名称：《Formal Aspects of Computing》 | 2013年第1期
- relational semantics;
- theorem proving;
- circus;
96.Checking noninterference in Timed CSP

机译：检查定时CSP中的无干扰
- 作者：A. W. Roscoe;Jian Huang
- 期刊名称：《Formal Aspects of Computing》 | 2013年第1期
- CSP;
- timed CSP;
- noninterference;
- refinement;
97.A unification of probabilistic choice within a design-based model of reversible computation

机译：在基于设计的可逆计算模型中概率选择的统一
- 作者：Bill Stoddart;Frank Zeyda
- 期刊名称：《Formal Aspects of Computing》 | 2013年第1期
- reversible computing;
- backtracking;
- probability;
- hoare-he designs;
- bunches;
98.Relating computer systems to sequence diagrams: the impact of underspecification and inherent nondeterminism

机译：将计算机系统与序列图相关：规格不足和固有不确定性的影响
- 作者：Ragnhild Kobro Runde;Atle Refsdal;Ketil Stolen
- 期刊名称：《Formal Aspects of Computing》 | 2013年第2期
- sequence diagrams;
- computer systems;
- refinement;
- implementation;
- compliance;
- denotational trace semantics;
99.An inductive characterization of matching in binding bigraphs

机译：绑定二部图匹配的归纳表征
- 作者：Troels C. Damgaard;Arne J. Glenstrup;Lars Birkedal;Robin Milner
- 期刊名称：《Formal Aspects of Computing》 | 2013年第2期
- bigraphs;
- bigraphical reactive systems;
- matching;
- complete inductive characterization;
100.Model-checking timed automata with deadlines with Uppaal

机译：使用Uppaal在截止日期前进行模型检查定时自动机
- 作者：Rodolfo Gomez
- 期刊名称：《Formal Aspects of Computing》 | 2013年第2期
- real-time systems;
- model-checking;
- urgent actions;
- timed automata with deadlines;

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号