全部文献期刊会议图书|学者科研项目
中外文文献  中文文献  外文文献
作者:Ann E. Kelley Sobel
来源:[J].Information and Software Technology(IF 1.522), 1998, Vol.40 (4), pp.233-238
摘要:Abstract(#br)A strategy for integrating formal method application into several courses that are found in a software engineering curriculum is presented. A balance is made between teaching undergraduates material which is traditionally taught at the graduate level and a desire to ...
作者:Jang-Soo Lee , Sung-Deok Cha
来源:[J].Reliability Engineering and System Safety(IF 1.901), 2004, Vol.87 (1), pp.121-131
摘要:... This technique, extending qualitative formal method process and utilizing information captured in the state trajectory, provides specific guidelines on how to identify failure modes and relationship among them. Using a simplified electrical power system as an example, we desc...
作者:Paolo Arcaini , Silvia Bonfanti , Angelo Gargantini ...
来源:[J].Science of Computer Programming(IF 0.568), 2018, Vol.158, pp.148-167
摘要:... However, these standards provide general descriptions of common software engineering activities without any indication regarding particular methods and techniques to assure safety and reliability.(#br)This paper discusses how to integrate the use of a formal approach into the...
作者:Matthew L. Bolton , Judy Edworthy , Andrew D. Boyd ...
来源:[J].Applied Acoustics(IF 1.097), 2018, Vol.141, pp.403-415
摘要:... In previous work, we introduced a computational formal method capable of proving (formally verifying) if masking could occur in a modeled configuration of medical alarms. However, the scalability of the method limited the applicability and completeness of its analyses. In the...
作者:Peter Hartel , Grit Denker , Mojgan Kowsari ...
来源:[J].Information Systems(IF 1.768), 1997, Vol.22 (2), pp.79-99
摘要:... We decided to use formal methods right from the beginning of the project. Our approach is based on the formal object oriented specification language troll. Starting point of the development is an abstract model of the organization which will serve later on as a formal basis f...
作者:Xudong He
来源:[J].Information and Software Technology(IF 1.522), 2001, Vol.43 (1), pp.1-18
摘要:Abstract(#br)In this paper, a formal method (called PZ nets) for specifying concurrent and distributed systems is presented. PZ nets integrate two well-known existing formal methods Petri nets and Z such that Petri nets are used to specify the overall structure, control flows, ca...
作者:Luca Brunese , Francesco Mercaldo , Alfonso Reginelli ...
来源:[J].Magnetic Resonance Imaging(IF 2.06), 2020, Vol.66, pp.165-175
摘要:... In this paper we propose a non invasive method to detect the prostate cancer grade (the so-called Gleason score) by computing radiomic biomarkers from magnetic resonance images. Furthermore, the proposed method predicts whether the cancer is suitable for the surgery treatment...
作者:K. David Jamison , Weldon A. Lodwick
来源:[J].Information Sciences(IF 3.643), 2020, Vol.507, pp.86-107
摘要:Abstract(#br)This article proposes a new formal definition of an interval valued probability measure (IVPM) based on a measure theoretic foundation, and shows that various uncertainties that occur in data associated in mathematical analyses, for example, in optimization under unc...
作者:Andreas Grimmer , Joachim Clemens , Robert Wille
来源:[J].International Journal of Approximate Reasoning(IF 1.729), 2017, Vol.87, pp.23-39
摘要:... In this work, we propose a methodology which utilizes formal methods for that reasoning, which allows to relax some of the independence assumptions. We demonstrate the proposed methodology using evidential grid maps – a belief function-based environment representation, in ...

我们正在为您处理中,这可能需要一些时间,请稍等。

资源合作:cnki.scholar@cnki.net, +86-10-82896619   意见反馈:scholar@cnki.net

×