1782 search results - page 71 / 357 » Tool Support for Proof Engineering |
150
click to vote
CSMR
2008
IEEE
15 years 12 months ago
2008
IEEE
We present Build Analyzer, a tool that helps developers optimize the build performance of huge systems written in C. Due to complex C header dependencies, even small code changes ...
151
click to vote
ICSEA
2007
IEEE
15 years 11 months ago
2007
IEEE
The actual standards for service authoring, composition and development are not easy to port and to apply for next generation mobile applications. This paper describes some tools ...
148
click to vote
CSMR
2006
IEEE
15 years 11 months ago
2006
IEEE
Abstract— Adapting software components usable by a particular application is a crucial issue in software component based technology. In fact, software components can be used in c...
146
click to vote
TAPOS
1998
15 years 5 months ago
1998
There is a growing need, both for use within corporate intranets and within the rapidly evolving World Wide Web, to develop tools that are able to retrieve relevant textual inform...
169
click to vote
ECOOPW
1998
Springer
15 years 9 months ago
1998
Springer
This workshop focussed on the requirements for tools and environments that support business rules in an object-oriented setting and attempted to provide an overview of possible tec...