A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is
The software engineering field has a long history of classifying software failure causes. Understanding them is paramount for fault injection, focusing testing efforts or reliability prediction. ... Research seems to be driven mainly by the need for better testing methods and code-based quality improvement. Other motivations such as online error detection are less frequently given. ... Inclusion and Exclusion Criteria The inclusion criteria are intended to put focus on the defined research questions. ...arXiv:1603.04335v1 fatcat:p5obs2dunvfexl4u7qw5rasfaq
Testing is an essential but often under-utilized area of software engineering. ... To be successful, test case management requires a high degree of discipline to accommodate the large volume of artifacts under consideration. ... Before reporting mechanisms can be put into place, the testing team needs to set the ground rules, such as defining the terminologies and agreeing upon the general testing terminologies, what is considered ...doi:10.1145/1233341.1233357 dblp:conf/ACMse/ParveenTG07 fatcat:cvqjxr4nrbf3rmpzmuxp3xdcy4
What are the special characteristics of an inter-preter's workflow that require specialised software? Does this specialised software already exist? ... On the basis of these considerations, a model for a special software solution for conference interpreters is presented. ... tidy and teaches us where to put our stuff in order to be able to find it when we need it. ...doi:10.52034/lanstts.v3i.110 fatcat:fmrkt2fpnndnvdqej2gymugpba
to describe the notation (we shall put this in a subjectspecific context in a moment). ... This is where some of the more powerful features of a package such as Questionmark can be put to good use. ...doi:10.1145/3130877 fatcat:ngk75ddctrdbbivdxekdyaokha
The mission of the ACOG IAIMS project is to identify the core of knowledge necessary for the practice of obstetrics and gynecology, structure it and put it in electronic form, integrate it into a national ... ob-gyn information network, prepare ACOG members to use it, and disseminate this core of knowledge to members in appropriate forms. ... In 1983 the task force released a long-range plan for an obstetric-gynecologic information system, to be put into use between 1987 and 1991. ...pmid:3416100 pmcid:PMC227115 fatcat:azejodnppnamxmapyzrh5z4gg4
In the future, more terminologies and mappings will be added to the terminology service according to the needs of the SPHN community. ... To enable the integrative use of different terminologies, a terminology service is a important component of the SPHN Infrastructure for FAIR data. ... Acknowledgments: The authors would like to thank Shubham Kapoor and the sciCORE team of the University of Basel for their support in the setup of the MinIO server. ...doi:10.3390/app112311311 fatcat:hcbbjbhiwjhbpfb4jv2fednm6q
, and hope to bring work help to the majority of people engaged in English translation, so that their work can be carried out more smoothly. ... According to the specific English translation practice research, it is proposed to use translation memory technology to optimize translation process, improve translation quality and translation efficiency ... The rapid development of the global economy puts higher demands on the people engaged in translation work, not only to ensure the quality of translation, but also to put forward higher requirements for ...doi:10.1088/1742-6596/1213/4/042011 fatcat:qxhiqzfy5vdwrnojff6gcjcyc4
2020 6th International Symposium on System and Software Reliability (ISSSR)
In our recent work on Agile Formal Engineering Methods, we put forward a novel technique called Software Construction Monitoring and Predicting (SCMP) to study an intelligent and automatic approach to ... He has authored three books and more than 150 papers on information security, empirical studies of software failure, and combinatorial methods in software testing, and co-developed the role based access ... He proposed to use the terminology of "Formal Engineering Methods" in 1997, and has established Formal Engineering Methods as a research area based on his extensive research on the SOFL (Structured Object-Oriented ...doi:10.1109/isssr51244.2020.00008 fatcat:777u2ikmqffsbnq2wnvxjynume
While the table chi-square (7.39) is not significant (P = .304), at least the test in this case is statistically valid. ... Microcomputers put the whole process in the hands of the researcher, teacher, or student and allow for unlimited reference and analysis. ...
Though unreasonable to presume compliance with a standard overnight, the dialog does represent the sort of interactions that can occur when quality personnel introduce unfamiliar terminology and concepts ... But, how’d you know what operations to put in? Boldface? Line deletes? What about handling user errors? Are you sure you didn’t leave out something? Listen, I designed the thing! ...
The multiplicity of software projects' stakeholders and activities leads to the multiplicity of software specification views and thus creates the need to establish mutual consistency between them. ... The approach turns the process of documenting initial specifications into a simplified form of programming and turns structured-natural-language specifications into runnable programs that yield multiple ... The Specogram GitHub repository  includes several examples, including the one used in the present article. Development of this project is happening inside this repository. ...arXiv:1711.06518v1 fatcat:vz6y3jhih5gvposld3n2l4eu7q
This study was aimed to evaluate the applicability of common Chinese word segmentation software used in the literature study of traditional Chinese medicine (TCM) text, in order to put forward ideas on ... It was concluded that developing specialized TCM word segmentation software may be the best solution to meet the requirement of word segmentation in TCM literature study. ... Acknowledgement This research was supported by the Hubei University of TCM / Hubei Provincial Collaborative Innovation Center of Preventive Treatment by Acupuncture and Moxibustion. ...doi:10.12783/dtcse/cst2017/12573 fatcat:e5xdozxn4fe4liz7xuf37kcs2i
The notion of an instruction sequence fault is considered from various perspectives. Four different viewpoints on what constitutes a fault, or how to use the notion of a fault, are formulated. ... terminology and concepts known from sequential systems. 7 The merits of testing are not limited to software quality management viewed from the perspective of software failure prevention. ... Persistent faults In  the notion of a persistent software error is proposed, which I presume in more recent terminology should be referred to as a persistent software fault. ...arXiv:1204.1881v1 fatcat:5gifep52sfe6bj6uyzmzvbr6zq
The remaining 31 studies covered the knowledge areas of process (5), models and methods (5) , maintenance (4), testing 2) TERMINOLOGIES USED TO REFER TO THE SOFTWARE COMPANIES The terminologies used ... These formed the first part of the search string, the terminology software was then coined with the Boolean "AND" to the terminology identified from the keywords to synonymise engineering, and we used ... His current research interests include but are not limited to smart systems for software engineering, games from the viewpoint of software, software testing practices, and software process quality. ...doi:10.1109/access.2021.3113328 fatcat:piibd777zrcyfpix7vjeieheoy
The notions of software testing can be interpreted in the terminology of inductive inference as follows. A program under test is interpreted as a rule to learn. ... Instead, more emphasis has been put on software testing in modern software development methodologies, such as the so-called test-driven approach in agile methodologies  . ...doi:10.1109/compsac.2012.109 dblp:conf/compsac/Zhu12 fatcat:o46rnczcpnegtaahrvfvuxdqs4
« Previous Showing results 1 — 15 out of 83,861 results