掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献代查
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
Software Engineering Conference, 2004. Proceedings. 2004 Australian
Software Engineering Conference, 2004. Proceedings. 2004 Australian
召开年:
2004
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
An experiment in the design of distributed programs
机译:
分布式程序设计的实验
作者:
Goldson D.
会议名称:
《Software Engineering Conference, 2004. Proceedings. 2004 Australian》
|
2004年
关键词:
distributed programming;
message passing;
program verification;
distributed program design;
Owicki theory;
Gries theory;
message passing;
2.
Putting the 'engineering' into 'software engineering'
机译:
将“工程”纳入“软件工程”
作者:
Kruchten P.
会议名称:
《Software Engineering Conference, 2004. Proceedings. 2004 Australian》
|
2004年
关键词:
software engineering;
software engineering;
software development;
iterative development;
model-driven design;
function-behaviour-structure framework;
3.
A formal object-oriented approach to defining consistency constraints for UML models
机译:
正式的面向对象方法,用于为UML模型定义一致性约束
作者:
Kim S.-K.
;
Carrington D.
会议名称:
《Software Engineering Conference, 2004. Proceedings. 2004 Australian》
|
2004年
关键词:
specification languages;
formal specification;
object-oriented programming;
data integrity;
formal object-oriented metamodeling approach;
integrity consistency constraint;
UML model;
Object-Z;
4.
A risk management framework for software engineering practice
机译:
软件工程实践的风险管理框架
作者:
Roy G.G.
会议名称:
《Software Engineering Conference, 2004. Proceedings. 2004 Australian》
|
2004年
关键词:
software development management;
project management;
risk management;
formal specification;
risk management;
software engineering;
formal risk analysis;
software development project management;
ProRisk management framework;
5.
Agent-oriented software analysis
机译:
面向代理的软件分析
作者:
Chan K.
;
Sterling L.
;
Karunasekera S.
会议名称:
《Software Engineering Conference, 2004. Proceedings. 2004 Australian》
|
2004年
关键词:
software engineering;
object-oriented languages;
object-oriented programming;
software agents;
data flow analysis;
agent-oriented software analysis;
agent-oriented software engineering;
agent-based language;
object-oriented design;
software analysis component;
6.
Teaching the process of code review
机译:
讲授代码审查过程
作者:
Stalhane T.
;
Kutay C.
;
Al-Kilidar H.
;
Jeffery R.
会议名称:
《Software Engineering Conference, 2004. Proceedings. 2004 Australian》
|
2004年
关键词:
formal verification;
training;
teaching;
educational courses;
educational institutions;
behavioural theory;
software development;
technical reviews;
University training;
authentic problem;
document review;
teaching;
defect detection analysis;
code review;
7.
The challenge of introducing a new software cost estimation technology into a small software organisation
机译:
将新的软件成本估算技术引入小型软件组织的挑战
作者:
Keung J.
;
Jeffery R.
;
Kitchenham B.
会议名称:
《Software Engineering Conference, 2004. Proceedings. 2004 Australian》
|
2004年
关键词:
software cost estimation;
technology transfer;
small-to-medium enterprises;
Web design;
software cost estimation;
software organisation;
IT business;
technology transfer;
software estimation technique;
Web-CoBRA technology;
software engineering;
Web development;
8.
The process workshop: a tool to define electronic process guides in small software companies
机译:
流程研讨会:在小型软件公司中定义电子流程指南的工具
作者:
Dingsoyr T.
;
Moe N.B.
会议名称:
《Software Engineering Conference, 2004. Proceedings. 2004 Australian》
|
2004年
关键词:
software development management;
software process improvement;
project management;
process workshop;
electronic process guide;
software companies;
software engineering project;
management literature;
process description;
workshop-oriented method;
9.
An environment for automated performance evaluation of J2EE and ASP.NET thin-client architectures
机译:
一个自动评估J2EE和ASP.NET瘦客户端体系结构的环境
作者:
Grundy J.
;
Wei Z.
;
Nicolescu R.
;
Cai Y.
会议名称:
《Software Engineering Conference, 2004. Proceedings. 2004 Australian》
|
2004年
关键词:
client-server systems;
Java;
network operating systems;
software architecture;
software tools;
software performance evaluation;
automated performance evaluation;
J2EE;
ASP.NET;
thin-client architecture;
SoftArch;
thin-client test-bed generator;
server code;
software architecture;
third-party tool;
10.
Building extensible and high performance distributed transaction service
机译:
建立可扩展的高性能分布式交易服务
作者:
Xin Zhang
;
Chang Xu
;
Beihong Jin
会议名称:
《Software Engineering Conference, 2004. Proceedings. 2004 Australian》
|
2004年
关键词:
transaction processing;
distributed processing;
software engineering;
formal specification;
Java;
distributed transaction service design;
J2EE application server;
transaction integrity;
J2EE specification;
software engineering;
Java;
11.
Combining agent-oriented conceptual modelling with formal methods
机译:
将面向代理的概念模型与形式方法相结合
作者:
Vilkomir S.A.
;
Ghose A.K.
;
Krishna A.
会议名称:
《Software Engineering Conference, 2004. Proceedings. 2004 Australian》
|
2004年
关键词:
formal specification;
software agents;
agent-oriented conceptual model;
requirement engineering;
intentional property;
formal specification;
Z notation;
formal methods;
12.
Generating Web applications from use case scenarios
机译:
从用例场景生成Web应用程序
作者:
Loh A.
;
Robey M.
会议名称:
《Software Engineering Conference, 2004. Proceedings. 2004 Australian》
|
2004年
关键词:
Web design;
formal specification;
user interfaces;
Web application;
use case scenario;
user requirement;
use case modelling;
software requirement;
requirement driven approach;
Web site navigability;
user interaction;
event tree sequence;
WEBGen;
request event;
response event;
online practical registration system;
13.
Reciprocity: an integrated, continuous approach to software training authoring, delivery and monitoring
机译:
互惠:软件培训创作,交付和监控的集成,连续方法
作者:
Nixon A.
;
Grundy J.
会议名称:
《Software Engineering Conference, 2004. Proceedings. 2004 Australian》
|
2004年
关键词:
computer based training;
authoring systems;
computer science education;
software tools;
formal specification;
on-line training;
software tool;
domain-specific health data mapping specification tool;
software training authoring;
software delivery;
Reciprocity;
software monitoring;
computer-assisted instruction;
14.
Snapshot query-based debugging
机译:
基于快照查询的调试
作者:
Potanin A.
;
Noble J.
;
Biddle R.
会议名称:
《Software Engineering Conference, 2004. Proceedings. 2004 Australian》
|
2004年
关键词:
query languages;
program debugging;
object-oriented programming;
object-oriented program;
object graph topology;
snapshot query-based debugging;
query language;
15.
The long-term effects of an EPG/ER in a small software organisation
机译:
EPG / ER在小型软件组织中的长期影响
作者:
Kurniawati F.
;
Jeffery R.
会议名称:
《Software Engineering Conference, 2004. Proceedings. 2004 Australian》
|
2004年
关键词:
software process improvement;
software development management;
software reusability;
software tools;
small-to-medium enterprises;
electronic process guide;
experience repository tool;
software development company;
software process improvement;
software organisation;
16.
Tool support for verification-based software inspection
机译:
支持基于验证的软件检查的工具
作者:
Powell D.
会议名称:
《Software Engineering Conference, 2004. Proceedings. 2004 Australian》
|
2004年
关键词:
formal specification;
object-oriented programming;
formal verification;
software reusability;
software tools;
inspection;
software component reusability;
semiformal verification;
tool support;
MINDER;
formal specification;
theorem proving;
human reasoning;
verification-based software inspection;
17.
Towards platform-independent real-time systems
机译:
迈向与平台无关的实时系统
作者:
Hayes I.J.
会议名称:
《Software Engineering Conference, 2004. Proceedings. 2004 Australian》
|
2004年
关键词:
real-time systems;
safety-critical software;
formal specification;
formal verification;
real-time system;
software development;
programming languages;
platform-independent phase;
critical system;
system verification;
18.
A formal semantics of UML sequence diagram
机译:
UML序列图的形式语义
作者:
Xiaoshan Li
;
Zhiming Liu
;
Jifeng H.
会议名称:
《Software Engineering Conference, 2004. Proceedings. 2004 Australian》
|
2004年
关键词:
specification languages;
computer aided software engineering;
tree data structures;
formal specification;
software tools;
formal verification;
programming language semantics;
message sequence diagram;
hierarchical structure tree;
state transition;
model consistent checking function;
UML CASE tools;
formal specification;
formal semantics;
class diagram;
state diagram;
19.
A framework for classifying and comparing software architecture evaluation methods
机译:
用于对软件体系结构评估方法进行分类和比较的框架
作者:
Babar M.A.
;
Zhu L.
;
Jeffery R.
会议名称:
《Software Engineering Conference, 2004. Proceedings. 2004 Australian》
|
2004年
关键词:
software architecture;
software quality;
software maintenance;
software reliability;
software architecture evaluation;
quality attribute;
system maintainability;
system reliability;
20.
A preliminary survey on software testing practices in Australia
机译:
对澳大利亚软件测试实践的初步调查
作者:
Ng S.P.
;
Murnane T.
;
Reed K.
;
Grant D.
;
Chen T.Y.
会议名称:
《Software Engineering Conference, 2004. Proceedings. 2004 Australian》
|
2004年
关键词:
program testing;
software metrics;
software standards;
software testing practice;
Australian ICT industry;
software engineering;
software testing metrics;
automated testing tool;
testing standard;
software testing education;
21.
A process framework for characterising security properties of component-based software systems
机译:
一种用于表征基于组件的软件系统的安全属性的过程框架
作者:
Khan K.M.
;
Han J.
会议名称:
《Software Engineering Conference, 2004. Proceedings. 2004 Australian》
|
2004年
关键词:
object-oriented programming;
security of data;
software process improvement;
component-based software system;
security characterisation process framework;
trust related property;
publishable security property;
atomic component;
compositional security contract;
system-level security;
22.
An exploratory study of code and document interactions during task-directed program comprehension
机译:
任务导向程序理解过程中的代码和文档交互的探索性研究
作者:
Parkin P.
会议名称:
《Software Engineering Conference, 2004. Proceedings. 2004 Australian》
|
2004年
关键词:
formal verification;
reverse engineering;
system documentation;
software maintenance;
C language;
task directed program comprehension;
program documentation;
task documentation;
C program;
program code verification;
23.
Analysis of requirements volatility during software development life cycle
机译:
分析软件开发生命周期中的需求波动
作者:
Nurmuliani N.
;
Zowghi D.
;
Powell S.
会议名称:
《Software Engineering Conference, 2004. Proceedings. 2004 Australian》
|
2004年
关键词:
formal specification;
software development management;
software maintenance;
project management;
requirements volatility analysis;
software development life cycle;
requirements change management;
requirements specification;
causal analysis;
24.
Architectural design in object-Z
机译:
Z型建筑设计
作者:
McComb T.
;
Smith G.
会议名称:
《Software Engineering Conference, 2004. Proceedings. 2004 Australian》
|
2004年
关键词:
object-oriented programming;
specification languages;
formal specification;
software architecture;
object-Z design;
object-oriented architecture;
functional specification;
refactoring rule;
software design pattern;
user-interface design;
model-view-controller paradigm;
25.
ASPIRE: automated systematic protocol implementation robustness evaluation
机译:
ASPIRE:自动化的系统协议实现的鲁棒性评估
作者:
Arunchandar Vasan
;
Memon A.M.
会议名称:
《Software Engineering Conference, 2004. Proceedings. 2004 Australian》
|
2004年
关键词:
transport protocols;
formal specification;
fault tolerant computing;
Internet;
automated testing;
robustness testing;
faulty PDU;
protocol data unit;
stateless protocols;
stateful protocols;
network protocol;
ASPIRE;
algorithm;
automated systematic protocol;
implementation robustness evaluation;
HTTP;
SMTP protocol;
protocol specification;
26.
Developing a requirements management toolset: lessons learned
机译:
开发需求管理工具集:经验教训
作者:
Babara M.A.
;
Zowghi D.
会议名称:
《Software Engineering Conference, 2004. Proceedings. 2004 Australian》
|
2004年
关键词:
software architecture;
formal specification;
natural languages;
software tools;
requirements management toolset development;
requirements engineering;
parsed natural language input processor;
27.
Enforcing system-wide properties
机译:
加强系统范围的属性
作者:
Eichberg M.
;
Meizini M.
;
Schafer T.
;
Beringer C.
;
Hamel K.M.
会议名称:
《Software Engineering Conference, 2004. Proceedings. 2004 Australian》
|
2004年
关键词:
Java;
formal verification;
object-oriented programming;
policy enforcement;
Implementation Restriction Checker;
aspect-oriented programming;
Java byte-code instruction;
language specification;
system-wide property enforcement;
28.
Experiences with software engineering of mobile agent applications
机译:
具有移动代理应用程序的软件工程经验
作者:
Sutandiyo W.
;
Chhetri M.B.
;
Krishnaswamy S.
;
Loke S.W.
会议名称:
《Software Engineering Conference, 2004. Proceedings. 2004 Australian》
|
2004年
关键词:
software engineering;
mobile agents;
software engineering;
mobile agent application;
distributed application;
conceptual modelling technique;
mGaia;
Gaia agent oriented software engineering;
29.
Knowledge management in software engineering - describing the process
机译:
软件工程中的知识管理-描述过程
作者:
Ward J.
;
Aurum A.
会议名称:
《Software Engineering Conference, 2004. Proceedings. 2004 Australian》
|
2004年
关键词:
knowledge management;
software process improvement;
software quality;
software development management;
knowledge management;
software development;
software process improvement;
software engineering;
fourth generation programming language;
object-oriented technology;
IT organisation;
process model;
30.
Linking UML models of design and requirement
机译:
链接设计和需求的UML模型
作者:
Jing Liu
;
Zhiming Liu
;
Jifeng He
;
Xiaoshan Li
会议名称:
《Software Engineering Conference, 2004. Proceedings. 2004 Australian》
|
2004年
关键词:
specification languages;
formal specification;
programming language semantics;
formal verification;
object-oriented languages;
UML requirement model;
UML design model;
class diagram;
sequence diagram;
interaction diagram;
inconsistency removal;
model refinement;
31.
Low-rigour, rapid software process assessments for small software development firms
机译:
小型软件开发公司的低严格,快速的软件过程评估
作者:
Cater-Steel A.P.
会议名称:
《Software Engineering Conference, 2004. Proceedings. 2004 Australian》
|
2004年
关键词:
software process improvement;
DP industry;
software development management;
software process improvement assessment;
small software development firm;
capability level;
staff experience;
education level;
32.
Obstacles to a totally functional programming style
机译:
完全功能性编程风格的障碍
作者:
Bailes P.
;
Kemp C.
会议名称:
《Software Engineering Conference, 2004. Proceedings. 2004 Australian》
|
2004年
关键词:
functional programming;
data structures;
functional languages;
totally functional programming;
data structure;
symbolic representation replacement;
fold function;
33.
Optimizing testing efficiency with error-prone path identification and genetic algorithms
机译:
利用易于出错的路径识别和遗传算法优化测试效率
作者:
Birt J.R.
;
Sitte R.
会议名称:
《Software Engineering Conference, 2004. Proceedings. 2004 Australian》
|
2004年
关键词:
program testing;
genetic algorithms;
software reliability;
software testing efficiency;
error prone path identification;
genetic algorithm;
software reliability;
optimization;
software path cluster;
error indexes;
34.
The impact of training-by-examples on inspection performance using two laboratory experiments
机译:
通过两个实验室实验进行例题培训对检查性能的影响
作者:
Atiq Chowdhury
;
Land L.P.W.
会议名称:
《Software Engineering Conference, 2004. Proceedings. 2004 Australian》
|
2004年
关键词:
formal specification;
training;
inspection;
software inspection;
quality software;
formal training;
35.
UML documentation support for XML schema
机译:
UML文档对XML模式的支持
作者:
Salim F.D.
;
Price R.
;
Krishnaswamy S.
;
Indrawan M.
会议名称:
《Software Engineering Conference, 2004. Proceedings. 2004 Australian》
|
2004年
关键词:
XML;
Internet;
specification languages;
visual languages;
reverse engineering;
XML Schema;
UML documentation;
graphical modelling;
reverse engineering;
Internet information exchange;
XML document database;
Web information production;
XML syntax;
36.
Uniform descriptions for model based testing
机译:
基于模型的测试的统一描述
作者:
Padmanabhan Krishnan
会议名称:
《Software Engineering Conference, 2004. Proceedings. 2004 Australian》
|
2004年
关键词:
program testing;
formal verification;
formal specification;
temporal logic;
model based testing;
semantics;
test specifications;
action words;
linear time temporal logic;
model checking;
coverage requirement;
37.
Using software architectures and design patterns for developing distributed applications
机译:
使用软件体系结构和设计模式来开发分布式应用程序
作者:
Dabous F.T.
;
Rabhi F.A.
;
Yu H.
会议名称:
《Software Engineering Conference, 2004. Proceedings. 2004 Australian》
|
2004年
关键词:
software architecture;
object-oriented methods;
software development management;
Internet;
software prototyping;
distributed processing;
software architecture;
design pattern;
distributed application;
software development methodology;
Internet;
Web-based application;
business model;
software component;
technology-migration problem;
design reuse problem;
business process functionality;
capital market system;
prototype system;
Web service technology;
38.
Interface metrics for reusability analysis of components
机译:
接口指标,用于组件的可重用性分析
作者:
Boxall M.A.S.
;
Araban S.
会议名称:
《Software Engineering Conference, 2004. Proceedings. 2004 Australian》
|
2004年
关键词:
software reusability;
application program interfaces;
software metrics;
object-oriented programming;
software component interface metrics;
software component reusability analysis;
component-based software development;
意见反馈
回到顶部
回到首页