1574 search results - page 31 / 315 » Integrated Tools for Performance-Oriented Distributed Softwa... |
119
click to vote
EWSA
2004
Springer
15 years 8 months ago
2004
Springer
This paper provides an overview on the approach of the IST OMEGA project for the development of correct software for embedded systems based on the use of UML as modelling language....
115
Voted
COMPSAC
2002
IEEE
15 years 7 months ago
2002
IEEE
There is an increasing trend in global software development, where different parts of a software product are being developed in different organisations. The process aspect of such...
107
Voted
ACSAC
2005
IEEE
15 years 8 months ago
2005
IEEE
Software model checking has become a popular tool for verifying programs’ behavior. Recent results suggest that it is viable for finding and eradicating security bugs quickly. ...
114
Voted
ICRA
1999
IEEE
15 years 7 months ago
1999
IEEE
Developing automated assembly systems normally happens in two distinct stages: rst an o -line" stage in which the system is designed and programmed in simulated and then an o...
100
Voted
CASCON
2003
15 years 4 months ago
2003
Many software engineering research tools are stand-alone applications that have trouble interoperating with other development tools and do not fit well into the software develope...