掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
Software Engineering
Software Engineering
召开年:
2005
召开地:
Innsbruck(AT);Innsbruck(AT)
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
CONTEXT IN THE DYNAMIC RECONFIGURABLE SYSTEMS
机译:
动态可重构系统中的上下文
作者:
Eugene M. Burmakin
;
Boris A. Krassi
;
Juha O. Tuominen
会议名称:
《Software Engineering》
|
2005年
关键词:
distributed dynamic component-based computing systems;
context;
control;
reconfiguration;
AMPROS;
2.
COMPILING AND VALIDATING OCL CONSTRAINTS IN METAMODELING ENVIRONMENTS AND VISUAL MODEL COMPILERS
机译:
在元建模环境和可视模型编译器中编译和验证OCL约束
作者:
Laszlo Lengyel
;
Tihamer Levendovszky
;
Peter Kozma
;
Hassan Charaf
会议名称:
《》
|
2005年
关键词:
constraint checking;
OCL;
metamodel-based model transformation;
MDA model compiler;
PIM;
PSM;
UML;
3.
DESIGN PATTERN DETECTION FROM JAVA SOFTWARE
机译:
通过JAVA软件检测设计图案
作者:
Tie Feng
;
Wenjin Li
;
Jiachen Zhang
;
Xu Ming
会议名称:
《Software Engineering》
|
2005年
关键词:
design pattern;
reverse engineering and programming understanding;
4.
Incorporating Graph Neurons (GNs) to the Trusted Transient Simple Network (TTSN) Security Control System Architecture
机译:
将图神经元(GN)集成到受信任的瞬态简单网络(TTSN)安全控制系统体系结构
作者:
Benny B. Nasution
;
Asad I. Khan
;
Elizabeth A. Kendall
会议名称:
《Software Engineering》
|
2005年
关键词:
intelligent system data security and distributed computing;
5.
BEHAVIOR ASSEMBLY AND COMPOSITION OF USE CASES - UML 2.0 PERSPECTIVE
机译:
行为组装和使用案例的组成-UML 2.0透视
作者:
Vladimir Mencl
;
Frantisek Plasil
;
Jiri Adamek
会议名称:
《Software Engineering》
|
2005年
关键词:
software methodologies;
UML;
use cases;
formal methods;
6.
DEFINITION AND DETECTION OF SEMANTIC WARNINGS FOR VOICEXML
机译:
VOICEXML的语义警告的定义和检测
作者:
Pattara Leelaprute
;
Tohru Kikuno
;
Masahide Nakamura
;
Ken-ichi Matsumoto
会议名称:
《Software Engineering》
|
2005年
关键词:
voiceXML;
semantic warnings;
detection;
XPath;
XSLT;
7.
FUSING FOLDS AND DATA STRUCTURES INTO ZOETIC DATA
机译:
将折叠和数据结构融合到ZOMETIC数据中
作者:
Paul A. Bailes
;
Colin J. M. Kemp
会议名称:
《Software Engineering》
|
2005年
关键词:
fold;
functional programming;
higher-order functions;
8.
IMPLEMENTING A DOCUMENT-BASED REQUIREMENTS TRACEABILITY: A CASE STUDY
机译:
实现基于文档的需求的可追溯性:一个案例研究
作者:
Suhaimi Ibrahim
;
Norbik Bashah Idris
;
Malcolm Munro
;
Aziz Deraman
会议名称:
《Software Engineering》
|
2005年
关键词:
documentation standards;
requirements traceability;
call graphs;
impact analysis;
9.
SEPARATION OF CONCERNS IN MISSION CRITICAL SOFTWARE SYSTEMS - AN INDUSTRIAL APPLICABLE APPROACH
机译:
关键软件系统中的担忧分离-一种工业适用的方法
作者:
Soren Top
;
Bo Norregaard Jorgensen
;
Hans Jorgen Norgaard
会议名称:
《Software Engineering》
|
2005年
关键词:
separation of concerns;
design patterns;
generative programming;
10.
STAFFING FOR SOFTWARE INSPECTIONS - AN EMPIRICAL STUDY
机译:
进行软件检查的工作-实证研究
作者:
Yuhang Wang
;
Gunther Ruhe
会议名称:
《Software Engineering》
|
2005年
关键词:
software inspections;
requirements documents;
empirical studies;
decision support;
rough set analysis;
11.
A CASE STUDY ON STRUCTURAL CHARACTERISTICS OF OBJECT- ORIENTED DESIGN AND ITS STABILITY
机译:
面向对象设计的结构特征及其稳定性的案例研究
作者:
Mahmoud O. Elish
会议名称:
《Software Engineering》
|
2005年
关键词:
design structural stability;
software evolution;
software metrics;
object-oriented designs;
12.
A FLEXIBLE ATTRIBUTE INSTANTIATION TECHNIQUE FOR VISUAL LANGUAGES
机译:
可视化语言的灵活属性指示技术
作者:
Gergely Mezei
;
Tihamer Levendovszky
;
Laszlo Lengyel
;
Hassan Charaf
会议名称:
《Software Engineering》
|
2005年
关键词:
software modeling tools;
UML;
metamodeling environments;
instantiation;
13.
A FRAMEWORK FOR CONTEXT REASONING SYSTEMS
机译:
上下文推理系统框架
作者:
Michael Przybilski
;
Petteri Nurmi
;
Patrik Floreen
会议名称:
《Software Engineering》
|
2005年
关键词:
context reasoning;
machine learning;
software architecture;
software components;
14.
Building a Multi-level Database for Efficient Information Retrieval: A Framework Definition
机译:
建立用于高效信息检索的多级数据库:框架定义
作者:
Spiridon C. Denaxas
;
Christos Tjortjis
会议名称:
《Software Engineering》
|
2005年
关键词:
information retrieval;
world wide web;
semantic retrieval;
internet;
intranet;
15.
ASPECT-ORIENTED DEPENDENCY INJECTIVE SERVICE GATEWAY FOR WEB SERVICES AGGREGATION
机译:
Web服务聚集的面向方面的依赖性注射服务网关
作者:
Chanwit Kaewkasi
;
Pitchaya Kaewkasi
会议名称:
《Software Engineering》
|
2005年
关键词:
web services aggregation;
loose coupling;
aspect-oriented programming;
dependency injection;
16.
COMMUNICATION PROTOCOL DECOMPOSITION AND COMPONENT- BASED PROTOCOL SUBMODULE
机译:
通信协议分解和基于组件的协议子模块
作者:
Tianzhou Chen
;
Quan Gan
;
Wei Hu
;
Jiangwei Huang
会议名称:
《Software Engineering》
|
2005年
关键词:
component;
communication protocol;
system modelling;
submodule;
17.
The Acceptance of Object-oriented Software Engineering Methods and of the UML in German Enterprises - An Empirical Study
机译:
面向对象软件工程方法和UML在德国企业中的接受程度-实证研究
作者:
Dirk Frosch-Wilke
;
Markus Baumann
会议名称:
《Software Engineering》
|
2005年
关键词:
object-orientation;
software engineering;
unified modelling language;
empirical study;
methodology;
software process model;
18.
A CASE STUDY EVALUATION OF 11 HYPOTHETICAL SOFTWARE SYSTEM EVOLUTION LAWS
机译:
11种假设软件系统演化规律的案例研究评估
作者:
Goeran Calas
;
Stefan Mankefors-Christiernin
;
Andreas Boklund
会议名称:
《Software Engineering》
|
2005年
关键词:
software evolution;
prediction;
design patterns;
architecture;
19.
A CAUSALITY-BASED SEMANTICS FOR UML SEQUENCE DIAGRAMS
机译:
UML序列图的基于因果关系的语义
作者:
O. Tahir
;
C. Sibertin-Blanc
;
J. Cardoso
会议名称:
《Software Engineering》
|
2005年
关键词:
UML sequence diagram;
MSC;
formal semantics;
causal ordering;
20.
A COMPOSITE DESIGN PATTERN FOR STUBLESS WEB SERVICE INVOCATION
机译:
无缝Web服务调用的复合设计模式
作者:
Paul A. Buhler
;
Christopher W. Starr
;
Georg Weichhart
会议名称:
《Software Engineering》
|
2005年
关键词:
software engineering;
design patterns. web service invocation;
service-oriented computing;
21.
A COVERAGE ANALYSIS OF JAVA BENCHMARK SUITES
机译:
Java基准套件的覆盖范围分析
作者:
Stephen Brown
;
Aine Mitchell
;
James F. Power
会议名称:
《Software Engineering》
|
2005年
关键词:
benchmarking;
software testing;
dynamic analysis;
22.
A Declarative Framework to Create Differentiated Service Levels for Component based Middleware
机译:
为基于组件的中间件创建差异化服务级别的声明性框架
作者:
Umesh Bellur
;
Prashant Rajoria
;
Rohit Baswan
会议名称:
《Software Engineering》
|
2005年
关键词:
SLA;
web services;
XML;
23.
A DYNAMIC APPROACH FOR THE IDENTIFICATION OF OBJECT-ORIENTED DESIGN PATTERNS
机译:
面向对象设计模式的动态识别方法
作者:
Doaa M. Shawky
;
Salwa K. Abd-El-Hafiz
;
Abdel-Latif El-Sedeek
会议名称:
《Software Engineering》
|
2005年
关键词:
software maintenance;
object-oriented analysis;
design pattern recovery;
static analysis;
dynamic analysis;
24.
A GENERIC RECONCILIATION SERVICE FOR DIVERGENCE MANAGEMENT IN MOBILE ENVIRONMENTS
机译:
用于移动环境中分散管理的通用对账服务
作者:
L. Chateigner
;
S. Chabridon
;
G. Bernard
会议名称:
《Software Engineering》
|
2005年
关键词:
mobility;
component-based applications;
operation transforms;
reconciliation;
XML;
25.
A GRADUATE'S ROLE IN TECHNOLOGY TRANSFER: FROM REQUIREMENTS TO DESIGN WITH UML
机译:
研究生在技术转移中的作用:从需求到使用UML设计
作者:
Stephen Hallinan
;
J Paul Gibson
会议名称:
《Software Engineering》
|
2005年
关键词:
software design;
education;
technology transfer;
26.
A KNOWLEDGE-BASED FRAMEWORK FOR SOFTWARE DEVELOPMENT OUTSOURCING DECISION
机译:
用于软件开发外包决策的基于知识的框架
作者:
Minghui Wu
;
Hareton Leung
会议名称:
《Software Engineering》
|
2005年
关键词:
software development outsourcing;
decision support system;
FAHP;
system dynamics modeling;
27.
A LEARNING MODEL FOR SOFTWARE DEVELOPMENT PROCESSES
机译:
软件开发过程的学习模型
作者:
Ghaffari Abu
;
Joao W. Cangussu
会议名称:
《Software Engineering》
|
2005年
关键词:
learning model;
software development process;
s-curve model;
28.
A LOGICAL APPROACH FOR TESTING REQUIREMENTS
机译:
需求测试的逻辑方法
作者:
Kedian Mu
;
Zhi Jin
;
Ruqian Lu
会议名称:
《Software Engineering》
|
2005年
关键词:
software requirements;
verification and validation;
requirements testing;
annotated predicate calculus;
29.
A METHOD FOR BUILDING DOMAIN REQUIREMENT MODELS
机译:
建立域需求模型的方法
作者:
Zhiyi Ma
;
Hongjie Chen
会议名称:
《Software Engineering》
|
2005年
关键词:
modeling methods;
domain requirement models;
feature models;
use case models;
30.
BENEFITS OF MULTI-LAYER DESIGN IN SOFTWARE WITH MULTI-USER INTERFACES - A THREE STEP CASE STUDY
机译:
具有多用户界面的软件中多层设计的好处-三步案例研究
作者:
Linn Gustavsson Christiernin
;
Olof Torgersson
会议名称:
《Software Engineering》
|
2005年
关键词:
multi-layer design;
adaptation;
groupware;
interface functionality;
usability;
31.
DEPLOYMENT OF COMPONENT-BASED APPLICATIONS ON TOP OF A CONTEXT-AWARE MIDDLEWARE
机译:
在上下文感知中间件的顶部部署基于组件的应用程序
作者:
Dhouha Ayed
;
Nabiha Belhanafi
;
Chantal Taconet
;
Guy Bernard
会议名称:
《Software Engineering》
|
2005年
关键词:
middleware;
context-awareness;
dynamic deployment;
component-based applications;
adaptation;
meta-modelisation;
32.
DESIGN AND IMPLEMENTATION OF A PERFORMANCE PLUG-IN FOR THE ARGOUML TOOL
机译:
组装工具性能插件的设计与实现
作者:
S. Distefano
;
D. Paci
;
A. Puliafito
;
M. Scarpa
会议名称:
《Software Engineering》
|
2005年
关键词:
software engineering;
software evaluation;
programming tools and languages;
petri nets;
UML;
33.
FACT: A TOOL FOR CODE GENERATION FROM COMMUNICATING AUTOMATA
机译:
事实:用于通过自动通信生成代码的工具
作者:
Cinzia Bernardeschi
;
Gianluca Dini
;
Andrea Domenici
会议名称:
《Software Engineering》
|
2005年
关键词:
software tools;
formal specification;
automated code generation;
34.
FIPARSE - A GENERIC PARSER FOR FIPA-COMPLIANT AGENT COMMUNICATION
机译:
FIPARSE-FIPA兼容代理通信的通用解析器
作者:
Markus B. Soellner
;
Sven Kaffille
;
Guido Wirtz
会议名称:
《Software Engineering》
|
2005年
关键词:
software agents;
agent communication;
ontology;
FIPA content languages;
parser;
35.
MAKING PATTERNS BETTER DESIGN TOOLS: REQUIREMENTS ANALYSIS FOR A FAMILY OF NAVIGATORS FOR DESIGN PATTERN CATALOGS
机译:
使图案成为更好的设计工具:对设计图案目录导航员家族的需求分析
作者:
Vojislav D. Radonjic
;
Jean-Pierre Corriveau
会议名称:
《Software Engineering》
|
2005年
关键词:
design pattern catalogs;
modeling navigation;
selection;
36.
MODEL CHECKING TIME PETRI NETS: A TRANSLATION APPROACH BASED ON UPPAAL AND A CASE STUDY
机译:
模型检查时间Petri网:基于Uppaal的翻译方法和案例研究
作者:
Angelo Furfaro
;
Libero Nigro
会议名称:
《Software Engineering》
|
2005年
关键词:
time petri nets;
model checking;
translation approach;
timed automata;
uppaal;
37.
PORTHOLE: A SPATIAL INTERFACE TO PROVIDE SCROLLING, ZOOMING-IN, AND ZOOMING-OUT
机译:
PORTHOLE:提供接口的空间界面,可进行滚动,放大和缩小
作者:
Makio Ishihara
;
Yukio Ishihara
会议名称:
《Software Engineering》
|
2005年
关键词:
porthole;
spatial interface;
human computer interaction;
38.
TESTING THE CARE PROPERTIES OF MULTIMODAL APPLICATIONS BY MEANS OF A SYNCHRONOUS APPROACH
机译:
通过同步方法测试多模态应用程序的护理性能
作者:
Laya Madani
;
Laurence Nigay
;
Ioannis Parissis
会议名称:
《Software Engineering》
|
2005年
关键词:
multimodal applications;
automated testing;
CARE;
synchronous software;
39.
THE QUALITY MATRIX: A MANAGEMENT TOOL FOR SOFTWARE QUALITY EVALUATION
机译:
质量矩阵:软件质量评估的管理工具
作者:
Paolo Salvaneschi
会议名称:
《Software Engineering》
|
2005年
关键词:
software evaluation;
quality models;
software metrics;
40.
YOU CAN'T KEEP A CAKE AND EAT IT! DICHOTOMIES IN SYSTEMS ENGINEERING
机译:
你不能保留蛋糕并吃掉它!系统工程中的二分法
作者:
Gerhard Chroust
会议名称:
《Software Engineering》
|
2005年
关键词:
system design;
software design;
education;
trade-off;
dichotomy;
design decisions;
41.
AMPROS: Distributed Reconfiguration Algorithm
机译:
AMPROS:分布式重新配置算法
作者:
Eugene M. Burmakin
;
Boris A. Krassi
;
Juha O. Tuominen
会议名称:
《Software Engineering》
|
2005年
关键词:
adaptive middleware;
distributed systems;
reconfiguration algorithm;
the AMPROS platform;
42.
ADVANCED MOBILE STREAMING: MULTIMEDIA STREAMING OF INTERACTIVE CONTENT ACROSS MOBILE NETWORKS
机译:
先进的移动流:跨移动网络的交互式内容的多媒体流
作者:
C. Desiniotis
;
K. Lambropoulou
;
I. Talvitie
;
Ch. Vassiliou
;
P. Vlachos
;
A. Vrechopoulos
会议名称:
《Software Engineering》
|
2005年
关键词:
music;
GPRS;
UMTS;
streaming;
trials;
evaluation;
end users;
questionnaires;
performance;
refinements;
43.
Checking for Consistency between Different UML Models
机译:
检查不同的UML模型之间的一致性
作者:
Peter Green
;
Kinika Tasie-Amadi
会议名称:
《Software Engineering》
|
2005年
关键词:
UML;
model-checking;
44.
SUPPORTING IMPACT ANALYSIS IN HYPERSOFT AND OTHER MAINTENANCE TOOLS
机译:
支持Hypersoft和其他维护工具中的影响分析
作者:
Jussi Koskinen
;
Airi Salminen
会议名称:
《Software Engineering》
|
2005年
关键词:
impact analysis;
program dependencies;
transient hypertext;
program slicing;
information access;
45.
THREE METHODS SHOWING THE SIMILARITY BETWEEN ISO 9001 AND CMMI
机译:
三种显示ISO 9001和CMMI之间相似性的方法
作者:
Yu-Ling Won
;
Hai-An Ku
;
Dwen-Ren Tsai
;
Pi-Ju Tsai
会议名称:
《Software Engineering》
|
2005年
关键词:
capability maturity model (CMM);
process;
capability maturity model integration (CMMI);
ISO 9001;
46.
DEVELOPING USABLE GUI APPLICATIONS WITH EARLY USABILITY EVALUATION
机译:
通过早期可用性评估开发可用的GUI应用程序
作者:
Yonglei Tao
会议名称:
《Software Engineering》
|
2005年
关键词:
user interface design;
behavioral modeling;
usability evaluation;
47.
GRAPH THEORETIC MODEL FOR CONCURRENT OBJECTS
机译:
并发对象的图形理论模型
作者:
Sudharsan R. Iyengar
会议名称:
《Software Engineering》
|
2005年
关键词:
concurrent objects;
graph model;
synchronization;
software engineering;
48.
AN ASPECT-ORIENTED APPROACH TO MODULAR BEHAVIORAL SPECIFICATION OF JAVA COMPONENTS
机译:
JAVA组件的模块化行为规范的面向方面的方法
作者:
Kiyoshi Yamada
;
Takuo Watanabe
会议名称:
《Software Engineering》
|
2005年
关键词:
programming tools and languages;
design by contract;
assertion;
java modeling language;
aspect oriented programming;
AspectJ;
49.
CONSTRAINTS IN C# USING THE OCL 2.0
机译:
使用OCL 2.0约束C#
作者:
Dave Arnold
;
Toby McClean
;
Jean-Pierre Corriveau
;
Vojislav Radonjic
会议名称:
《Software Engineering》
|
2005年
关键词:
assertions;
C#;
compiler;
contracts;
OCL;
50.
FRAMEWORK-BASED IT SERVICE ENGINEERING
机译:
基于框架的IT服务工程
作者:
Thomas Specht
;
Dieter Spath
;
Anette Weisbecker
会议名称:
《Software Engineering》
|
2005年
关键词:
software engineering;
service engineering;
requirements modelling;
IT-services;
51.
GAP ANALYSES BETWEEN CERTIFIED SME'S PROCESS AND AN AGILE APPROACH
机译:
认证的SMES过程与敏捷方法之间的差距分析
作者:
Penko Ivanov
;
Sylvia Ilieva
会议名称:
《Software Engineering》
|
2005年
关键词:
software engineering;
software methodologies;
agile methodologies;
extreme programming;
personal software process;
52.
INTEGRATION OF SECURITY GUIDELINES AND ASSESSMENTS INTO OUTSOURCED SOFTWARE DEVELOPMENT
机译:
将安全准则和评估整合到外包软件开发中
作者:
Yauheni Veryha
会议名称:
《Software Engineering》
|
2005年
关键词:
software security;
software assessment;
outsourcing;
project execution and software process;
53.
MEASURING COHESION IN ASPECT-ORIENTED SYSTEMS
机译:
在面向方面的系统中测量凝聚力
作者:
Jean-Francois Gelinas
;
Linda Badri
;
Mourad Badri
会议名称:
《Software Engineering》
|
2005年
关键词:
aspect paradigm;
quality attributes;
cohesion;
dependence;
criterion and metric;
54.
MEASURING SOFTWARE PROCESSES PERFORMANCE BASED ON THE FUZZY MULTI-AGENT MEASUREMENTS
机译:
基于模糊多代理测量的软件过程性能评估
作者:
Mir Ali Seyyedi
;
Mohammad Teshnehlab
;
Fereidoon Shams
会议名称:
《Software Engineering》
|
2005年
关键词:
software capability maturity model;
goal / question / metric method;
key process areas;
fuzzy system;
multi level fuzzy inference model;
55.
ON FACILITATING THE REUSE OF C++ GRAPH LIBRARIES
机译:
关于促进C ++图形库的重用
作者:
Jean-Pierre Corriveau
;
Bo Tian
;
Vqjislav Radonjic
会议名称:
《Software Engineering》
|
2005年
关键词:
system family engineering;
feature models;
libraries;
56.
SOFTWARE ENGINEERING ONTOLOGIES AND THEIR IMPLEMENTATION
机译:
软件工程本体及其实现
作者:
Wongthongtham
;
P.
;
Chang
;
E.
;
Dillon
;
T.S.
;
Sommerville
;
I.
会议名称:
《Software Engineering》
|
2005年
关键词:
software engineering;
ontology;
ontology development;
57.
SYNTHESIS SYSTEM FOR MULTIPLE LANGUAGES WEB SITE BY XML
机译:
XML的多语言网站综合系统
作者:
Masahiro Yamamoto
会议名称:
《Software Engineering》
|
2005年
关键词:
synthesis system;
web-based applications;
multiple languages web sites;
XML;
XSLT;
DOM;
58.
TECHNICAL CHALLENGES IN MOBILE REAL-TIME 3D CITY MAPS WTH DYNAMIC CONTENT
机译:
具有动态内容的移动实时3D城市地图中的技术挑战
作者:
Antti Nurminen
;
Ville Helin
会议名称:
《Software Engineering》
|
2005年
关键词:
3D graphics;
virtual environments;
mobile 3D city maps;
location based services;
dynamic content;
GIS;
59.
USING ABSTRACT STATE MACHINES TO SUPPORT UML MODEL INSTANTIATION CHECKING
机译:
使用抽象状态机来支持UML模型实例化检查
作者:
Wuwei Shen
;
Weng Liong Low
会议名称:
《Software Engineering》
|
2005年
关键词:
abstract state machines;
model checking;
60.
USING USE CASE MODELS TO GENERATE OBJECT POINTS
机译:
使用用例模型生成对象点
作者:
Ayman Issa
;
Mohammed Odeh
;
David Coward
会议名称:
《Software Engineering》
|
2005年
关键词:
software metrics;
software cost estimation;
object points;
use case model;
61.
AMPROS SCENARIO: CRISIS MANAGEMENT IN MOBILE ENVIRONMENTS
机译:
AMPROS场景:移动环境中的危机管理
作者:
S. Ben Atallah
;
G. Bernard
会议名称:
《Software Engineering》
|
2005年
关键词:
mobile computing;
adaptation;
crisis management scenario;
proactive middleware;
62.
AN ARCHITECTURE-BASED SOFTWARE RELIABILITY MODEL WITH FINITE NUMBER OF FAULTS
机译:
故障数量有限的基于架构的软件可靠性模型
作者:
Hiroyuki Okamura
;
Kei Tsuruta
;
Tadashi Dohi
会议名称:
《Software Engineering》
|
2005年
关键词:
software reliability;
architecture-based software reliability model;
jelinski and moranda model;
littlewood model;
continuous-time markov chain;
63.
ASSESSING OBJECT-ORIENTED SOFTWARE CHANGEABILITY WITH DESIGN METRICS
机译:
使用设计指标评估面向对象的软件可更改性
作者:
Hind Kabaili
;
Rudolf K. Keller
;
Francois Lustman
会议名称:
《Software Engineering》
|
2005年
关键词:
object-oriented;
changeability;
impact analysis;
metric;
64.
Compile-Time Energy Reduction Techniques based on Voltage Scaling Characteristic
机译:
基于电压缩放特性的编译时节能技术
作者:
Ting Lei
;
Xi Li
;
Xiao Hu
;
Xue-hai Zhou
会议名称:
《Software Engineering》
|
2005年
关键词:
low-energy software;
compiler optimizatioa and voltage scaling characteristic;
65.
DESIGN OF XMI-BASED TOOLS FOR BUILDING EQN MODELS OF SOFTWARE SYSTEMS
机译:
基于XMI的软件系统EQN模型的工具设计。
作者:
Andrea DAmbrogio
;
Giuseppe Iazeolla
会议名称:
《Software Engineering》
|
2005年
关键词:
software performance;
model building;
queueing network;
UML;
XMI;
MOf;
66.
ECLECTIC SOFTWARE DEVELOPMENT METHODOLOGY AND SUCCESSFUL SOFTWARE DEVELOPMENT
机译:
实用的软件开发方法和成功的软件开发
作者:
Min-Gu Lee
;
Paul Yu
;
Theresa L. Jefferson
会议名称:
《Software Engineering》
|
2005年
关键词:
software methodologies;
software engineering;
web-based software engineering;
process improvement;
e-government;
project management;
67.
EFFECTIVENESS OF GENETIC ALGORITHMS FOR POTENTIAL ERROR DETECTION IN SOFTWARE USING RANDOM ERROR SEEDING
机译:
遗传算法在使用随机错误检测的软件中潜在错误检测中的作用
作者:
James R. Birt
;
Renate Sitte
会议名称:
《Software Engineering》
|
2005年
关键词:
software testing;
software reliability;
genetic algorithms;
testing efficiency;
68.
EFFICIENCY INCREASE IN RANDOM TESTING USING MPI-BASED PARALLELIZATION
机译:
使用基于MPI的并行化提高随机测试的效率
作者:
Stefan Mankefors-Christiernin
;
Andreas Boklund
会议名称:
《Software Engineering》
|
2005年
关键词:
random testing;
parallelization;
MPI;
efficiency increase;
scalability;
69.
EFOX - FILESHARING WITH WEB SERVICES
机译:
EFOX-与Web服务共享文件
作者:
Jens Bruhn
;
Stefan Luckner
;
Markus Mueller
;
Dominik Raeder
;
Christof Squarr
;
Marc Wewers
;
Guido Wirtz
会议名称:
《Software Engineering》
|
2005年
关键词:
internet computing;
applications;
peer-to-peer;
web services;
filesharing;
70.
FAULT TOLERANCE IN ADAPTIVE MIDDLEWARE PLATFORM FOR PROACTIVE RECONFIGURABLE SYSTEMS
机译:
主动可重构系统的自适应中间件平台的容错能力
作者:
Henry L. E. Pohan
;
Boris A. Krassi
;
Eugene M. Burmakin
;
Juha O. Tuominen
会议名称:
《Software Engineering》
|
2005年
关键词:
fault tolerance;
dynamic distributed systems;
proactive;
middleware;
reconfiguration analysis;
control;
71.
FROM SPECIFICATIONS TO CODE COMPLIANCE CHECKERS
机译:
从规范到代码合规检查员
作者:
Y Prasanth
;
Sanjeev K Aggarwal
会议名称:
《Software Engineering》
|
2005年
关键词:
code compliance;
speci cations;
software testing;
software quality;
72.
ICMM - INSPECTION CAPABILITY MATURITY MODEL
机译:
ICMM-检查能力成熟度模型
作者:
Sami Kollanus
会议名称:
《Software Engineering》
|
2005年
关键词:
verification and validation;
inspection;
maturity model;
software process improvement;
73.
INCREASING CLASS-COMPONENT TESTABILITY
机译:
增强类兼容性
作者:
Supaporn Kansomkeat
;
Jeff Offutt
;
Wanchai Rivepiboon
会议名称:
《Software Engineering》
|
2005年
关键词:
software testing;
software testability;
component software;
74.
MEASURING RIPPLE EFFECT FOR THE OBJECT ORIENTED PARADIGM
机译:
测量对象定向参数的涟漪效应
作者:
Peter Rosner
;
Sue Black
会议名称:
《Software Engineering》
|
2005年
关键词:
software measurement;
ripple effect;
object oriented;
C++;
75.
MOBILE AGENT SYSTEM SPECIFICATION USING THE TEMPORAL LOGIC OF ACTIONS
机译:
使用动作的时间逻辑来指定移动代理系统
作者:
Tatjana Kapus
会议名称:
《Software Engineering》
|
2005年
关键词:
software agents;
formal methods;
temporal logic of actions;
dynamic input/output automata;
76.
Model-Driven Development Approach to Web Applications
机译:
Web应用程序的模型驱动开发方法
作者:
Takahide Matsutsuka
会议名称:
《Software Engineering》
|
2005年
关键词:
software engineering;
web application;
model-driven development;
UML;
77.
MODELING COLLABORATION PROCESSES
机译:
建模协作过程
作者:
Giorgio Bruno
会议名称:
《Software Engineering》
|
2005年
关键词:
web-based software engineering;
internet computing;
business process;
collaboration;
choreography;
78.
PROTOTYPE OF AN AUTOMATIC VISUALIZATION TOOL FOR JAVA TO EDUCATE NOVICE PROGRAMMERS
机译:
Java可视化自动编程器的可视化工具原型
作者:
Yoshihiro Kita
;
Takanori Kawasoe
;
Tetsuro Katayama
会议名称:
《Software Engineering》
|
2005年
关键词:
visualization tool;
education;
programming;
software testing;
java;
JavaCC;
79.
RANDOM TESTING AUTOMATIZATION - EFFICIENCY OPTIMIZATION USING THE INTEGRAL FORMULATION
机译:
随机测试自动化-使用积分公式进行效率优化
作者:
S. Mankefors-Christiernin
;
A. Boklund
会议名称:
《Software Engineering》
|
2005年
关键词:
software testing;
testing efficiency;
random testing;
operational profiles;
parallelization;
integral formulation;
80.
SOAP COMMUNICATION WITH TINY SENSORS AND CONTROLLERS
机译:
带有微型传感器和控制器的SOAP通信
作者:
Jan Janecek
会议名称:
《Software Engineering》
|
2005年
关键词:
embedded SOAP service;
XML grammar;
middleware effectiveness;
81.
SUPPORTING THE COMPREHENSION OF OBJECT-ORIENTED SOFTWARE SYSTEMS BY EXTENDED M-M GRAPH
机译:
通过扩展的M-M图形来支持面向对象的软件系统的理解
作者:
Mario Luca Bernard
;
Giuseppe Antonio Di Lucca
会议名称:
《Software Engineering》
|
2005年
关键词:
software engineering;
software comprehension;
reverse engineering;
source code analysis;
UML;
82.
SYSTEMS FAILURES - ANALYSING STAKEHOLDER INFLUENCE THROUGH CASE HISTORIES
机译:
系统故障-通过案例历史分析利益相关者影响
作者:
John Donaldson
会议名称:
《Software Engineering》
|
2005年
关键词:
project management;
software engineering;
stakeholder;
decision making;
83.
TOWARDS AUTOMATIC GENERATION OF Q ADAPTORS
机译:
实现Q适配器的自动生成
作者:
Mikhail V. Naganov
会议名称:
《Software Engineering》
|
2005年
关键词:
automatic generation;
Q adaptor;
CORBA;
model translation;
84.
USING DISTANCE MEASUREMENT FOR SOFTWARE FUNCTIONAL COHESION
机译:
将距离测量用于软件功能结合
作者:
Jehad Al Dallal
会议名称:
《Software Engineering》
|
2005年
关键词:
functional cohesion;
distance measurement;
program static slicing;
data slicing;
意见反馈
回到顶部
回到首页