B model quality assessments on automated reachability repair with ISO/IEC 25010

Many studies have been carried out to investigate what makes up good quality software. Some of the early models that define the quality of software come from Boehm (1976) and McCall (1977). Works in this field of quality models have traditionally focused on quality of the final software product. Since the 1970’s models of software have been used and this has recently attracted much attention through the popularity of model-driven software development (MDSD). However, quality of software models has rarely been considered (Lange & Chaudron, 2005). In the software development life cycle, the ability to assure software quality long before the testing phase may save a lot of money since less defects found in the testing phase will mean less effort to be allocated for rework. Currently, the importance of model quality is starting to gain attention from computer scientists. Work in this area has since focused on developing tools, metrics, and frameworks to improve the quality of models that guide implementation, particularly in the context of UML modeling which has become the de facto standard for building object oriented software. Quality of models can be considered from many different perspectives. In this chapter, we will consider the following perspectives: Firstly, is the model complete in the sense that it describes the information that developers need to know about a system? Secondly, we look at the degree in which a model of a system and an implementation correspond. This degree of correspondence indicates to what extent analyses of—or predictions based on the model are valid for the implementation. We present the main findings from case studies into quality of modeling in the software industry as well as findings from a survey amongst professional software developers. We also provide a discussion on the contemporary methods for design quality assessments.

Download Full-text

Improved protein model quality assessments by changing the target function

10.1101/270678 ◽

2018 ◽

Author(s):

Karolis Uziela ◽

David Menéndez Hurtado ◽

Nanjiang Shu ◽

Björn Wallner ◽

Arne Elofsson

Keyword(s):

Structure Prediction ◽

Target Function ◽

Local Environment ◽

Global Model ◽

Model Quality ◽

Quality Estimation ◽

Protein Model ◽

Local Quality ◽

Quality Assessments

AbstractProtein modeling quality is an important part of protein structure prediction. We have for more than a decade developed a set of methods for this problem. We have used various types of description of the protein and different machine learning methodologies. However, common to all these methods has been the target function used for training. The target function in ProQ describes the local quality of a residue in a protein model. In all versions of ProQ the target function has been the S-score. However, other quality estimation functions also exist, which can be divided into superposition- and contact-based methods. The superposition-based methods, such as S-score, are based on a rigid body superposition of a protein model and the native structure, while the contact-based methods compare the local environment of each residue. Here, we examine the effects of retraining our latest predictor, ProQ3D, using identical inputs but different target functions. We find that the c ntact-based methods are easier to predict and that predictors trained on these measures provide some advantages when it comes to identifying the best model. One possible reason for this is that contact based methods are better at estimating the quality of multi-domain targets. However, training on the S-score gives the best correlation with the GDT_TS score, which is commonly used in CASP to score the global model quality. To take the advantage of both of these features we provide an updated version of ProQ3D that predicts local and global model quality estimates based on different quality estimates.

Download Full-text

MODEL MANAJEMEN MUTU MADRASAH KAJIAN DI MIN & MI MA’RIF PAGERAJI PURWOKERTO

Jurnal Penelitian Agama ◽

10.24090/jpa.v19i1.2018.pp74-105 ◽

2018 ◽

Vol 19 (1) ◽

pp. 74-105

Author(s):

Rohmat Rohmat

Keyword(s):

Quality Management ◽

Quality Management System ◽

Management Model ◽

Teacher Competence ◽

Model Quality ◽

Community Environment ◽

The Family ◽

Quality Management Model ◽

Community Cooperation

Abstract: The quality of madrasah education needs to get serious attention both from process aspect and its result. The quality of madrasah education is also influenced by the family and community environment. This brings with it the need for a review and mapping of the quality management model of education in Madrasah Ibtidaiyah. The Madrasah Ibtidaiyah of Purwokerto and MI Ma'arif Pageraji Purwokerto were chosen to be the subject of this study with the consideration that the school has a good quality management system. This study aims to find the typology of quality management education in MI that is effective so that it can be replicated. Based on the findings of the data, it can be concluded as follows: (1) Quality planning conducted in MIN and MI Ma’arif pageraji Purwokerto through (a) improvement of teacher competence, through OJT activity (on the job trainning), (b) teacher. (c) Development of natural competence matrix. (d) Parent and community cooperation in establishing some madrasah programs. (2) Quality control system conducted in MIN and MI Ma’arif pageraji Purwokerto done through supervision activities. (3) Quality assurance conducted in MIN and MI Ma’arif pageraji Purwokerto done internally by madrasah and audited through accreditation activities run by the accreditation bodies of madrasah or other institutions externally. Keywords: Management model, quality of madrasah.

Download Full-text

Availability and suitability of data from public water-supplier sources for use in water-quality assessments

Open-File Report ◽

10.3133/ofr97825 ◽

1998 ◽

Author(s):

K.W. Robinson ◽

M.A. Horn

Keyword(s):

Water Quality ◽

Quality Assessments

Download Full-text

Externe Quality Assessments in der Internen Revision

Zeitschrift Interne Revision ◽

10.37307/j.1868-7814.2010.01.03 ◽

2010 ◽

Author(s):

Hans-Ulrich Westhausen

Keyword(s):

Quality Assessments

Download Full-text

Quality Assessments of Standard Video Compression Techniques Applied to Hyperspectral Data Cubes

2021 11th Workshop on Hyperspectral Imaging and Signal Processing: Evolution in Remote Sensing (WHISPERS) ◽

10.1109/whispers52202.2021.9483989 ◽

2021 ◽

Author(s):

A. E. Oudijk ◽

F. Sigernes ◽

H. C. J. Mulders ◽

S. Bakken ◽

T. A. Johansen

Keyword(s):

Video Compression ◽

Hyperspectral Data ◽

Data Cubes ◽

Quality Assessments

Download Full-text

Estimation and Analysis of Higher-Order Harmonics in Advanced Integrated Circuits to Implement Noise-Free Future-Generation Micro- and Nanoelectromechanical Systems

Micromachines ◽

10.3390/mi12050541 ◽

2021 ◽

Vol 12 (5) ◽

pp. 541

Author(s):

Muhammad Imran Khan ◽

Ahmed S. Alshammari ◽

Badr M. Alshammari ◽

Ahmed A. Alzamil

Keyword(s):

Integrated Circuits ◽

Frequency Band ◽

Future Generation ◽

Higher Order ◽

Nanoelectromechanical Systems ◽

Model Quality ◽

Flip Flop ◽

Transistor Model ◽

Spectrum Generation ◽

Time Fall

This work deals with the analysis of spectrum generation from advanced integrated circuits in order to better understand how to suppress the generation of high harmonics, especially in a given frequency band, to design and implement noise-free systems. At higher frequencies, the spectral components of signals with sharp edges contain more energy. However, current closed-form expressions have become increasingly unwieldy to compute higher-order harmonics. The study of spectrum generation provides an insight into suppressing higher-order harmonics (10th order and above), especially in a given frequency band. In this work, we discussed the influence of transistor model quality and input signal on estimates of the harmonic contents of switching waveforms. Accurate estimates of harmonic contents are essential in the design of highly integrated micro- and nanoelectromechanical systems. This paper provides a comparative analysis of various flip-flop/latch topologies on different process technologies, i.e., 130 and 65 nm. An FFT plot of the simulated results signifies that the steeper the spectrum roll-off, the lesser the content of higher-order harmonics. Furthermore, the results of the comparison illustrate the improvement in the rise time, fall time, clock-Q delay and spectrum roll-off on the better selection of slow-changing input signals and more accurate transistor models.

Download Full-text