1481 search results - page 45 / 297 » Enriching the Software Development Process by Formal Methods |
128
click to vote
CAISE
1999
Springer
15 years 7 months ago
1999
Springer
: In this article we present a new approach to software process modelling for a large banking organisation. In the past years, the main software development methods and tools of th...
106
click to vote
FATES
2003
Springer
15 years 8 months ago
2003
Springer
A key aspect of the Object-Oriented (OO) approach is that a designer can enrich an OO system by providing suitable (re-)definitions for some of the methods of the given system. A...
183
click to vote
ISPW
2011
IEEE
14 years 7 months ago
2011
IEEE
Software process models are sophisticated and large specifications aimed at organizing and managing software development. Their formal specification demands an enormous effort,...
125
click to vote
SIGSOFT
2005
ACM
16 years 4 months ago
2005
ACM
The continuous requirements of evolving a delivered software system and the rising cost of shutting down a running software system are forcing researchers and practitioners to fin...
164
click to vote
INLG
2010
Springer
15 years 1 months ago
2010
Springer
Critical software most often requires an independent validation and verification (IVV). IVV is usually performed by domain experts, who are not familiar with specific, many times ...