1033 search results - page 125 / 207 » Software Quality in the Objectory Process |
125
click to vote
ECMDAFA
2006
Springer
15 years 7 months ago
2006
Springer
In MDE, model transformations should be efficiently tested so that it may be used and reused safely. Mutation analysis is an efficient technique to evaluate the quality of test dat...
141
click to vote
SCAM
2008
IEEE
15 years 10 months ago
2008
IEEE
—More and more current software systems rely on non trivial coordination logic for combining autonomous services typically running on different platforms and often owned by diffe...
151
Voted
FM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Many long-lived and distributed systems must remain available yet evolve over time, due to, e.g., bugfixes, feature extensions, or changing user requirements. To facilit...
148
click to vote
CLA
2006
15 years 5 months ago
2006
Abstract. Design defects are poor design choices resulting in a hard-tomaintain software, hence their detection and correction are key steps of a disciplined software process aimed...
154
click to vote
CASCON
2007
15 years 5 months ago
2007
We present preliminary work on an IDE for formal software development using tabular expressions as the basis for precise specifications and descriptions of software behaviour. 1 ...