Följ
Jiale Zhou
Titel
Citeras av
Citeras av
År
An ontological interpretation of the hazard concept for safety-critical systems
J Zhou, K Hänninen, K Lundqvist, L Provenzano
The 27th European Safety and Reliability Conference ESREL'17, 18-22 Jun 2017 …, 2017
212017
A tasm-based requirements validation approach for safety-critical embedded systems
J Zhou, Y Lu, K Lundqvist
Reliable Software Technologies–Ada-Europe 2014: 19th Ada-Europe …, 2014
162014
An ontological approach to elicit safety requirements
L Provenzano, K Hänninen, J Zhou, K Lundqvist
2017 24th Asia-Pacific Software Engineering Conference (APSEC), 713-718, 2017
152017
A context-based information retrieval technique for recovering use-case-to-source-code trace links in embedded software systems
J Zhou, Y Lu, K Lundqvist
2013 39th Euromicro Conference on Software Engineering and Advanced …, 2013
152013
An ontological approach to identify the causes of hazards for safety-critical systems
J Zhou, K Hänninen, K Lundqvist, L Provenzano
2017 2nd International Conference on System Reliability and Safety (ICSRS …, 2017
142017
An ontological approach to hazard identification for safety-critical systems
J Zhou, K Hänninen, K Lundqvist, L Provenzano
2017 Second International Conference on Reliability Systems Engineering …, 2017
122017
The observer-based technique for requirements validation in embedded real-time systems
J Zhou, Y Lu, K Lundqvist
2014 IEEE 1st International Workshop on Requirements Engineering and Testing …, 2014
122014
An environment-driven ontological approach to requirements elicitation for safety-critical systems
J Zhou, K Hänninen, K Lundqvist, Y Lu, L Provenzano, K Forsberg
2015 IEEE 23rd International Requirements Engineering Conference (RE), 247-251, 2015
82015
An observer-based technique with trace links for requirements validation in embedded real-time systems
J Zhou
Mälardalen University, 2014
72014
Requirements development and management of embedded real-time systems
J Zhou
2014 IEEE 22nd International Requirements Engineering Conference (RE), 479-484, 2014
62014
Formal execution semantics for asynchronous constructs of AADL
J Zhou, A Johnsen, K Lundqvist
Proceedings of the 5th International Workshop on Model Based Architecting …, 2012
62012
An Ontological Approach to Safety Analysis of Safety-Critical Systems
J Zhou
Mälardalen University, 2017
32017
A hazard modeling language for safety-critical systems based on the hazard ontology
J Zhou, K Hänninen, K Lundqvist
2017 43rd Euromicro Conference on Software Engineering and Advanced …, 2017
12017
An Improved VSM-based Post-Requirements Traceability Recovery Approach Using Context Analysis
J Zhou, Y Lu, K Lundqvist
Mälardalen Real-Time Research Centre, Mälardalen University, 2013
12013
A Hazard Domain Ontology for Preliminary Hazard Analysis in Reuse Scenarios
J Zhou, K Hänninen, Y Lu, K Lundqvist, L Provenzano
Mälardalen Real-Time Research Centre, Mälardalen University, 2016
2016
The Observer-Based Technique for Requirements Validation in Embedded Real-Time Systems
KL Jiale Zhou, Yue Lu
1st International Workshop on Requirements Engineering and Testing, 2014
2014
Paper A: An Ontological Interpretation of the Hazard Concept for Safety-Critical Systems
J Zhou, K Hänninen, K Lundqvist, L Provenzano
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–17