2206 search results - page 39 / 442 » Software Engineering and Modeling Education: Problems and So... |
148
click to vote
APSEC
2010
IEEE
15 years 1 months ago
2010
IEEE
Organizations are adopting multiple best practices models to improve overall performance. Their objective is to capture the cumulative added value of each model into one single env...
177
click to vote
STTT
2010
15 years 22 days ago
2010
Abstract. Partial order reduction limits the state explosion problem that arises in model checking by limiting the exploration of redundant interleavings. A state space search algo...
150
click to vote
FASE
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. The problem of interpreting the results of software performance analysis is very critical. Software developers expect feedbacks in terms of architectural design alternati...
158
click to vote
IWSSD
2000
IEEE
15 years 10 months ago
2000
IEEE
In recent years, UML has become a standard language for modeling software requirements and design. In this paper we investigate the suitability of UML as a semiformal requirements...
171
click to vote
SIAMCO
2011
14 years 8 months ago
2011
Abstract. We prove a weak version of the dynamic programming principle for standard stochastic control problems and mixed control-stopping problems, which avoids the technical di�...