16859 search results - page 15 / 3372 » Generative software development |
110
click to vote
AOSE
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. The agent-oriented software engineering methodology Tropos offers a structured development process and supporting tools for developing complex, distributed systems. The ...
123
click to vote
COMPSAC
2006
IEEE
15 years 5 months ago
2006
IEEE
The Sage development method and associated tool set support an incremental, iterative, model-driven process to build and maintain high assurance, reactive multi-agent systems. A s...
108
click to vote
IJCAI
2007
15 years 1 months ago
2007
Testing embedded software systems on the control units of vehicles is a safety-relevant task, and developing the test suites for performing the tests on test benches is time-consu...
ATAL
2008
Springer
15 years 1 months ago
2008
Springer
OperettA is a graphical tool that supports the design, verification and simulation of OperA models. It ensures consistency between different design parts, provides a formal specif...
112
click to vote
QNS
1996
15 years 1 months ago
1996
In this paper we look at the developmentof ScaLAPACK, a software library for dense and banded numerical linear algebra, and the NAG Numerical PVM Library, which includes software ...