掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
International Workshop on Algebraic Development Techniques
International Workshop on Algebraic Development Techniques
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Towards an evolutionary formal software-development using CASL
机译:
使用CASL实现进化正式的软件开发
作者:
Serge Autexier
;
Dieter Hutter
;
Heiko Mantel
;
Axel Schairer
会议名称:
《International Workshop on Algebraic Development Techniques》
|
2000年
2.
A model for interaction of agents and environments
机译:
代理和环境交互的模型
作者:
Alexander Letichevsky
;
David Gilbert
会议名称:
《International Workshop on Algebraic Development Techniques》
|
2000年
关键词:
Agents;
Behaviour;
Environments;
Interaction;
Continuous algebras;
Semantics;
3.
Using CASL to specify the requirements and the design: a problem specific approach
机译:
使用CASL指定要求和设计:特定方法的问题
作者:
Christine Choppy
;
Gianna Reggio
会议名称:
《International Workshop on Algebraic Development Techniques》
|
2000年
4.
From states to histories
机译:
从各国到历史
作者:
Manfred Broy
会议名称:
《International Workshop on Algebraic Development Techniques》
|
2000年
5.
Guarded algebras: disguising partiality so you won't know whether its there
机译:
守卫代数:伪装偏重率,所以你不知道它是否在那里
作者:
Magne Haveraaen
;
Eric G. Wanger
会议名称:
《International Workshop on Algebraic Development Techniques》
|
2000年
6.
An institution of hybrid systems
机译:
混合系统制度
作者:
Hugo Lourenco
;
Amilcar Sernadas
会议名称:
《International Workshop on Algebraic Development Techniques》
|
2000年
7.
Specifying real numbers in CASL
机译:
在CASL中指定实数
作者:
Markus Roggenbach
;
Lutz Schroder
;
Till Mossakowski
会议名称:
《International Workshop on Algebraic Development Techniques》
|
2000年
8.
Higher-order logic and theorem proving for structured specifications
机译:
用于结构规格的高阶逻辑和定理
作者:
Tomasz Borzyszkowski
会议名称:
《International Workshop on Algebraic Development Techniques》
|
2000年
9.
principles and pragmatics of subtyping in PVS
机译:
PVS亚型的原则和语用学
作者:
Natarajan Shankar
;
Sam Owre
会议名称:
《International Workshop on Algebraic Development Techniques》
|
2000年
10.
A general algebraic framework for studying modular systems
机译:
用于研究模块化系统的一般代数框架
作者:
Fernando Orejas
;
Elvira Pino
会议名称:
《International Workshop on Algebraic Development Techniques》
|
2000年
11.
Algebra-coalgebra structures and bialgebras
机译:
代数 - 煤炭结构和双曲线
作者:
Ataru T. Nakagawa
会议名称:
《International Workshop on Algebraic Development Techniques》
|
2000年
12.
Algebraic specification of operator-based multimedia scenarios
机译:
基于操作员的多媒体情景的代数规范
作者:
Didier Bert
;
Stephane Lo Presti
会议名称:
《International Workshop on Algebraic Development Techniques》
|
2000年
13.
Specification refinement with system F - the higher-order case
机译:
用系统F的规格改进 - 高阶案例
作者:
Jo Erskine Hannay
会议名称:
《International Workshop on Algebraic Development Techniques》
|
2000年
14.
The role of normalisation in testing from structured algebraic specifications
机译:
归一化在结构代数规格测试中的作用
作者:
Patricia D. L. Machado
会议名称:
《International Workshop on Algebraic Development Techniques》
|
2000年
15.
Development of parsing tools for CASL using generic language technology
机译:
普通语言技术开发CASL解析工具
作者:
Mark G. J. Van Den Brand
;
Jeroen Scheerder
会议名称:
《International Workshop on Algebraic Development Techniques》
|
2000年
16.
Realization of probabilistic automata: categorical approach
机译:
概率自动机的实现:分类方法
作者:
Paulo Mateus
;
Amilcar Sernadas
;
Cristina Sernadas
会议名称:
《International Workshop on Algebraic Development Techniques》
|
2000年
17.
A type-theoretic memory model for verification of sequential Java programs
机译:
用于验证顺序Java程序的类型 - 理论内存模型
作者:
Joachim Van Den Berg
;
Marieke Husiman
;
Bart Jacobs
;
Erik Poll
会议名称:
《International Workshop on Algebraic Development Techniques》
|
2000年
18.
History preserving bisimulation for contextual nets
机译:
历史保存语境网的双刺激
作者:
Paolo Baldan
;
Andrea Corradini
;
Ugo Montanari
会议名称:
《International Workshop on Algebraic Development Techniques》
|
2000年
19.
Specifications in an arbitrary institution with symbols
机译:
在符号的任意机构中的规范
作者:
Till Mossakowski
会议名称:
《International Workshop on Algebraic Development Techniques》
|
2000年
20.
Extending CASL by late binding
机译:
通过后期装订延伸赌场
作者:
Davide Ancona
;
Maura Cerioli
;
Elena Zucca
会议名称:
《International Workshop on Algebraic Development Techniques》
|
2000年
21.
A uniform model theory for the specification of data and process types
机译:
数据和流程类型规范的统一模型理论
作者:
Horst Reichel
会议名称:
《International Workshop on Algebraic Development Techniques》
|
2000年
22.
Relating abstract datatypes and Z-schemata
机译:
相关抽象数据类型和z-schemata
作者:
Hubert Baumeister
会议名称:
《International Workshop on Algebraic Development Techniques》
|
2000年
23.
Extraction of structured programs from specification proofs
机译:
从规格证明中提取结构化计划
作者:
John N. Crossley
;
Iman Poernomo
;
Martin Wirsing
会议名称:
《International Workshop on Algebraic Development Techniques》
|
2000年
24.
Towards a verification logic for rewriting logic
机译:
迈向重写逻辑的验证逻辑
作者:
Jose Luis Fiadeiro
;
Tom Maibaum
;
Narciso Marti-Oliet
;
Jose Meseguer
;
Isabel Pita
会议名称:
《International Workshop on Algebraic Development Techniques》
|
2000年
25.
Subsorted partial higher-order logic as an extension of CASL
机译:
将部分高阶逻辑置于赌场的扩展
作者:
Till Mossakowski
;
Anne Haxthausen
;
Bernd Krieg-Bruckner
会议名称:
《International Workshop on Algebraic Development Techniques》
|
2000年
26.
A general completeness result in refinement
机译:
一般完整性导致细化
作者:
Yoshiki Kinoshita
;
John Power
会议名称:
《International Workshop on Algebraic Development Techniques》
|
2000年
27.
Distances between Processes: A Pure Algebraic Approach
机译:
过程之间的距离:纯代数方法
作者:
David Romero Hernandez
;
David de Frutos Escrig
会议名称:
《International Workshop on Algebraic Development Techniques》
|
2013年
28.
Designing Domain Specific Languages - A Craftsman's Approach for the Railway Domain Using CASL
机译:
设计域特定语言 - 使用CASL的铁路域的工匠的方法
作者:
Phillip James
;
Alexander Knapp
;
Till Mossakowski
;
Markus Roggenbach
会议名称:
《International Workshop on Algebraic Development Techniques》
|
2013年
29.
Compiling Logics
机译:
编译逻辑
作者:
Mihai Codescu
;
Fulya Horozal
;
Aivaras Jakubauskas
;
Till Mossakowski
;
Florian Rabe
会议名称:
《International Workshop on Algebraic Development Techniques》
|
2013年
30.
Quantitative Modal Transition Systems
机译:
定量模态过渡系统
作者:
Kim G. Larsen
;
Axel Legay
会议名称:
《International Workshop on Algebraic Development Techniques》
|
2013年
31.
Barbed Semantics for Open Reactive Systems
机译:
用于开放式反应系统的刺式语义
作者:
Fabio Gadducci
;
Giacoma Valentina Monreale
会议名称:
《International Workshop on Algebraic Development Techniques》
|
2013年
关键词:
Open reactive systems;
(saturated) barbed bisimilarities;
32.
Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics
机译:
满足性微积分:普通逻辑上的校对微积分的语义对应
作者:
Carlos Gustavo Lopez Pombo
;
Pablo F. Castro
;
Nazareno M. Aguirre
;
Thomas S. E. Maibaum
会议名称:
《International Workshop on Algebraic Development Techniques》
|
2013年
33.
Formal Specification of the Kademlia and the Kad Routing Tables in Maude
机译:
Kademlia的正式规范和Maude的Kad路由表
作者:
Isabel Pita
;
Maria-Ines Fernandez-Camacho
会议名称:
《International Workshop on Algebraic Development Techniques》
|
2013年
关键词:
Kademlia;
Kad;
Distributed specification;
Formal analysis;
Maude;
Real-Time Maude;
34.
Statistical Model Checking for Composite Actor Systems
机译:
复合演员系统的统计模型检查
作者:
Jonas Eckhardt
;
Tobias Muhlbauer
;
Jose Meseguer
;
Martin Wirsing
会议名称:
《International Workshop on Algebraic Development Techniques》
|
2013年
关键词:
Actor system;
Rewriting logic;
Maude;
Composite actor;
Statistical model checking;
35.
Semantics of the Distributed Ontology Language: Institutes and Institutions
机译:
分布式本体语言的语义:机构和机构
作者:
Till Mossakowski
;
Oliver Kutz
;
Christoph Lange
会议名称:
《International Workshop on Algebraic Development Techniques》
|
2013年
36.
A Probabilistic Strategy Language for Probabilistic Rewrite Theories and Its Application to Cloud Computing
机译:
概率标准理论及其在云计算中的应用概况策略语言
作者:
Lucian Bentea
;
Peter Csaba Olveczky
会议名称:
《International Workshop on Algebraic Development Techniques》
|
2013年
37.
Transformation Systems with Incremental Negative Application Conditions
机译:
具有增量负应用条件的转换系统
作者:
Andrea Corradini
;
Reiko Heckel
;
Frank Hermann
;
Susann Gottmann
;
Nico Nachtigall
会议名称:
《International Workshop on Algebraic Development Techniques》
|
2013年
关键词:
Graph transformation;
Concurrent semantics;
Negative application conditions;
Switch equivalence;
38.
Open Multiparty Interaction
机译:
打开多方互动
作者:
Chiara Bodei
;
Linda Brodo
;
Roberto Bruni
会议名称:
《International Workshop on Algebraic Development Techniques》
|
2013年
39.
Behaviour Protection in Modular Rule-Based System Specifications
机译:
基于模块规则的系统规范中的行为保护
作者:
Francisco Duran
;
Fernando Orejas
;
Steffen Zschaler
会议名称:
《International Workshop on Algebraic Development Techniques》
|
2013年
40.
Adaptable Transition Systems
机译:
适应性过渡系统
作者:
Roberto Bruni
;
Andrea Corradini
;
Fabio Gadducci
;
Alberto Lluch Lafuente
;
Andrea Vandin
会议名称:
《International Workshop on Algebraic Development Techniques》
|
2013年
关键词:
Adaptation;
Autonomic systems;
Control data;
Interface automata;
41.
Bounded Model Checking of Recursive Programs with Pointers in K
机译:
用k中指针的递归程序的有界模型检查
作者:
Irina Mariuca Asavoae
;
Frank de Boer
;
Marcello M. Bonsangue
;
Dorel Lucanu
;
Jurriaan Rot
会议名称:
《International Workshop on Algebraic Development Techniques》
|
2013年
关键词:
Pushdown systems;
Model checking;
The K framework;
42.
A Generic Program Slicing Technique Based on Language Definitions
机译:
一种基于语言定义的通用程序切片技术
作者:
Adrian Riesco
;
Irina Mariuca Asavoae
;
Mihail Asavoae
会议名称:
《International Workshop on Algebraic Development Techniques》
|
2013年
关键词:
Slicing;
Semantics;
Maude;
Debugging;
43.
On Logic Embeddings and Godel's God
机译:
在逻辑嵌入和戈德尔的上帝身上
作者:
Christoph Benzmuller
;
Bruno Woltzenlogel Paleo
会议名称:
《International Workshop on Algebraic Development Techniques》
|
2015年
44.
Foundations of Logic Programming in Hybridised Logics
机译:
杂交逻辑逻辑编程的基础
作者:
Daniel Gaina
会议名称:
《International Workshop on Algebraic Development Techniques》
|
2015年
45.
A Full Operational Semantics for Asynchronous Relational Networks
机译:
异步关系网络的完整操作语义
作者:
Ignacio Vissani
;
Carlos Gustavo Lopez Pombo
;
Ionut Tutu
;
Jose Luiz Fiadeiro
会议名称:
《International Workshop on Algebraic Development Techniques》
|
2015年
46.
What Is a Derived Signature Morphism?
机译:
什么是衍生的签名态度?
作者:
Till Mossakowski
;
Ulf Krumnack
;
Tom Maibaum
会议名称:
《International Workshop on Algebraic Development Techniques》
|
2015年
47.
Coalgebraic Semantics of Heavy-Weighted Automata
机译:
重型自动机的陆基语义
作者:
Marie Fortin
;
Marcello M. Bonsangue
;
Jan Rutten
会议名称:
《International Workshop on Algebraic Development Techniques》
|
2015年
48.
Use Case Analysis Based on Formal Methods: An Empirical Study
机译:
基于形式方法的用例分析:实证研究
作者:
Marcos Oliveira Jr.
;
Leila Ribeiro
;
Erika Cota
;
Lucio Mauro Duarte
;
Ingrid Nunes
;
Filipe Reis
会议名称:
《International Workshop on Algebraic Development Techniques》
|
2015年
关键词:
Use cases;
Graph transformation;
Empirical study;
Model analysis;
49.
An Institutional Foundation for the K Semantic Framework
机译:
K语义框架的机构基础
作者:
Claudia Elena Chirita
;
Traian Florin Serbanuta
会议名称:
《International Workshop on Algebraic Development Techniques》
|
2015年
50.
A Theoretical Foundation for Programming Languages Aggregation
机译:
编程语言聚集的理论基础
作者:
Stefan Ciobaca
;
Dorel Lucanu
;
Vlad Rusu
;
Grigore Rosu
会议名称:
《International Workshop on Algebraic Development Techniques》
|
2015年
51.
A SOC-Based Formal Specification and Verification of Hybrid Systems
机译:
基于SOC的正式规范和验证混合系统
作者:
Ning Yu
;
Martin Wirsing
会议名称:
《International Workshop on Algebraic Development Techniques》
|
2015年
关键词:
Hybrid transition systems;
SRML;
Differential equations;
DTL;
52.
The Wheel of Rational Numbers as an Abstract Data Type
机译:
作为抽象数据类型的理性数字之轮
作者:
Jan A. Bergstra
;
John V. Tucker
会议名称:
《International Workshop on Algebraic Development Techniques》
|
2020年
关键词:
Rational numbers;
Arithmetic structures;
Meadows;
Wheels;
Division by zero;
Infinity;
Error;
Equational specification;
Initial algebra semantics;
53.
Towards General Axiomatizations for Bisimilarity and Trace Semantics
机译:
对一般性和追踪语义的一般公理
作者:
Marco Bernardo
会议名称:
《International Workshop on Algebraic Development Techniques》
|
2020年
54.
Parallel Coherent Graph Transformations
机译:
并行相干图形转换
作者:
Thierry Boy de la Tour
;
Rachid Echahed
会议名称:
《International Workshop on Algebraic Development Techniques》
|
2020年
55.
Institution-Based Encoding and Verification of Simple UML State Machines in CASL/SPASS
机译:
基于机构的CASL / SPAS中简单UML状态机的编码和验证
作者:
Tobias Rosenberger
;
Saddek Bensalem
;
Alexander Knapp
;
Markus Roggenbach
会议名称:
《International Workshop on Algebraic Development Techniques》
|
2020年
56.
Monographs, a Category of Graph Structures
机译:
专着,图形结构类别
作者:
Thierry Boy de la Tour
会议名称:
《International Workshop on Algebraic Development Techniques》
|
2020年
关键词:
Universal algebra;
Monadic signatures;
Category theory;
57.
K and KIV: Towards Deductive Verification for Arbitrary Programming Languages
机译:
K和KIV:参加任意编程语言的演绎验证
作者:
Dominik Klumpp
;
Philip Lenzen
会议名称:
《International Workshop on Algebraic Development Techniques》
|
2020年
关键词:
K framework;
Reachability logic;
Interactive verification;
58.
Structure-Preserving Diagram Operators
机译:
保护图操作员
作者:
Navid Roux
;
Florian Rabe
会议名称:
《International Workshop on Algebraic Development Techniques》
|
2020年
59.
Preface
机译:
前言
作者:
Markus Roggenbach
会议名称:
《International Workshop on Algebraic Development Techniques》
|
2020年
60.
On Completeness of Liveness Synthesis for Parametric Timed Automata (Extended Abstract)
机译:
参数定时自动机的活性合成的完整性(扩展摘要)
作者:
Jaco van de Pol
;
Laure Petrucci
会议名称:
《International Workshop on Algebraic Development Techniques》
|
2020年
意见反馈
回到顶部
回到首页