1782 search results - page 38 / 357 » Tool Support for Proof Engineering |
ICWE
2009
Springer
14 years 3 months ago
2009
Springer
Adequate tool support is a crucial factor of success for a software development method or technique. In this paper, we present the MagicUWE tool, that supports systematic design of...
BNCOD
2003
13 years 10 months ago
2003
This paper describes ProSQL, a novel prototyping tool to support the development of extensions to SQL. ProSQL provides a simple way to prototype the features of a proposed extensio...
ICSM
1999
IEEE
14 years 29 days ago
1999
IEEE
Evolving an existing software system is fundamentally different from developing one from scratch. Consequently, tools to support evolution must go beyond traditional development t...
AMAST
2010
Springer
13 years 3 months ago
2010
Springer
Fusion is an indispensable tool in the arsenal of techniques for program derivation. Less well-known, but equally valuable is type fusion, which states conditions for fusing an app...
IEEESCC
2008
IEEE
14 years 3 months ago
2008
IEEE
Enterprise IT environments are complex: business applications rely on distributed middleware running on diverse hardware with components depending on each other in many unexpected...