掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献代查
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
International Conference on Algebraic Methodology and Software Technology
International Conference on Algebraic Methodology and Software Technology
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
A Bounded Retransmission Protocol for Large Data Packets
机译:
大数据包的有界重传协议
作者:
Jan Friso Groote
;
Jaco van dePol
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
1996年
2.
A Logic-Based Technology to Mechanize Software Components Reuse
机译:
基于逻辑的技术来机械化软件组件重用
作者:
Patrick Parot
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
1996年
3.
The Embedded Software of an Electricity Meter: An Experience in Using Forma! Methods in an Industrial Project
机译:
电表嵌入式软件:使用Forma的经验!工业项目中的方法
作者:
Andre Arnold
;
Didier Begay
;
Jean-Pierre Radoux
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
1996年
4.
Applying Research Results in the Industrial Environment: the Case of the TRIO Specification
机译:
应用研究成果在工业环境中:TRIO规范的情况
作者:
Language
;
Dino Mandrioli
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
1996年
5.
Automating Induction over Mutually Recursive Functions
机译:
自动化相互递归功能的诱导功能
作者:
Deepak Kapur
;
M. Subramaniam
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
1996年
6.
Free Variable Tableaux for a Many Sorted Logic with Preorders
机译:
免费变量桌面与预定的许多排序逻辑
作者:
A. Gavilanes
;
J. Leach
;
S. Nieva
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
1996年
7.
Symbolic Bisimulation for Timed Processes
机译:
定时过程的象征性双刺激
作者:
Micliele Boreale
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
1996年
8.
The Typelab Specification and Verification Environment
机译:
typeLab规范和验证环境
作者:
F.W. von Henke
;
M. Luther
;
H. Pfeifer
;
H. Ruefi
;
D. Schwier
;
M. Strecker
;
M. Wagner
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
1996年
9.
Two Industrial Trials of Formal Specification
机译:
两种正式规格的工业试验
作者:
J. S. Fitzgerald
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
1996年
10.
Combining Reductions and Computations in ReDuX
机译:
结合Redux中的缩减和计算
作者:
Reinhard Bundgen
;
Werner Lauterbach
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
1996年
11.
Toward a Classification Approach to Design
机译:
朝着设计的分类方法
作者:
Douglas R. Smith
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
1996年
12.
The Discrete Time ToolBus
机译:
离散时间工具栏
作者:
J. A. Bergstra
;
P. Klint
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
1996年
13.
Boolean Formalism and Explanations
机译:
布尔形式和解释
作者:
Eric C. R. Hehner
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
1996年
14.
On the Emergence of Properties in Component-Based Systems
机译:
基于组件的系统特性的出现
作者:
J.L.Fiadeiro
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
1996年
15.
Object-Oriented Implementation of Abstract Data Type Specifications
机译:
面向对象的抽象数据类型规范实现
作者:
Rolf Hennicker
;
Christoph Schmitz
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
1996年
16.
Algebraic Specification of Reactive Systems
机译:
反应系统的代数规范
作者:
Manfred Broy
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
1996年
17.
Preprocessing for Invariant Validation
机译:
预处理不变验证
作者:
E. Pascal Gribomont
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
1996年
18.
Towards Heterogeneous Formal Specifications
机译:
朝着异质正式规格
作者:
Gilles Bernot
;
Sophie Coudert
;
Pascale Le Gall
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
1996年
19.
Programming in Lygon: A System Demonstration
机译:
Lygon的编程:系统演示
作者:
James Harland
;
David Pym
;
Michael Winikoff
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
1996年
20.
Using Ghost Variables to Prove Refinement
机译:
使用Ghost变量证明细化
作者:
M. Marcus
;
A. Pnueli
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
1996年
21.
Using Heterogeneous Formal Methods in Distributed Software Engineering Education
机译:
在分布式软件工程教育中使用异质形式方法
作者:
Bernd J. Kramer
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
1996年
22.
ECHIDNA: A System for Manipulating Explicit Choice Higher Dimensional Automata
机译:
echidna:一种用于操纵显式选择的系统更高的自动机
作者:
Richard Buckland
;
Michael Johnson
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
1996年
23.
Resolution of Goals with the Functional and Logic Programming Language LPG : Impact of Abstract Interpretation
机译:
具有功能和逻辑编程语言LPG的目标解决目标:抽象解释的影响
作者:
Didier Bert
;
Rachid Echahed
;
Kamel Adi
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
1996年
24.
PROPLANE : A Specification Development Environment
机译:
普罗兰:规格开发环境
作者:
Jeanine Souquieres
;
Nicole LeVy
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
1996年
25.
Tracing the Origins of Verification Conditions
机译:
追踪验证条件的起源
作者:
Ranan Fraer
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
1996年
26.
ASD: The Action Semantic Description Tools
机译:
ASD:动作语义描述工具
作者:
Arie van Deursen
;
Petei D. Mosses
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
1996年
27.
Coalgebraic Specifications and Models of Deterministic Hybrid Systems
机译:
结合规范化混合系统的规范和模型
作者:
Bart Jacobs
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
1996年
28.
Incremental Formalization
机译:
增量形式化
作者:
Bernhard Steffen
;
Tiziana Margaria
;
Andreas Clafien
;
Volker Braun
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
1996年
29.
Pushouts of Order-Sorted Algebraic Specifications
机译:
Quardouts的订单分类代数规格
作者:
Anne Elisabeth Haxthausen
;
Friederike Nickl
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
1996年
30.
On the Completeness of the Equations for the Kleene Star in Bisimulation
机译:
基于双淘催化的平等的完整性
作者:
Wan Fokkink
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
1996年
31.
Proving Existential Termination Normal Logic Programs
机译:
证明存在终止正常逻辑计划
作者:
Massimo Marchiori
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
1996年
32.
Formal Verification of Signal Programs: Application to a Power Transformer Station Controller
机译:
信号程序的正式验证:应用于电源变压器站控制器
作者:
Michel Le Borgne
;
Herve Marchand
;
Eric Rutten
;
Mazen Samaan
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
1996年
33.
TERSE : A Visual Environment for Supporting Analysis, Verification and Transformation of Term Rewriting Systems
机译:
简而易说:用于支持分析,验证和转换期限重写系统的视觉环境
作者:
Nobuo Kawaguchi
;
Toshiki Sakabe
;
Yasuyoslii Inagaki
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
1996年
34.
The Fc2tools Set
机译:
fc2tools集合
作者:
Amar Bouali
;
Annie Ressouche
;
Valerie Roy1
;
Robert de Simone
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
1996年
35.
Conditional Directed Narrowing
机译:
有条件的定向狭窄
作者:
Sebastien Limet
;
Pierre Rety
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
1996年
36.
Verification Using PEP
机译:
使用PEP进行验证
作者:
Stephan Melzer
;
Stefan Romer
;
Javier Esparza
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
1996年
37.
Finite Axiom Systems for Testing Preorder and De Simone Process Languages
机译:
用于测试预订和DE Simone Process语言的有限公理系统
作者:
Irek Ulidowski
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
1996年
38.
Some Characteristics of Strong Innermost Normalization
机译:
最内部标准化的一些特征
作者:
M. R. K. Krishna Rao
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
1996年
39.
The TOOLBUS Coordination Architecture — A Demonstration
机译:
工具行协调架构 - 演示
作者:
P. Klint
;
P. Oliviei
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
1996年
40.
TkGofer: A Functional GUI Library
机译:
TKGOFER:功能性GUI图书馆
作者:
Wolfram Schulte
;
Thilo Schwinn
;
Ton Vullinghs
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
1996年
41.
Programming in Lygon: An Overview
机译:
Lygon中的编程:概述
作者:
James Harland
;
David Pym
;
Michael Winikoff
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
1996年
42.
Using Occurrrence and Evolving Algebras for the Specification of Language-Based Programming Tools
机译:
基于语言的编程工具的规范,使用突出和不断变化的代数
作者:
Arnd Poetzsch-Heffter
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
1996年
43.
ALPHA - A Class Library for a Metamodel Based on Algebraic Graph Theory
机译:
基于代数图理论的元模型的Alpha - 一个类库
作者:
Sebastian Erdmann
;
Ingo Clafien
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
1996年
44.
Towards Integrating Algebraic Specification and Functional Programming: the Opal System
机译:
朝向整合代数规范和功能规划:蛋白石系统
作者:
Klaus Didrich
;
Carola Gerke
;
Wolfgang Grieskamp
;
Christian Maeder
;
Peter Pepper
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
1996年
45.
Inter ACT: An Interactive Theorem Prover for Algebraic Specifications
机译:
Inter Act:代数规范的交互式定理报告
作者:
Robert Geisler
;
Marcus Klar
;
Felix Cornelius
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
1996年
46.
Introducing Formal Methods To Software Engineers Through OMG's CORBA Environment And Interface Definition Language
机译:
通过OMG的CORBA环境和界面定义语言向软件工程师介绍正式方法
作者:
Srirara Sankar
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
1996年
47.
A Categorical Characterization of Consistency Results
机译:
一致性结果的分类表征
作者:
Christel Baier
;
Mila Majster-Cederbaum
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
1996年
48.
A Model for Mobile Point-to-Point Data-flow Networks without Channel Sharing
机译:
没有频道共享的移动点对点数据流网络的模型
作者:
Radu Grosu
;
Ketil Stolen
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
1996年
49.
Industrial Applications of ASF+SDF
机译:
ASF + SDF的工业应用
作者:
Mark van den Brand
;
Arie van Deursen
;
Paul Klint
;
Steven Klusener
;
Emma van der Meulen
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
1996年
50.
An Equational Axiomatization of Observation Congruence for Prefix Iteration
机译:
前缀迭代观察同一等的公正公理化
作者:
Luca Aceto
;
Anna Ingolfsdottir
;
BRICS
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
1996年
51.
Semantic Foundations for Embedding HOL in Nuprl
机译:
嵌入HOL在NUPRL中的语义基础
作者:
Douglas J. Howe
;
Bell Labs
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
1996年
52.
Approximative Analysis by Process Algebra with Graded Spatial Actions
机译:
具有分级空间动作的过程代数的近似分析
作者:
Yoshinao Isobe
;
Yutaka Sato
;
Kazuhito Ohmaki
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
1996年
53.
SPECWARE: An Advanced Environment for the Formal Development of Complex Software Systems
机译:
Specware:复杂软件系统正式开发的高级环境
作者:
R. Juellig
;
Y. Srinivas
;
J. Liu
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
1996年
54.
Constructive Semantics of Esterel: From Theory to Practice (Abstract)
机译:
Esterel的建设性语义:从理论到实践(摘要)
作者:
G. Berry
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
1996年
55.
A Formal Framework for Modules with State
机译:
具有州的模块的正式框架
作者:
Davide Ancona
;
Elena Zucca
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
1996年
56.
An Integrated Specification Environment Providing Inter-Operability of Tools
机译:
提供工具可操作性的集成规范环境
作者:
Michel Bidoit
;
Christine Choppy
;
Frederic Voisin
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
1996年
57.
Algebraic View Specification
机译:
代数视图规范
作者:
Barbara Paech
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
1996年
58.
A Study on the Specification and Verification of Performance Properties (Extended Abstract)
机译:
绩效特性规范和验证(扩展摘要)研究
作者:
Xiao Jun Chen
;
Flavio Corradini
;
Roberto Gorrieri
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
1996年
59.
Data Movement Optimisation in Point-Free Form
机译:
数据移动优化以无点形式
作者:
Brad Alexander
;
Andrew Wendelborn
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
2006年
60.
DO-Casl: An Observer-Based Casl Extension for Dynamic Specifications
机译:
DO-CASL:动态规格的基于观察者的CASL扩展
作者:
Matteo DelPAmico
;
Maura Cerioli
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
2006年
61.
Using Category Theory as a Basis for a Heterogeneous Data Source Search Meta-engine: The Prométhée Framework
机译:
使用类别理论作为异构数据源搜索元引擎的基础:Prométhée框架
作者:
Paul-Christophe Varoutas
;
Philippe Rizand
;
Alain Livartowski
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
2006年
62.
Measuring the Speed of Information Leakage in Mobile Processes
机译:
测量移动过程中信息泄漏的速度
作者:
Benjamin Aziz
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
2006年
63.
Incremental Software Construction with Refinement Diagrams
机译:
具有细化图的增量软件结构
作者:
Ralph-Johan Back
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
2006年
64.
Testing Semantics: Connecting Processes and Process Logics
机译:
测试语义:连接进程和过程逻辑
作者:
Dusko Pavlovic
;
Michael Mislove
;
James B. Worrell
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
2006年
65.
Quantales and Temporal Logics
机译:
量子和时间逻辑
作者:
Bernhard Moller
;
Peter Hofner
;
Georg Struth
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
2006年
66.
Reasoning About Data-Parallel Pointer Programs in a Modal Extension of Separation Logic
机译:
在分离逻辑的模态扩展中的数据并行指针程序的推理
作者:
Susumu Nishimura
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
2006年
67.
The Essence of Multitasking
机译:
多任务化的本质
作者:
William L. Harrison
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
2006年
68.
Assessing the Expressivity of Formal Specification Languages
机译:
评估正式规格语言的表现
作者:
Natalia López
;
Manuel Núnez
;
Ismael Rodríguez
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
2006年
69.
A Compositional Semantics of Plan Revision in Intelligent Agents
机译:
智能代理商计划修订的组成语义
作者:
M. Birna van Riemsdijk
;
John-Jules Ch. Meyer
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
2006年
70.
Model Transformations Incorporating Multiple Views
机译:
模型转换包含多个视图
作者:
John Derrick
;
Heike Wehrheim
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
2006年
71.
Decomposing Interactions
机译:
分解互动
作者:
Juliana Küster Filipe Bowles
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
2006年
72.
Opaque Predicates Detection by Abstract Interpretation
机译:
不透明谓词通过抽象解释检测
作者:
Mila Dalla Preda
;
Matias Madou
;
Koen De Bosschere
;
Roberto Giacobazzi
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
2006年
73.
Some Programming Languages for Logspace and Ptime
机译:
LogSpace和Ptime的一些编程语言
作者:
Guillaume Bonfante
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
2006年
74.
Fork Algebras as a Sufficiently Rich Universal Institution
机译:
叉子代数作为足够丰富的普遍机构
作者:
Carlos G. Lopez Pombo
;
Marcelo F. Frias
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
2006年
75.
Fractional Semantics
机译:
分数语义
作者:
Harmel Nestra
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
2006年
76.
Formal Islands
机译:
正式岛屿
作者:
Emilie Balland
;
Claude Kirchner
;
Pierre-Etienne Moreau
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
2006年
77.
ITP/OCL: A Rewriting-Based Validation Tool for UML+OCL Static Class Diagrams
机译:
ITP / OCL:用于UML + OCL静态类图的基于重写的验证工具
作者:
Manuel Clavel
;
Marina Egea
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
2006年
78.
Hyperfinite Approximations to Labeled Markov Transition Systems
机译:
标有标记的马尔可夫转换系统的高钨逼近
作者:
Ernst-Erich Doberkat
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
2006年
79.
Monad-Based Logics for Computational Effects
机译:
基于Monad的计算效果的逻辑
作者:
Till Mossakowski
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
2006年
80.
Recursive Program Schemes: Past, Present, and Future
机译:
递归程序方案:过去,现在和未来
作者:
Lawrence S. Moss
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
2006年
81.
DO- Casl: An Observer-Based Casl Extension for Dynamic Specifications
机译:
DO-CASL:用于动态规格的基于观察者的CASL扩展
作者:
Matteo Dell’Amico
;
Maura Cerioli
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
2006年
82.
Tableaux for Lattices
机译:
格子的表格
作者:
Georg Struth
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
2006年
83.
Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues
机译:
使用FIFO队列的抽象解释验证通信协议
作者:
Tristan Le Gall
;
Bertrand Jeannet
;
Thierry Jéron
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
2006年
84.
Accelerated Modal Abstractions of Labelled Transition Systems
机译:
加速标记过渡系统的模态抽象
作者:
Miguel Valero Espada
;
Jaco van de Pol
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
2006年
85.
State Space Representation for Verification of Open Systems
机译:
验证开放系统的状态空间表示
作者:
Irem Aktug
;
Dilian Gurov
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
2006年
86.
State Space Reduction of Rewrite Theories Using Invisible Transitions
机译:
使用无形转换的状态空间减少重写理论
作者:
Azadeh Farzan
;
José Meseguer
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
2006年
87.
The Substitution Vanishes
机译:
替代消失了
作者:
Armin Kühnemann
;
Andreas Maletti
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
2006年
88.
Realizability Criteria for Compositional MSC
机译:
构成MSC的可实现标准
作者:
Arjan Mooij
;
Judi Romijn
;
Wieger Wesselink
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
2006年
89.
A Computational Group Theoretic Symmetry Reduction Package for the Spin Model Checker
机译:
用于旋转模型检查器的计算组理论对称性缩减包
作者:
Alastair F. Donaldson
;
Alice Miller
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
2006年
90.
The Verification of the On-Chip COMA Cache Coherence Protocol
机译:
刷新片上COMA缓存一致性协议
作者:
Thuy Duong Vu
;
Li Zhang
;
Chris Jesshope
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
2008年
关键词:
on-chip coma cache coherence protocol;
verification;
location consistency;
abstract state machine;
91.
Evolving Specification Engineering
机译:
不断发展的规范工程
作者:
Dusko Pavlovic
;
Peter Pepper
;
Doug Smith
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
2008年
92.
Liberate Computer User from Programming
机译:
解放计算机用户从编程中
作者:
Teodor Rus
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
2008年
93.
Separation Logic Contracts for a Java-Like Language with Fork/Join
机译:
使用Fork / Join的类似Java语言的分离逻辑合同
作者:
Christian Haack
;
Clement Hurlin
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
2008年
94.
Simulation Using Orchestration (Extended Abstract)
机译:
使用Orchestration进行仿真(扩展摘要)
作者:
David Kitchin
;
Evan Powell
;
Jayadev Misra
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
2008年
95.
Extending Timed Process Algebra with Discrete Stochastic Time
机译:
使用离散随机时间扩展定时过程代数
作者:
Jasen Markovski
;
Erik P. de Vink
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
2008年
96.
Generating Specialized Rules and Programs for Demand-Driven Analysis
机译:
为需求驱动分析生成专门规则和程序
作者:
K. Tuncay Tekle
;
Katia Hristova
;
Yanhong A. Liu
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
2008年
97.
Calculating Invariants as Coreflexive Bisimulations
机译:
计算不变性作为Coreflexive Bisimulations
作者:
Luis S. Barbosa
;
Jose N. Oliveira
;
Alexandra Silva
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
2008年
关键词:
coalgebraic reasoning;
proof obligations;
pointfree transform;
program calculation;
98.
An Algebra for Features and Feature Composition
机译:
特征和特征组成的代数
作者:
Sven Apel
;
Christian Lengauer
;
Bernhard Moeller
;
Christian Kaestner
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
2008年
99.
Towards Formal Verification of ToolBus Scripts
机译:
用于正式验证Toolbus脚本
作者:
Wan Fokkink
;
Paul Klint
;
Bert Lisser
;
Yaroslav S. Usenko
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
2008年
100.
An Algebraic Semantics for Contract-Based Software Components
机译:
基于合同的软件组件的代数语义
作者:
Michel Bidoit
;
Rolf Hennicker
会议名称:
《International Conference on Algebraic Methodology and Software Technology》
|
2008年
意见反馈
回到顶部
回到首页