3819 search results - page 432 / 764 » An Outsourcing Model of Software Development |
184
click to vote
SAC
2006
ACM
16 years 24 days ago
2006
ACM
Model Driven Architecture (MDA) is a software development approach that focuses on models. In order to support MDA, a lot of CASE tools have emerged; each of them provides a diffe...
172
click to vote
UML
2005
Springer
16 years 9 days ago
2005
Springer
The recent trend in software engineering to model-centered methodologies is an excellent opportunity for OCL to become a widely used specification language. If the focus of the de...
147
Voted
SEW
2006
IEEE
16 years 25 days ago
2006
IEEE
The Mondex Electronic Purse is an outstanding example of industrial scale formal refinement, and was the first verification to achieve ITSEC level E6 certification. A formal a...
199
click to vote
ENTCS
2006
15 years 6 months ago
2006
Nowadays, software evolution is a very hot topic. Many applications need to be updated or extended with new characteristics during their lifecycle. Software evolution is character...
182
click to vote
SPAA
2006
ACM
16 years 23 days ago
2006
ACM
In response to current technology scaling trends, architects are developing a new style of processor, known as spatial computers. A spatial computer is composed of hundreds or eve...