4061 search results - page 560 / 813 » Framework Evolution Tool |
245
click to vote
ESEC
1999
Springer
15 years 11 months ago
1999
Springer
CIP is a model-based software development method for embedded systems. The problem of constructing an embedded system is decomposed into a functional and a connection problem. The ...
217
click to vote
SSD
1997
Springer
15 years 10 months ago
1997
Springer
Theory, algorithms, techniques and tools for producing a generalisation of a map have long been available. In this paper we study the inverse problem, namely, given two maps L and...
137
click to vote
TOOLS
1994
IEEE
15 years 10 months ago
1994
IEEE
The term software engineering arose in the 1960s to emphasize that the production of software should not be an art, as it was then (and sometimes still is today), but an engineeri...
183
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we propose a methodology for the construction of 3D electronic institutions. 3D electronic institutions are normative environments where software and human agents ca...
162
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract-- We present the applications of reachability methods and computational tools based on game theory to a problem in air traffic management. The use of such methods in air t...