logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
J

Jim Woodcock

Southwest University

38H指数
353论文数
6.6K被引数
收录论文 9
发表时间
logo
Software Engineering for Self-Adaptive Robotics: A Research Agenda自适应性机器人软件工程：一项研究议程
errACM Transactions on Software Engineering and Methodology
IF6.2
err2026-08-21
err0
errOAAI
errHassan Sartaj; Shaukat Ali; Ana Cavalcanti; Lukas Esterle; Cláudio Gomes; Peter Gorm Larsen; Anastasios Tefas; Jim Woodcock; Houxiang Zhang
err分享
err收藏
Unifying Model Execution and Deductive Verification with Interaction Trees in Isabelle/HOL在Isabelle/HOL中使用交互树统一模型执行与演绎验证
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2024-11-06
err0
errOAAI
errFoster, S; Hur, CK; Woodcock, J
err分享
err收藏
Formal design, verification and implementation of robotic controller software via RoboChart and RoboTool
errAUTONOMOUS ROBOTS
IF4.3
err2024-07-05
err0
errOAAI
errLi, Wei; Ribeiro, Pedro; Miyazawa, Alvaro; Redpath, Richard; Cavalcanti, Ana; Alden, Kieran; Woodcock, Jim; Timmis, Jon
err分享
err收藏
What Can Agile Methods Bring to High-Integrity Software Development?
errCOMMUNICATIONS OF THE ACM
IF12.2
err2017-09-25
err9
errOAAI
errChapman, Roderick; White, Neil; Woodcock, Jim
err分享
err收藏
Systems of Systems Engineering: Basic Concepts, Model-Based Techniques, and Research Directions系统工程系统: 基本概念、基于模型的技术和研究方向
errACM COMPUTING SURVEYS
IF28
err2015-09-24
err262
PREAI
errNielsen, Claus Ballegaard; Larsen, Peter Gorm; Fitzgerald, John; Woodcock, Jim; Peleska, Jan
err分享
err收藏
Formal Methods: Practice and Experience
errACM COMPUTING SURVEYS
IF28
err2009-10-09
err373
PREAI
errWoodcock, Jim; Larsen, Peter Gorm; Bicarregui, Juan; Fitzgerald, John
err分享
err收藏
Leg weakness is a complication of ilio-inguinal nerve block in children
errBRITISH JOURNAL OF ANAESTHESIA
IF9.2
err2004-02-01
err21
errOAAI
errLipp, AK; Woodcock, J; Hensman, B; Wilkinson, K
err分享
err收藏
Special issues for FM '99: The First World Congress on Formal Methods in the Development of Computing Systems
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2000-08-01
err1
PREAI
errWing, JM; Woodcock, J
err分享
err收藏
Auto-Encoding Neural Tucker Factorization自编码神经Tucker分解
errIEEE Transactions on Knowledge and Data Engineering
IF10.4
err
err0
PREAI
errPeng Tang; Xin Luo; Jim Woodcock
err分享
err收藏

研究方向

暂无研究方向
合作学者
合作期刊
罗辛 封面图
罗辛 (Xin Luo)
H 指数: 77 · 论文数: 776
J
Jon Timmis
H 指数: 52 · 论文数: 388
A
Anastasios Tefas
H 指数: 50 · 论文数: 610
H
Houxiang Zhang
H 指数: 38 · 论文数: 339
S
Shaukat Ali
H 指数: 36 · 论文数: 316
查看更多