1782 search results - page 18 / 357 » Tool Support for Proof Engineering |
ICSE
2008
IEEE-ACM
14 years 9 months ago
2008
IEEE-ACM
End-user programming tools for creating spreadsheets and webforms offer no data types except "string" for storing many kinds of data, such as person names and street add...
IUI
2003
ACM
14 years 1 months ago
2003
ACM
Model-based approaches can be useful when designing nomadic applications, which can be accessed through multiple interaction s. Various models and levels of abstraction can be con...
WCRE
2006
IEEE
14 years 2 months ago
2006
IEEE
Aspect mining requires adequate tool support to locate source code elements implementing crosscutting concerns (aka seeds), to explore and understand relations describing these el...
QSIC
2005
IEEE
14 years 2 months ago
2005
IEEE
We believe that tool support is very important for any methodology. In this paper we describe PDT (Prometheus Design Tool) which supports the design of an intelligent agent system...
APSEC
2005
IEEE
14 years 2 months ago
2005
IEEE
We describe the “STSC” prototype tool that supports the statistical testing of software components. The tool supports a wide range of operational profiles and test oracles for...