3021 search results - page 398 / 605 » A Domain Engineering Approach for Situational Method Enginee... |
177
click to vote
DAC
2004
ACM
16 years 7 months ago
2004
ACM
A recursive algorithm for solving Boolean relations is presented. It provides several features: wide exploration of solutions, parametrizable cost function and efficiency. The exp...
182
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
Fast real-time feasibility tests and analysis algorithms are necessary for a high acceptance of the formal techniques by industrial software engineers. This paper presents a possi...
163
click to vote
EUROMICRO
2005
IEEE
16 years 3 days ago
2005
IEEE
This article addresses the utilisation of the componentbased approach for building and executing a distributed application that can offer services over a set of heterogeneous and ...
181
click to vote
AOSE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. One of the most critical problems in software maintenance and evolution is propagating changes. Although many approaches have been proposed, automated change propagation ...
133
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
This poster paper outlines a method for a search based approach to the development of provably correct protocols. Categories and Subject Descriptors C.2.2 [Computer Communication ...