2878 search results - page 466 / 576 » Analyzing the Uses of a Software Modeling Tool |
190
click to vote
JOT
2006
15 years 6 months ago
2006
This paper discusses the use of design patterns during the transition phase from analysis to design of object-oriented systems. Pattern mining, which is the process of finding and...
178
click to vote
ENTCS
2010
15 years 3 months ago
2010
We present MLSolver, a tool for solving the satisfiability and validity problems for modal fixpoint logics. The underlying technique is based on characterisations of satisfiabilit...
177
click to vote
IFIP
2010
Springer
15 years 1 months ago
2010
Springer
The Trusted Platform Module (TPM) is a hardware chip designed to enable computers to achieve a greater level of security than is possible in software alone. To this end, the TPM pr...
201
click to vote
JSS
2010
15 years 1 months ago
2010
The formal specification of design patterns is widely recognized as being vital to their effective and correct use in software development. It can clarify the concepts underlying ...
164
click to vote
WSC
2008
15 years 8 months ago
2008
In this study, a single-item two-echelon inventory system where the items can be stored in each of N stocking locations is optimized using simulation. The aim of this study is to ...