1099 search results - page 84 / 220 » A Formal Approach to Domain-Oriented Software Design Environ... |
157
click to vote
IPSN
2004
Springer
15 years 11 months ago
2004
Springer
This paper presents an approach for dynamic software reconfiguration in sensor networks. Our approach utilizes explicit models of the design space of the embedded application. The...
184
click to vote
AOIS
2004
15 years 7 months ago
2004
Large scale multi-agent systems (MASs) in unpredictable environments must use machine learning techniques to perform their goals and improve the performance of the system. This pap...
135
click to vote
ICSM
2005
IEEE
15 years 12 months ago
2005
IEEE
We have built a software development tool, CLIME, that uses constraints to ensure the consistency of the different artifacts associated with software. This approach to software dev...
131
click to vote
BIRTHDAY
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. The error-prone process of formal specification and verification of large systems requires an efficient, evolutionary formal development approach. Development graphs have...
199
click to vote
KBSE
2000
IEEE
15 years 10 months ago
2000
IEEE
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...