4919 search results - page 116 / 984 » A Process-Ontological Model for Software Engineering |
CAV
2005
Springer
15 years 3 months ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
106
click to vote
IAT
2010
IEEE
14 years 8 months ago
2010
IEEE
ASEME is an emerging Agent Oriented Software Engineering (AOSE) methodology. The Model-Driven Engineering (MDE) paradigm encourages software modelers to automate the transition of...
SEW
2006
IEEE
15 years 4 months ago
2006
IEEE
Acquisition of “quantitative” models of sufficient accuracy to enable effective analysis of requirements tradeoffs is hampered by the slowness and difficulty of obtaining su...
ADAEUROPE
2006
Springer
15 years 4 months ago
2006
Springer
Software reliability models are an important tool in quality management and release planning. There is a large number of different models that often exhibit strengths in differen...
103
click to vote
CORR
2011
Springer
14 years 1 months ago
2011
Springer
: In December of 2010, the new game CityVille achieved 6 million daily active users in just 8 days. Clearly the success of CityVille owes something to the fun gameplay experience i...