3819 search results - page 604 / 764 » An Outsourcing Model of Software Development |
110
Voted
VMCAI
2009
Springer
15 years 7 months ago
2009
Springer
Abstract There is an intimate link between program structure and behaviour. Exploiting this link to phrase program correctness problems in terms of the structural properties of a p...
114
Voted
MOMPES
2009
IEEE
15 years 7 months ago
2009
IEEE
Hard real-time embedded distributed systems pose huge demands in their implementation which must contain as few faults as possible. Over the past years, model-driven development a...
104
Voted
IUI
2010
ACM
15 years 7 months ago
2010
ACM
Soft keyboards offer touch-capable mobile and tabletop devices many advantages such as multiple language support and space for larger graphical displays. On the other hand, becaus...
80
Voted
SEFM
2007
IEEE
15 years 7 months ago
2007
IEEE
It is a common phenomenon for research projects to collect and analyse valuable data using ad-hoc information systems. These costly-to-build systems are often composed of incompat...
112
Voted
ICSE
2007
IEEE-ACM
15 years 7 months ago
2007
IEEE-ACM
Composition of Web Services (WSs) is anticipated as the future standard way to dynamically build distributed applications, and hence their verification and validation is attractin...