4726 search results - page 23 / 946 » Domain Modeling of Software Process Models |
149
click to vote
HICSS
2000
IEEE
15 years 10 months ago
2000
IEEE
Advances in geographical information systems (GIS) and supporting data collection technology has resulted in the rapid collection of a huge amount of spatial data. However, known ...
169
click to vote
ICSR
2004
Springer
15 years 11 months ago
2004
Springer
Quality assurance (QA) tasks, such as testing, profiling, and performance evaluation, have historically been done in-house on developer-generated workloads and regression suites. ...
180
click to vote
ISORC
2005
IEEE
15 years 11 months ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
150
click to vote
KBSE
2010
IEEE
15 years 3 months ago
2010
IEEE
This paper proposes GenericDiff, a general framework for model comparison. The main idea is to separate the specification of domain-specific model properties and syntax from the g...