2527 search results - page 315 / 506 » Software development with imperfect information |
156
click to vote
KBSE
1998
IEEE
15 years 10 months ago
1998
IEEE
Starting from a graphical data model (a subset of the OMT object model), a skeleton of formal specification can be generated and completed to express several constraints and provi...
205
click to vote
DEXA
1997
Springer
15 years 10 months ago
1997
Springer
Nowadays, if we want to obtain a sound and correct final software product it is very important to be able to properly join modern OO programming environments, which are built for ...
159
click to vote
COMPSAC
2009
IEEE
15 years 9 months ago
2009
IEEE
—As an effective approach to maintain software system without interrupting the service, online migration has been applied for many goals, e.g. achieving a higher system performan...
161
click to vote
CANDC
2005
ACM
15 years 8 months ago
2005
ACM
Important design problems are raised in developing software for amateur users, a group distinguished here from novices. The authors argue that these design problems can be approac...
150
click to vote
ISSRE
2007
IEEE
15 years 8 months ago
2007
IEEE
Enterprise systems must guarantee high availability and reliability to provide 24/7 services without interruptions and failures. Mechanisms for handling exceptional cases and impl...