Filters








31,078 Hits in 8.6 sec

New Metrics for Static Variable Ordering in Decision Diagrams [chapter]

Radu I. Siminiceanu, Gianfranco Ciardo
2006 Lecture Notes in Computer Science  
We investigate a new class of metrics to find good variable orders for decision diagrams in symbolic state-space generation.  ...  Most of the previous work on static ordering is centered around the concept of minimum variable span, which can also be found in the literature under several other names.  ...  Conclusions and Future Work We introduced a new family of metrics WES (i) , indexed by a moment i, to be used as a guide for static variable ordering in symbolic methods.  ... 
doi:10.1007/11691372_6 fatcat:4kdlim3ay5e73ixjomvasryngm

BDDs Strike Back: Efficient Analysis of Static and Dynamic Fault Trees [article]

Daniel Basgöze, Matthias Volk, Joost-Pieter Katoen, Shahid Khan, Marielle Stoelinga
2022 arXiv   pre-print
Fault trees are a key model in reliability analysis. Classical static fault trees (SFT) can best be analysed using binary decision diagrams (BDD).  ...  We implemented this approach in the Storm model checker.  ...  For the 128 random SFTs we set the number of BEs to 150 and used seeds from 128 to 255 to initialize the random number generator for each SFT.  ... 
arXiv:2202.02829v2 fatcat:7hu3ydpwzncpfklp7i23quq7xi

A Systematic Methodology for Developing Discrete Event Simulation Models of Software Development Processes [article]

Ioana Rus, Holger Neu, Jürgen Münch
2014 arXiv   pre-print
Since modeling and simulation in support of software development should become more popular (and there are signs that it does), there is a need for migrating modeling from craft to engineering.  ...  This article proposes such a systematic method, focused on the development of discrete simulation-based decision models, but extensible to other modeling approaches as well.  ...  We would like to thank Sonnhild Namingha from the Fraunhofer Institute Experimental Software Engineering for reviewing the first version of the article.  ... 
arXiv:1403.3559v1 fatcat:editlqg6nvfgthb6vippjxs46e

APRICOT: A framework for teaching digital systems verification

Jaan Raik, Maksim Jenihhin, Anton Chepurov, Uljana Reinsalu, Raimund Ubar
2008 2008 19th EAEEIE Annual Conference  
Therefore it is highly suitable for supporting higher education and research in verification. The novelty of APRICOT lies in a system representation model called High-Level Decision Diagrams (HLDD).  ...  The paper presents a new framework for digital systems verification. The framework has been developed in Tallinn University of Technology and it is called APRICOT.  ...  HIGH-LEVEL DECISION DIAGRAMS Decision Diagrams (DD) have been used in verification for about two decades.  ... 
doi:10.1109/eaeeie.2008.4610181 fatcat:itx3eax3irfvdjmiv6odc7mzdy

Object-Oriented Design [chapter]

R. J. Mitchell
1993 C++ Object-Oriented Programming  
Step 4: Create interaction diagrams for activities contained in diagrams created in step 2  Step 5: Create state diagrams for classes created in step 3  Step 6:  ...  OO analysis and design  Provides nine types of diagrams to model both static and dynamic aspects of a software system  UML is used by various OO design methodologies to capture decisions about  ...   Creating an OO design is an iterative process based on applying the knowledge stored in a system's use cases  Several OO metrics exist that are useful in prediciting the fault proneness of a class  ... 
doi:10.1007/978-1-349-13173-0_2 fatcat:mfytpwyxfvda7fk6cptppi7sxy

New Set of Metrics for Accessing Usability in Feature Oriented Programming

Amita Sharma, Geetika Vyas
2013 International Journal of Computer Applications  
In course of research; object oriented metrics are being used to assess the quality of feature model.  ...  But these metrics limit the complexity within the features and complexity across the classes and features relationship are untouched .This state of art proposes a new set of metrics to provide usability  ...  This class also shows its effect in the database classes (not shown in the diagram) in the way that shipment/delivery of an order leads to changes in the total available number of that item.  ... 
doi:10.5120/14056-2223 fatcat:rsbatj5vu5f3xextx2lyfhsqpm

Decision based examination of object-oriented programming and Design Patterns

Szabolcs Márien
2008 Teaching Mathematics and Computer Science  
In order to resolve the problems described in [11] , a new interpretation of the basic object-oriented paradigms is described, by which the basic concepts of objectoriented methodology can get another  ...  What is the reason for the deficiency of object-oriented metrics and why are not there any clear answers for the aims of Design Patterns? The answers can be found in [11] .  ...  [6] There are lots of metrics in order to control the programs' quality. The quality of the design, the program and the efficiency of the testing can be checked by using these metrics.  ... 
doi:10.5485/tmcs.2008.0174 fatcat:ugstvumosbcsnbim7kspwguv7y

Decision Diagrams for Petri Nets: Which Variable Ordering?

Elvio Gilberto Amparore, Susanna Donatelli, Marco Beccuti, Giulio Garbi, Andrew S. Miner
2017 Applications and Theory of Petri Nets  
The efficacy of decision diagram techniques for state space generation is known to be heavily dependent on the variable order.  ...  Many static decision diagram variable ordering techniques exist, but it is hard to choose which method to use, since only fragmented information about their performance is available.  ...  We would like to thank the MCC team and all colleagues that collaborated with them for the construction of the MCC database of models, and the Meddly library developers.  ... 
dblp:conf/apn/AmparoreDBGM17 fatcat:mmawr2iukjbdjcr27euluhrjvq

Profiling software through the use of metrics

Pierre N. Robillard, Daniel Coupal, François Coallier
1991 Software, Practice & Experience  
This paper presents an approach to software assessment using a new software tool that integrates most of the known static metrics.  ...  Successive integration of data results in normality profiles. Examples illustrate each step. The method is adaptable to various environments and specific applications.  ...  The metric value for each function is in decreasing order of metric value from the leftrange of metric values for the proiect.  ... 
doi:10.1002/spe.4380210506 fatcat:5oad2psjl5c6pacg32s4jvuv7q

Deriving models of software fault-proneness

Giovanni Denaro, Sandro Morasca, Mauro Pezzè
2002 Proceedings of the 14th international conference on Software engineering and knowledge engineering - SEKE '02  
limited help in planning the testing process and assuring the required quality.  ...  Although software complexity and testing thoroughness are intuitively related to the costs of quality assurance and the quality of the final product, single software metrics and coverage criteria provide  ...  We would like to thank Alex Orso, Adam Porter, Sergio Scarpati and Maurilio Zuccalà for their important contribution to the experiments.  ... 
doi:10.1145/568823.568824 fatcat:z3vdljydsvhxfgsd4vg6rg2wi4

Deriving models of software fault-proneness

Giovanni Denaro, Sandro Morasca, Mauro Pezzè
2002 Proceedings of the 14th international conference on Software engineering and knowledge engineering - SEKE '02  
limited help in planning the testing process and assuring the required quality.  ...  Although software complexity and testing thoroughness are intuitively related to the costs of quality assurance and the quality of the final product, single software metrics and coverage criteria provide  ...  We would like to thank Alex Orso, Adam Porter, Sergio Scarpati and Maurilio Zuccalà for their important contribution to the experiments.  ... 
doi:10.1145/568760.568824 dblp:conf/seke/DenaroMP02 fatcat:3slomxzgqrahxezkpwr6sdmmo4

Comparing design and code metrics for software quality prediction

Yue Jiang, Bojan Cuki, Tim Menzies, Nick Bartlow
2008 Proceedings of the 4th international workshop on Predictor models in software engineering - PROMISE '08  
Design, code, and most recently, requirements metrics have been successfully used for predicting fault-prone modules.  ...  However, both types of models prove to be useful as they can be constructed in different project phases.  ...  Boxplot Diagrams A boxplot, also known as a box and whisker diagram, graphically depicts numerical data distributions using five first order statistics: the smallest observation, lower quartile (Q1), median  ... 
doi:10.1145/1370788.1370793 fatcat:p3bvuedlzzfddokpzu7at75y44

Automatic Classification of Web Images as UML Static Diagrams Using Machine Learning Techniques

Valentín Moreno, Gonzalo Génova, Manuela Alejandres, Anabel Fraga
2020 Applied Sciences  
For pragmatic reasons, we restricted ourselves to the simplest kinds of diagrams that are more useful for automated software reuse: computer-edited 2D representations of static diagrams.  ...  Our purpose in this research is to develop a method to automatically and efficiently classify web images as Unified Modeling Language (UML) static diagrams, and to produce a computer tool that implements  ...  "a static diagram"  ... 
doi:10.3390/app10072406 fatcat:rpojh2rw4fhvxe2vhokmapxqaq

A SOFTWARE FRAMEWORK FOR CODE SECURITY USING M-COT-METRICS BASED CODE OBFUSCATION TECHNIQUE

Rajasekaran Senthilkumar, Arunkumar Thangavelu
2016 Jurnal Teknologi  
A software framework for providing software security using Metric based Code Obfuscation Techniques named as M-COT is designed to propose which will maximize the objectives.  ...  In this paper, it shows that the novel code obfuscation plan created for securing exclusive code.  ...  Control obfuscation changes shroud calculations utilized as a part of projects by presenting new fake control obfuscation and by making gimmicks (for instance, unstructured control obfuscation diagram)  ... 
doi:10.11113/jt.v78.5001 fatcat:h4ca6rceijha3lpvsfzpcx2byq

A new epsilon-dominance hierarchical Bayesian optimization algorithm for large multiobjective monitoring network design problems

J.B. Kollat, P.M. Reed, J.R. Kasprzyk
2008 Advances in Water Resources  
in monitoring design applications to provide more robust performance for large problems (defined in terms of both the number of objectives and decision variables).  ...  This study focuses on the development of a next generation multiobjective evolutionary algorithm (MOEA) that can learn and exploit complex interdependencies and/or correlations between decision variables  ...  Acknowledgements The authors would like to thank Martin Pelikan, the original developer of the Hierarchical Bayesian Optimization Algorithm, for providing the source code required to make this study possible  ... 
doi:10.1016/j.advwatres.2008.01.017 fatcat:lgaeyq3tmzcc7fowg7xvpn7tbu
« Previous Showing results 1 — 15 out of 31,078 results