发布求助
文献互助 智能选刊 最新文献

Annals of Software Engineering最新文献

筛选
英文 中文
The Real-Time Process Algebra (RTPA) 实时过程代数(RTPA)
Annals of Software Engineering Pub Date : 2002-12-10 DOI: 10.1023/A:1020561826073
Yingxu Wang
{"title":"The Real-Time Process Algebra (RTPA)","authors":"Yingxu Wang","doi":"10.1023/A:1020561826073","DOIUrl":"https://doi.org/10.1023/A:1020561826073","url":null,"abstract":"","PeriodicalId":259387,"journal":{"name":"Annals of Software Engineering","volume":"4 2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-12-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116401018","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 270
Automatic Verification of Static Policies on Software Process Models 软件过程模型上静态策略的自动验证
Annals of Software Engineering Pub Date : 2002-12-10 DOI: 10.1023/A:1020509809235
R. Reis, C. Reis, H. Schlebbe, D. Nunes
{"title":"Automatic Verification of Static Policies on Software Process Models","authors":"R. Reis, C. Reis, H. Schlebbe, D. Nunes","doi":"10.1023/A:1020509809235","DOIUrl":"https://doi.org/10.1023/A:1020509809235","url":null,"abstract":"","PeriodicalId":259387,"journal":{"name":"Annals of Software Engineering","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-12-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122674340","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 13
Integrating Process Support and Knowledge Management for Virtual Software Development Teams 虚拟软件开发团队的集成过程支持和知识管理
Annals of Software Engineering Pub Date : 2002-12-10 DOI: 10.1023/A:1020505708326
F. Maurer, Harald Holz
{"title":"Integrating Process Support and Knowledge Management for Virtual Software Development Teams","authors":"F. Maurer, Harald Holz","doi":"10.1023/A:1020505708326","DOIUrl":"https://doi.org/10.1023/A:1020505708326","url":null,"abstract":"","PeriodicalId":259387,"journal":{"name":"Annals of Software Engineering","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-12-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122721852","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 22
e-R&D – Effectively Managing Process Diversity 电子研发-有效管理过程多样性
Annals of Software Engineering Pub Date : 2002-12-10 DOI: 10.1023/A:1020545406509
C. Ebert, J. D. Man
{"title":"e-R&D – Effectively Managing Process Diversity","authors":"C. Ebert, J. D. Man","doi":"10.1023/A:1020545406509","DOIUrl":"https://doi.org/10.1023/A:1020545406509","url":null,"abstract":"","PeriodicalId":259387,"journal":{"name":"Annals of Software Engineering","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-12-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129806199","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 14
Testing Processes of Web Applications Web应用程序的测试过程
Annals of Software Engineering Pub Date : 2002-12-10 DOI: 10.1023/A:1020549507418
F. Ricca, P. Tonella
{"title":"Testing Processes of Web Applications","authors":"F. Ricca, P. Tonella","doi":"10.1023/A:1020549507418","DOIUrl":"https://doi.org/10.1023/A:1020549507418","url":null,"abstract":"","PeriodicalId":259387,"journal":{"name":"Annals of Software Engineering","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-12-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115909096","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 43
A Knowledge-Based Software Process Simulation Model 基于知识的软件过程仿真模型
Annals of Software Engineering Pub Date : 2002-12-10 DOI: 10.1023/A:1020574228799
N. Hanakawa, Ken-ichi Matsumoto, K. Torii
{"title":"A Knowledge-Based Software Process Simulation Model","authors":"N. Hanakawa, Ken-ichi Matsumoto, K. Torii","doi":"10.1023/A:1020574228799","DOIUrl":"https://doi.org/10.1023/A:1020574228799","url":null,"abstract":"","PeriodicalId":259387,"journal":{"name":"Annals of Software Engineering","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-12-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122556025","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 30
Commitment Nets in Software Process Improvement 软件过程改进中的承诺网
Annals of Software Engineering Pub Date : 2002-12-10 DOI: 10.1023/A:1020526329708
P. Abrahamsson
{"title":"Commitment Nets in Software Process Improvement","authors":"P. Abrahamsson","doi":"10.1023/A:1020526329708","DOIUrl":"https://doi.org/10.1023/A:1020526329708","url":null,"abstract":"","PeriodicalId":259387,"journal":{"name":"Annals of Software Engineering","volume":"282 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-12-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123432536","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 33
Views and Patterns in E-Commerce Application Design 电子商务应用程序设计中的视图和模式
Annals of Software Engineering Pub Date : 2002-06-25 DOI: 10.1023/A:1016545426571
Marcus E. Markiewicz, C. Lucena, P. Alencar, D. Cowan
{"title":"Views and Patterns in E-Commerce Application Design","authors":"Marcus E. Markiewicz, C. Lucena, P. Alencar, D. Cowan","doi":"10.1023/A:1016545426571","DOIUrl":"https://doi.org/10.1023/A:1016545426571","url":null,"abstract":"","PeriodicalId":259387,"journal":{"name":"Annals of Software Engineering","volume":"102 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116125593","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
A Framework for Community Information Systems 社区信息系统框架
Annals of Software Engineering Pub Date : 2002-06-25 DOI: 10.1023/A:1016518115185
P. Alencar, D. Cowan, Martin Luo
{"title":"A Framework for Community Information Systems","authors":"P. Alencar, D. Cowan, Martin Luo","doi":"10.1023/A:1016518115185","DOIUrl":"https://doi.org/10.1023/A:1016518115185","url":null,"abstract":"","PeriodicalId":259387,"journal":{"name":"Annals of Software Engineering","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114260602","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 7
OPEN Process Support for Web Development OPEN过程支持Web开发
Annals of Software Engineering Pub Date : 2002-06-25 DOI: 10.1023/A:1016549527480
B. Henderson-Sellers, D. Lowe, B. Haire
{"title":"OPEN Process Support for Web Development","authors":"B. Henderson-Sellers, D. Lowe, B. Haire","doi":"10.1023/A:1016549527480","DOIUrl":"https://doi.org/10.1023/A:1016549527480","url":null,"abstract":"","PeriodicalId":259387,"journal":{"name":"Annals of Software Engineering","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129518936","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 21
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信