1622 search results - page 219 / 325 » Deriving Software Process Simulation Model from SPEM-based S... |
106
click to vote
JWSR
2007
15 years 2 months ago
2007
: Service discovery has been recognised as an important aspect in the development of service centric systems, i.e., software systems which deploy web services. To develop such syst...
105
click to vote
ISSTA
2009
ACM
15 years 8 months ago
2009
ACM
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...
127
click to vote
APSEC
2002
IEEE
15 years 7 months ago
2002
IEEE
Reengineering legacy software systems to object oriented platforms has received significant attention over the past few years. In this paper, we propose a goal driven software mig...
132
click to vote
ICDE
2010
IEEE
15 years 6 months ago
2010
IEEE
Modern science is collecting massive amounts of data from sensors, instruments, and through computer simulation. It is widely believed that analysis of this data will hold the key ...
133
click to vote
UML
2000
Springer
15 years 5 months ago
2000
Springer
Software testing can only be formalized and quanti ed when a solid basis for test generation can be de ned. Tests are commonly generated from program source code, graphical models ...