2206 search results - page 61 / 442 » Software Engineering and Modeling Education: Problems and So... |
157
click to vote
OOIS
1994
Springer
15 years 10 months ago
1994
Springer
The business of software development is solving problems. Following Polya, we can increase our ability to solve problems by focusing directly on problems themselves, on their part...
157
click to vote
KBSE
2005
IEEE
15 years 11 months ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
139
click to vote
CSMR
2005
IEEE
15 years 11 months ago
2005
IEEE
Product software is constantly evolving through extensions, maintenance, changing requirements, changes in configuration settings, and changing licensing information. Managing ev...
226
click to vote
CORR
2011
Springer
15 years 20 days ago
2011
Springer
—Validation is one of the software engineering disciplines that help build quality into software. The major objective of software validation process is to determine that the soft...
172
click to vote
ISSA
2004
15 years 7 months ago
2004
This paper attempts to address the issue of hardening the internal security of an organisation's network by easing its patch management. Traditionally security has been model...