22560 search results - page 363 / 4512 » Development of Transportation Systems |
185
click to vote
SEFM
2005
IEEE
16 years 13 days ago
2005
IEEE
The need for the B method first appeared in industry, and several commercial tools have been developed to support this formalism. However, few of these tools allow reasoning on t...
166
click to vote
ATAL
2005
Springer
16 years 12 days ago
2005
Springer
The work we present here is mainly concerned with interagent communication, MAS communication protocols and, in particular, software tools and environments to define, experiment a...
194
click to vote
UML
2005
Springer
16 years 10 days ago
2005
Springer
In this paper we describe a framework for robust system maintenance that addresses specific challenges of data-centric applications. We show that for data-centric applications, cl...
219
click to vote
MOZ
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. Extensible Dependency Grammar (XDG) is a graph description language whose formulas can be solved by constraint programming. XDG is designed so as to yield a declarative a...
191
click to vote
CSMR
2003
IEEE
16 years 4 days ago
2003
IEEE
Component-based software development (CBSD) is a very promising software engineering technique for improving reuse and maintenance. Nevertheless, there are still some difficultie...