15784 search results - page 643 / 3157 » Mega Software Engineering |
205
click to vote
JODS
2006
15 years 7 months ago
2006
W3C's Semantic Web provides a common framework that allows data to be shared and reused across application and enterprise. As the Semantic Web shapes the future of the Web, it...
200
click to vote
APN
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Software performance engineering deals with the consideration of quantitative analysis of the behaviour of software systems from the early development phases in the life ...
223
click to vote
KBSE
2007
IEEE
16 years 1 months ago
2007
IEEE
We present tools to support model-based security engineering on both the model and the code level. In the approach supported by these tools, one firstly specifies the securitycr...
220
click to vote
KBSE
2005
IEEE
16 years 23 days ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
206
click to vote
WCRE
1993
IEEE
15 years 11 months ago
1993
IEEE
Program transformation systems provide one means of formally deriving a program from its speci cation. The main advantage of this development method is that the executable program...