1782 search results - page 56 / 357 » Tool Support for Proof Engineering |
HASE
1998
IEEE
14 years 1 months ago
1998
IEEE
Engineers use software tools to analyze designs for critical systems. Because important decisions are based on tool results, tools must provide valid modeling constructs; engineer...
ATAL
2010
Springer
13 years 9 months ago
2010
Springer
Masev12 (MAs Software engineering EValuation framework) is an online application that allows analyzing and comparing methods, techniques and environments for developing MAS. Moreo...
VAMOS
2008
Springer
13 years 10 months ago
2008
Springer
Software Product Line engineering allows companies to realise significant improvements in timeto-market, cost, productivity, and system quality. One major difficulty with software...
ICSM
2006
IEEE
14 years 2 months ago
2006
IEEE
— Software maintenance tools for program analysis and refactoring rely on a meta-model capturing the relevant properties of programs. However, what is considered relevant may cha...
AMAST
2010
Springer
13 years 3 months ago
2010
Springer
Maude modules can be understood as models that can be formally analyzed and verified with respect to different properties expressing various formal requirements. However, Maude lac...