首页>外文会议>Fundamental Approaches to Software Engineering

Fundamental Approaches to Software Engineering

召开年：2004
召开地：Barcelona(ES);Barcelona(ES);Barcelona(ES);Barcelona(ES)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based Systems

机译：Cadena：用于基于组件的系统的分析，综合和验证的集成开发环境
- 作者：Adam Childs;Jesse Greenwald;Venkatesh Prasad Ranganath;Xianghua Deng;Matthew Dwyer;John Hatcliff;Georg Jung;Prashant Shanti;Gurdip Singh
- 会议名称：《Fundamental Approaches to Software Engineering》 | 2004年
2.DaGen: A Tool for Automatic Translation from DAML-S to High-Level Petri Nets

机译：DaGen：一种从DAML-S自动转换为高级Petri网的工具
- 作者：Daniel Moldt;Jan Ortmann
- 会议名称：《Fundamental Approaches to Software Engineering》 | 2004年
- high-level petri nets;
- nets within nets;
- reference nets;
- RENEW;
- workflow;
- web service;
- business process;
- DAML-S;
- process ontology;
3.Specification and Analysis of Real-Time Systems Using Real-Time Maude

机译：使用实时Maude的实时系统的规范和分析
- 作者：Peter Csaba Oelveczky;Jose Meseguer
- 会议名称：《Fundamental Approaches to Software Engineering》 | 2004年
4.The GOPCSD Tool: An Integrated Development Environment for Process Control Requirements and Design

机译：GOPCSD工具：用于过程控制需求和设计的集成开发环境
- 作者：Islam A.M. El-Maddah;Tom S.E. Maibaum
- 会议名称：《Fundamental Approaches to Software Engineering》 | 2004年
5.Distributed Information Management with XML and Web Services

机译：使用XML和Web服务进行分布式信息管理
- 作者：Serge Abiteboul
- 会议名称：《Fundamental Approaches to Software Engineering》 | 2004年
6.Automated Debugging Using Path-Based Weakest Preconditions

机译：使用基于路径的最弱前提条件进行自动调试
- 作者：Haifeng He;Neelam Gupta
- 会议名称：《Fundamental Approaches to Software Engineering》 | 2004年
- fault location;
- software testing;
- weakest precondition;
- postcondition;
7.Filtering TOBIAS Combinatorial Test Suites

机译：过滤TOBIAS组合测试套件
- 作者：Yves Ledru;Lydie du Bousquet;Olivier Maury;Pierre Bontron
- 会议名称：《Fundamental Approaches to Software Engineering》 | 2004年
- combinatorial testing;
- model-based specifications;
- VDM;
- JML;
8.Modeling Role-Based Access Control Using Parameterized UML Models

机译：使用参数化的UML模型为基于角色的访问控制建模
- 作者：Dae-Kyoo Kim;Indrakshi Ray;Robert France;Na Li
- 会议名称：《Fundamental Approaches to Software Engineering》 | 2004年
9.Optimising Communication Structure for Model Checking

机译：优化用于模型检查的通信结构
- 作者：Peter Saffrey;Muffy Calder
- 会议名称：《Fundamental Approaches to Software Engineering》 | 2004年
10.A Correlation Framework for the CORBA Component Model

机译：CORBA组件模型的相关框架
- 作者：Georg Jung;John Hatcliff;Venkatesh Prasad Ranganath
- 会议名称：《Fundamental Approaches to Software Engineering》 | 2004年
11.A Formal Treatment of Context-Awareness

机译：情境意识的形式化处理
- 作者：Gruia-Catalin Roman;Christine Julien;Jamie Payton
- 会议名称：《Fundamental Approaches to Software Engineering》 | 2004年
12.A Systematic Methodology for Developing Component Frameworks

机译：开发组件框架的系统方法论
- 作者：Si Won Choi;Soo Ho Chang;Soo Dong Kim
- 会议名称：《Fundamental Approaches to Software Engineering》 | 2004年
13.A Tool-Assisted Framework for Certified Bytecode Verification

机译：认证字节码验证的工具辅助框架
- 作者：Gilles Barthe;Guillaume Dufay
- 会议名称：《Fundamental Approaches to Software Engineering》 | 2004年
14.Actor-Centric Modeling of User Rights

机译：以角色为中心的用户权限建模
- 作者：Ruth Breu;Gerhard Popp
- 会议名称：《Fundamental Approaches to Software Engineering》 | 2004年
15.An Operational Semantics for Stateflow

机译：Stateflow的操作语义
- 作者：Gregoire Hamon;John Rushby
- 会议名称：《Fundamental Approaches to Software Engineering》 | 2004年
16.Automating Decisions in Component Composition Based on Propagation of Requirements

机译：基于需求传播的零件组成自动化决策
- 作者：Ioana Sora;Vladimir Cretu;Pierre Verbaeten;Yolande Berbers
- 会议名称：《Fundamental Approaches to Software Engineering》 | 2004年
17.Checking Absence of Illicit Applet Interactions: A Case Study

机译：检查非法小程序交互的缺失：一个案例研究
- 作者：Marieke Huisman;Dilian Gurov;Christoph Sprenger;Gennady Chugunov
- 会议名称：《Fundamental Approaches to Software Engineering》 | 2004年
18.Compositional Nested Long Running Transactions

机译：组合嵌套长期交易
- 作者：Laura Bocchi
- 会议名称：《Fundamental Approaches to Software Engineering》 | 2004年
19.Consistent Adaptation and Evolution of Class Diagrams during Refinement

机译：细化过程中类图的一致适应和演化
- 作者：Alexander Egyed
- 会议名称：《Fundamental Approaches to Software Engineering》 | 2004年
20.Enhancing Remote Method Invocation through Type-Based Static Analysis

机译：通过基于类型的静态分析增强远程方法的调用
- 作者：Carlo Ghezzi;Vincenzo Martena;Gian Pietro Picco
- 会议名称：《Fundamental Approaches to Software Engineering》 | 2004年
21.Improving Use Case Based Requirements Using Formally Grounded Specifications

机译：使用正式接地规范改善基于用例的需求
- 作者：Christine Choppy;Gianna Reggio
- 会议名称：《Fundamental Approaches to Software Engineering》 | 2004年
22.Integrating Meta-modelling Aspects with Graph Transformation for Efficient Visual Language Definition and Model Manipulation

机译：将元建模方面与图形转换相集成，以实现高效的可视语言定义和模型处理
- 作者：Roswitha Bardohl;Hartmut Ehrig;Juan de Lara;Gabriele Taentzer
- 会议名称：《Fundamental Approaches to Software Engineering》 | 2004年
23.Measuring Aspect Cohesion

机译：测量方面内聚力
- 作者：Jianjun Zhao;Baowen Xu
- 会议名称：《Fundamental Approaches to Software Engineering》 | 2004年
24.Predictable Dynamic Plugin Systems

机译：可预测的动态插件系统
- 作者：Robert Chatley;Susan Eisenbach;Jeff Kramer;Jeff Magee;Sebastian Uchitel
- 会议名称：《Fundamental Approaches to Software Engineering》 | 2004年
25.Reasoning about Card Tears and Transactions in Java Card

机译：关于Java Card中的卡片流泪和交易的推理
- 作者：Engelbert Hubbers;Erik Poll
- 会议名称：《Fundamental Approaches to Software Engineering》 | 2004年
26.Refactoring Object-Z Specifications

机译：重构Object-Z规范
- 作者：Tim McComb
- 会议名称：《Fundamental Approaches to Software Engineering》 | 2004年
27.Systematic Testing of Software Architectures in the C2 Style

机译：C2风格的软件体系结构的系统测试
- 作者：Henry Muccini;Marcio Dias;Debra J. Richardson
- 会议名称：《Fundamental Approaches to Software Engineering》 | 2004年
28.Translating Software Designs for Model Checking

机译：翻译软件设计以进行模型检查
- 作者：Fei Xie;Vladimir Levin;Robert P. Kurshan;James C. Browne
- 会议名称：《Fundamental Approaches to Software Engineering》 | 2004年