关注
Mark R. Blackburn, PhD
Mark R. Blackburn, PhD
在 stevens.edu 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Is digital thread/digital twin affordable? A systemic assessment of the cost of DoD’s latest manhattan project
TD West, M Blackburn
Procedia computer science 114, 47-56, 2017
1692017
Why model-based test automation is different and what you should know to get started
M Blackburn, R Busser, A Nauman
International conference on practical software quality and testing, 212-232, 2004
1312004
Automatic generation of test vectors for SCR-style specifications
M Blackburn, RD Busser, JS Fontaine
Proceedings of COMPASS'97: 12th Annual Conference on Computer Assurance, 54-67, 1997
751997
NAT2TESTSCR: Test case generation from natural language requirements based on SCR specifications
G Carvalho, D Falcão, F Barros, A Sampaio, A Mota, L Motta, M Blackburn
Science of Computer Programming 95, 275-297, 2014
702014
Transforming systems engineering through model-centric engineering
M Blackburn, R Cloutier, G Witus, E Hole, M Bone
Stevens Institute of Technology, SERC-2015-TR-109, 2015
672015
T-VEC: A tool for developing critical systems
MR Blackburn, RD Busser
Proceedings of 11th Annual Conference on Computer Assurance. COMPASS'96, 237-249, 1996
671996
Transforming systems engineering through digital engineering
MA Bone, MR Blackburn, DH Rhodes, DN Cohen, JA Guerrero
The Journal of Defense Modeling and Simulation 16 (4), 339-355, 2019
592019
Toward an interoperability and integration framework to enable digital thread
M Bone, M Blackburn, B Kruse, J Dzielski, T Hagedorn, I Grosse
Systems 6 (4), 46, 2018
592018
Mars polar lander fault identification using model-based testing
M Blackburn, R Busser, A Nauman, R Knickerbocker, R Kasuda
Proceedings 26th annual NASA Goddard software engineering workshop, 128-135, 2001
582001
Model-based approach to security test automation
M Blackburn, R Busser, A Nauman, R Chandramouli
Proceeding of Quality Week 2001, 2001
582001
AI4SE and SE4AI: A research roadmap
T McDermott, D DeLaurentis, P Beling, M Blackburn, M Bone
Insight 23 (1), 8-14, 2020
342020
Test case generation from natural language requirements based on SCR specifications
G Carvalho, D Falcão, F Barros, A Sampaio, A Mota, L Motta, M Blackburn
Proceedings of the 28th annual ACM symposium on applied computing, 1217-1222, 2013
332013
Removing Requirement Defects and Automating Test
MR Blackburn, R Busser, A Nauman
STAREAST, May, 2001
322001
Collaborating with OpenMBEE as an authoritative source of truth environment
B Kruse, M Blackburn
Procedia Computer Science 153, 277-284, 2019
302019
Using models for test generation and analysis
MR Blackburn
17th DASC. AIAA/IEEE/SAE. Digital Avionics Systems Conference. Proceedings …, 1998
301998
Automated testing of security functions using a combined model and interface-driven approach
R Chandramouli, M Blackburn
37th Annual Hawaii International Conference on System Sciences, 2004 …, 2004
282004
Using semantic web technologies for integrating domain specific modeling and analytical tools
MR Blackburn, PO Denno
Procedia Computer Science 61, 141-146, 2015
272015
Component assessment using specification-based analysis and testing
R Alexander, M Blackburn
Software Productivity Consortium, Herndon, Virginia, USA, Tech. Rep. SPC …, 1999
261999
Using expert systems to construct formal specifications
MR Blackburn
IEEE Intelligent Systems 4 (01), 62-74, 1989
261989
Knowledge representation with ontologies and semantic web technologies to promote augmented and artificial intelligence in systems engineering
T Hagedorn, M Bone, B Kruse, I Grosse, M Blackburn
Insight 23 (1), 15-20, 2020
242020
系统目前无法执行此操作,请稍后再试。
文章 1–20