1601 search results - page 28 / 321 » The affordable application of formal methods to software eng... |
WOA
2004
13 years 10 months ago
2004
Abstract-- Great emphasis has been recently given to agentoriented methodologies for the construction of complex software systems. In this paper two approaches for the construction...
RE
1999
Springer
14 years 1 months ago
1999
Springer
This paper describes a feasibility study into the use of a formal requirements modeling method (SCR) to assist with Independent Verification and Validation of change requests for ...
SEKE
2004
Springer
14 years 2 months ago
2004
Springer
As application semantics becomes more complex and dynamic in IT systems, it is necessary to engineer the application semantics in its own lifecycle of development parallel to syste...
XPU
2009
Springer
14 years 3 months ago
2009
Springer
In the last two decades several models for evaluating software process capability have been defined and became more and more popular. The application of such models, and in particu...
COMPSAC
2010
IEEE
13 years 7 months ago
2010
IEEE
Developing large scale software systems has major security challenges. This paper describes the issues involved and then addresses two topics: formal methods for emerging secure sy...