首页>外文会议>European software engineering conference;ACM SIGSOFT international symposium on Foundations of software engineering

European software engineering conference;ACM SIGSOFT international symposium on Foundations of software engineering

召开年：2001
召开地：Vienna(AT);Vienna(AT)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Deadlock detection in distribution object systems

机译：分发对象系统中的死锁检测
- 作者：Nima Kaveh;Wolfgang Emmerich
- 会议名称：《European software engineering conference;ACM SIGSOFT international symposium on Foundations of software engineering》 | 2001年
- process algebra;
2.Behavioral contracts and behavioral subtyping

机译：行为契约和行为分型
- 作者：Robert Bruce Findler;Mario Latendresse;Matthias Felleisen
- 会议名称：《European software engineering conference;ACM SIGSOFT international symposium on Foundations of software engineering》 | 2001年
3.Analysis of the constraint solver in UNA based test data generation

机译：基于UNA的测试数据生成中的约束求解器分析
- 作者：Jon Edvardsson;Mariam Kamkar
- 会议名称：《European software engineering conference;ACM SIGSOFT international symposium on Foundations of software engineering》 | 2001年
- unified numerical approach;
4.An empirical study on the utility of formal routines to transfer knowledge and experience

机译：关于形式化例程传递知识和经验的效用的实证研究
- 作者：Reidar Conradi;Tore Dyba
- 会议名称：《European software engineering conference;ACM SIGSOFT international symposium on Foundations of software engineering》 | 2001年
- software process improvement;
5.An empirical methodology for introducing software processes

机译：引入软件过程的经验方法
- 作者：Forrest Shull;Jeffrey Carver;Guilherme H. Travassos
- 会议名称：《European software engineering conference;ACM SIGSOFT international symposium on Foundations of software engineering》 | 2001年
- software quality;
6.Detecting implied scenarios in message sequence chart specifications

机译：在消息序列图规范中检测隐式方案
- 作者：Sebastian Uchitel;Jeff Kramer;Jeff Magee
- 会议名称：《European software engineering conference;ACM SIGSOFT international symposium on Foundations of software engineering》 | 2001年
- synthesis;
7.A methodology for specifying and analyzing consistency of object-oriented behavioral models

机译：指定和分析面向对象行为模型一致性的方法
- 作者：Gregor Engels;Jochem M. Kuster;Reiko Heckel;Luuk Groenewegen
- 会议名称：《European software engineering conference;ACM SIGSOFT international symposium on Foundations of software engineering》 | 2001年
- object-oriented modeling;
8.Pursuing failure

机译：追求失败
- 作者：William Dickinson;David Leon;Andy Podgurski
- 会议名称：《European software engineering conference;ACM SIGSOFT international symposium on Foundations of software engineering》 | 2001年
- software testing;
9.Taming architectural evolution

机译：适应建筑发展
- 作者：Andre van der Hoek;Marija Mikic-Rakic;Roshanak Roshandel;Nenad Medvidovic
- 会议名称：《European software engineering conference;ACM SIGSOFT international symposium on Foundations of software engineering》 | 2001年
- system model;
10.An architectural style of product lines for distributed processing systems, and practical selection method

机译：分布式处理系统产品线的体系结构样式和实用选择方法
- 作者：Yoshitomi Morisawa;Koji Torii
- 会议名称：《European software engineering conference;ACM SIGSOFT international symposium on Foundations of software engineering》 | 2001年
- software architecture;
11.Increasing client-side confidence in remote component implementations

机译：增强客户端对远程组件实现的信心
- 作者：Ramesh Jagannathan;Paolo A.G. Sivilotti
- 会议名称：《European software engineering conference;ACM SIGSOFT international symposium on Foundations of software engineering》 | 2001年
- trust;
12.The structure and value of modularity in software design

机译：软件设计中模块化的结构和价值
- 作者：Kevin J. Sullivan;William G. Griswold;Yuanfang Cai;Ben Hallen
- 会议名称：《European software engineering conference;ACM SIGSOFT international symposium on Foundations of software engineering》 | 2001年
- software;
13.A notation for problematic architecture interactions

机译：有问题的架构交互的表示法
- 作者：L. Davis;R. Gamble;J. Payton;G. Jonsdottir;D. Underwood
- 会议名称：《European software engineering conference;ACM SIGSOFT international symposium on Foundations of software engineering》 | 2001年
- software architecture;
14.Using symbolic execution for verifying safety-critical systems

机译：使用符号执行来验证安全关键系统
- 作者：Alberto Coen-Porisini;Giovanni Denaro;Carlo Ghezzi;Mauro Pezze
- 会议名称：《European software engineering conference;ACM SIGSOFT international symposium on Foundations of software engineering》 | 2001年
- verification;
15.Automatic abstraction for model checking software systems with interrelated numeric constraints

机译：具有相关数值约束的模型检查软件系统的自动抽象
- 作者：Yunja Choi;Sanjai Rayadurgam;Mats P.E. Heimdahl
- 会议名称：《European software engineering conference;ACM SIGSOFT international symposium on Foundations of software engineering》 | 2001年
- numeric constraints;
16.An algebraic approach to file synchronization

机译：一种文件同步的代数方法
- 作者：Norman Ramsey;El″od Csirmaz;El″od Csirmaz
- 会议名称：《European software engineering conference;ACM SIGSOFT international symposium on Foundations of software engineering》 | 2001年
17.An industrial case study of implementing software risk management

机译：实施软件风险管理的工业案例研究
- 作者：Bernd Freimut;Susanne Hartkopf;Peter Kaiser;Jyrki Kontio;Werner Kobitzsch
- 会议名称：《European software engineering conference;ACM SIGSOFT international symposium on Foundations of software engineering》 | 2001年
- risk management;
18.An architecture for flexible, evolvable process-driven user-guidance environments

机译：用于灵活的，可扩展的，流程驱动的用户指导环境的体系结构
- 作者：Timothy J. Sliski;Matthew P. Billmers;Lori A. Clarke;Leon J. Osterweil
- 会议名称：《European software engineering conference;ACM SIGSOFT international symposium on Foundations of software engineering》 | 2001年
- user interface design;
19.Using aspectC to improve the modularity of path-specific customization in operating system code

机译：使用AspectC改善操作系统代码中特定于路径的自定义的模块化
- 作者：Yvonne Coady;Gregor Kiczales;Mike Feeley;Greg Smolyn
- 会议名称：《European software engineering conference;ACM SIGSOFT international symposium on Foundations of software engineering》 | 2001年
- software modularity;
20.Automatic synthesis of deadlock free connectors for COM/DCOM applications

机译：适用于COM / DCOM应用的无死锁连接器的自动综合
- 作者：Paola Inverardi;Massimo Tivoli
- 会议名称：《European software engineering conference;ACM SIGSOFT international symposium on Foundations of software engineering》 | 2001年
21.Combining UML and formal notations for modelling real-time systems

机译：结合UML和形式符号对实时系统进行建模
- 作者：Luigi Lavazza;Gabriele Quaroni;Matteo Venturelli
- 会议名称：《European software engineering conference;ACM SIGSOFT international symposium on Foundations of software engineering》 | 2001年
- real-time software;
22.WREN---an environment for component-based development

机译：WREN-基于组件的开发环境
- 作者：Chris Luer;David S. Rosenblum
- 会议名称：《European software engineering conference;ACM SIGSOFT international symposium on Foundations of software engineering》 | 2001年
- software environments;
23.Engineering component-based net-centric systems for embedded applications

机译：用于嵌入式应用的基于工程组件的以网络为中心的系统
- 作者：Jens H. Jahnke
- 会议名称：《European software engineering conference;ACM SIGSOFT international symposium on Foundations of software engineering》 | 2001年
- network-centric computing;
24.Modular verification of collaboration-based software designs

机译：基于协作的软件设计的模块化验证
- 作者：Kathi Fisler;Shriram Krishnamurthi
- 会议名称：《European software engineering conference;ACM SIGSOFT international symposium on Foundations of software engineering》 | 2001年
- software architecture;
25.Coverage criteria for GUI testing

机译：GUI测试的覆盖标准
- 作者：Atif M. Memon;Mary Lou Soffa;Martha E. Pollack
- 会议名称：《European software engineering conference;ACM SIGSOFT international symposium on Foundations of software engineering》 | 2001年
- integration tree;
26.A graph based architectural (Re)configuration language

机译：基于图的架构（重新）配置语言
- 作者：Michel Wermelinger;Antonia Lopes;Jose Luiz Fiadeiro
- 会议名称：《European software engineering conference;ACM SIGSOFT international symposium on Foundations of software engineering》 | 2001年
27.A micromodularity mechanism

机译：微观模块化机制
- 作者：Daniel Jackson;Ilya Shlyakhter;Manu Sridharan
- 会议名称：《European software engineering conference;ACM SIGSOFT international symposium on Foundations of software engineering》 | 2001年
- schema calculus;
28.Interface automata

机译：界面自动机
- 作者：Luca de Alfaro;Thomas A. Henzinger
- 会议名称：《European software engineering conference;ACM SIGSOFT international symposium on Foundations of software engineering》 | 2001年
29.Aspect-oriented programming

机译：面向方面的编程
- 作者：Gregor Kiczales;Erik Hilsdale
- 会议名称：《European software engineering conference;ACM SIGSOFT international symposium on Foundations of software engineering》 | 2001年
- modularity;
30.STG

机译：STG
- 作者：Duncan Clarke;Thierry Jeron;Vlad Rusu;Elena Zinovieva
- 会议名称：《European software engineering conference;ACM SIGSOFT international symposium on Foundations of software engineering》 | 2001年
31.York

机译：约克
- 作者：Vugranam C. Sreedhar
- 会议名称：《European software engineering conference;ACM SIGSOFT international symposium on Foundations of software engineering》 | 2001年
32.Component revision identification based on IDL/ADL component specification

机译：基于IDL / ADL组件规范的组件修订标识
- 作者：Premysl Brada
- 会议名称：《European software engineering conference;ACM SIGSOFT international symposium on Foundations of software engineering》 | 2001年
- software components;
33.Modelling and managing software federations

机译：建模和管理软件联盟
- 作者：J. Estublier;H. Verjus;P. Y. Cunin
- 会议名称：《European software engineering conference;ACM SIGSOFT international symposium on Foundations of software engineering》 | 2001年
- interoperability;
34.A formal data-model of the CORBA security service

机译：CORBA安全服务的正式数据模型
- 作者：David Basin;Frank Rittinger;Luca Vigano
- 会议名称：《European software engineering conference;ACM SIGSOFT international symposium on Foundations of software engineering》 | 2001年
- specification;
35.8th European workshop on software process technology

机译：第八届欧洲软件过程技术研讨会
- 作者：Vincenzo Ambriola;R. Mark Greenwood
- 会议名称：《European software engineering conference;ACM SIGSOFT international symposium on Foundations of software engineering》 | 2001年
36.Software architecture in a changing world

机译：瞬息万变的世界中的软件架构
- 作者：Robert L. Nord;Daniel J. Paulish;Robert W. Schwanke;Dilip Soni
- 会议名称：《European software engineering conference;ACM SIGSOFT international symposium on Foundations of software engineering》 | 2001年
37.Component technologies

机译：组件技术
- 作者：Wolfgang Emmerich;Nima Kaveh
- 会议名称：《European software engineering conference;ACM SIGSOFT international symposium on Foundations of software engineering》 | 2001年
38.Half day tutorial in methods of component-based software engineering essential concepts and classroom experience

机译：基于组件的软件工程基本概念和课堂经验方法的半天教程
- 作者：Kurt Wallnau;Scott Hissam;Robert C. Seacord
- 会议名称：《European software engineering conference;ACM SIGSOFT international symposium on Foundations of software engineering》 | 2001年
- software method;
39.Adapting XP to complex application domains

机译：使XP适应复杂的应用程序域
- 作者：Martin Lippert;Stefan Roock
- 会议名称：《European software engineering conference;ACM SIGSOFT international symposium on Foundations of software engineering》 | 2001年
- planning game;
40.EasyWinWin

机译：易赢
- 作者：Paul Grunbacher;Barry Boehm
- 会议名称：《European software engineering conference;ACM SIGSOFT international symposium on Foundations of software engineering》 | 2001年
- requirements;
41.Engineering of Web services with XML and XSL

机译：使用XML和XSL的Web服务工程
- 作者：Engin Kirda
- 会议名称：《European software engineering conference;ACM SIGSOFT international symposium on Foundations of software engineering》 | 2001年
- XSL;
42.Requirements-based product line engineering

机译：基于需求的产品线工程
- 作者：Mike Mannion;Hermann Kaindl
- 会议名称：《European software engineering conference;ACM SIGSOFT international symposium on Foundations of software engineering》 | 2001年
- variability;
43.From use cases to code---rigorous software development with UML

机译：从用例到代码-使用UML进行严格的软件开发
- 作者：Albert Zundorf
- 会议名称：《European software engineering conference;ACM SIGSOFT international symposium on Foundations of software engineering》 | 2001年
- software development methods;
44.Peer-to-peer information systems

机译：对等信息系统
- 作者：Karl Aberer;Manfred Hauswirth
- 会议名称：《European software engineering conference;ACM SIGSOFT international symposium on Foundations of software engineering》 | 2001年
45.Fundamental concepts for practical software architecture

机译：实用软件架构的基本概念
- 作者：Alexander Ran
- 会议名称：《European software engineering conference;ACM SIGSOFT international symposium on Foundations of software engineering》 | 2001年
46.A formal approach to the assessment and improvement of terminological models used in information systems engineering

机译：评估和改进信息系统工程中使用的术语模型的正式方法
- 作者：Peter Wendorff
- 会议名称：《European software engineering conference;ACM SIGSOFT international symposium on Foundations of software engineering》 | 2001年
- terminology;