首页>外文会议>Recent Trends in Algebraic Development Techniques

Recent Trends in Algebraic Development Techniques

召开年：2001
召开地：Genova(IT);Genova(IT)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Algebraic Abstractions

机译：代数抽象
- 作者：Michel Bidoit;Alexandre Boisseau
- 会议名称：《Recent Trends in Algebraic Development Techniques》 | 2001年
2.Canonical Institutions of Behaviour

机译：规范的行为制度
- 作者：J. Felix Costa;H. Lourenco
- 会议名称：《Recent Trends in Algebraic Development Techniques》 | 2001年
3.Combining Logics: Parchments Revisited

机译：组合逻辑：重访羊皮纸
- 作者：C. Caleiro;P. Mateus;J. Ramos;A. Sernadas
- 会议名称：《Recent Trends in Algebraic Development Techniques》 | 2001年
4.Geometric Modelling with CASL

机译：使用CASL进行几何建模
- 作者：Franck Ledoux;Agnes Arnould;Pascale Le Gall;Yves Bertrand
- 会议名称：《Recent Trends in Algebraic Development Techniques》 | 2001年
- formal specifications;
- algebraic specifications;
- CASL language;
- geometric modelling;
- specification methodology;
5.Institution Independent Static Analysis for CASL

机译：CASL的机构独立静态分析
- 作者：Till Mossakowski;Bartek Klin
- 会议名称：《Recent Trends in Algebraic Development Techniques》 | 2001年
6.Interactive Rule-Based Specification with an Application to Visual Language Definition

机译：基于交互式规则的规范及其在视觉语言定义中的应用
- 作者：Roswitha Bardohl;Martin Grosse-Rhode;Marta Simeoni
- 会议名称：《Recent Trends in Algebraic Development Techniques》 | 2001年
7.A Compositional Approach to Connector Construction

机译：连接器构造的组合方法
- 作者：Antonia Lopes;Michel Wermelinger;Jose Luiz Fiadeiro
- 会议名称：《Recent Trends in Algebraic Development Techniques》 | 2001年
8.On the Compatibility of Model and Model-Class Transformations

机译：关于模型和模型类转换的兼容性
- 作者：Maike Gajewsky;Francesco Parisi-Presicce
- 会议名称：《Recent Trends in Algebraic Development Techniques》 | 2001年
9.Presentations for Abstract Context Institutions

机译：抽象语境机构介绍
- 作者：Wieslaw Pawlowski
- 会议名称：《Recent Trends in Algebraic Development Techniques》 | 2001年
10.Programs, Proofs and Parametrized Specifications

机译：程序，证明和参数化规格
- 作者：Iman Poernomo;John N. Crossley;Martin Wirsing
- 会议名称：《Recent Trends in Algebraic Development Techniques》 | 2001年
- parametrized specifications;
- CASL;
- SML;
- curry-howard isomorphism;
11.The Common Framework Initiative for Algebraic Specification and Development of Software: Recent Progress

机译：代数规范和软件开发的通用框架计划：最新进展
- 作者：Donald Sannella
- 会议名称：《Recent Trends in Algebraic Development Techniques》 | 2001年
12.The Luebeck Transformation System: A Transformation System for Equational Higher Order Algebraic Specifications

机译：吕贝克变换系统：方程式高阶代数规范的变换系统
- 作者：Walter Dosch;Soenke Magnussen
- 会议名称：《Recent Trends in Algebraic Development Techniques》 | 2001年
13.Tight and Loose Semantics for Transformation Systems

机译：转换系统的紧密语义和松散语义
- 作者：Fernando Orejas;Hartmut Ehrig;Elvira Pino
- 会议名称：《Recent Trends in Algebraic Development Techniques》 | 2001年
14.Towards Trustworthy Specifications I: Consistency Checks

机译：迈向可信赖的规格I：一致性检查
- 作者：Markus Roggenbach;Lutz Schroeder
- 会议名称：《Recent Trends in Algebraic Development Techniques》 | 2001年
15.Verifying a Simple Pipelined Microprocessor Using Maude

机译：使用Maude验证简单的流水线微处理器
- 作者：N.A. Harman
- 会议名称：《Recent Trends in Algebraic Development Techniques》 | 2001年
16.Verifying Architectural Specifications

机译：验证架构规格
- 作者：Piotr Hoffman
- 会议名称：《Recent Trends in Algebraic Development Techniques》 | 2001年