4919 search results - page 363 / 984 » A Process-Ontological Model for Software Engineering |
185
click to vote
ADAEUROPE
2010
Springer
15 years 3 months ago
2010
Springer
Abstract: This paper proposes a strategy to manage the schedulability of realtime component-based applications that is fully compatible with the concept of component viewed as a re...
131
click to vote
SEFM
2009
IEEE
15 years 12 months ago
2009
IEEE
—This paper addresses the issue of guaranteeing the correctness of fault diagnosis mechanisms in multi-agent systems. We propose an automated approach to verifying the property o...
141
click to vote
ICFEM
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We study the problem of generating a database and parameters for a given parameterized SQL query satisfying a given test condition. We introduce a formal background theor...
148
click to vote
ICSM
2006
IEEE
15 years 11 months ago
2006
IEEE
The association between the description of a concern (e.g., a feature) and the code that implements it is valuable information that can degrade as the code of a system evolves. We...
121
click to vote
QSIC
2003
IEEE
15 years 10 months ago
2003
IEEE
The Abstract State Machine Language supports use-case oriented modeling in a faithful way. In this paper we discuss how the AsmL test tool, a new component of the AsmL tool environ...