1799 search results - page 51 / 360 » The Logic of Correctness in Software Engineering |
160
click to vote
SEKE
2009
Springer
16 years 12 days ago
2009
Springer
Abstract—Business modeling for service engineering aims at flexible transformation of business logic into software code. The ISE framework is an interdisciplinary approach which...
141
click to vote
ISSRE
2008
IEEE
16 years 7 days ago
2008
IEEE
We present a novel specification-based approach for generating tests for products in a software product line. Given properties of features as first-order logic formulas, our app...
157
click to vote
SEKE
2005
Springer
15 years 11 months ago
2005
Springer
The emerging consensus on the boundaries and main elements of the Software Engineering (SE) discipline represents an opportunity for the engineering of shared conceptualizations t...
147
click to vote
SEMCO
2008
IEEE
16 years 7 days ago
2008
IEEE
This demonstration shows how semantic schema matching technology is being incorporated into the BEA AquaLogic Data Services Platform. Specifically, it demonstrates how the manuall...
264
click to vote
POPL
2005
ACM
16 years 6 months ago
2005
ACM
While a typical software component has a clearly specified (static) interface in terms of the methods and the input/output types they support, information about the correct sequen...