2219 search results - page 5 / 444 » An environment for synchronous software development |
FMCO
2003
Springer
14 years 25 days ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
METRICS
2005
IEEE
14 years 1 months ago
2005
IEEE
In order to facilitate the application of software measurement the gathering of software measures should be automated as far as possible by the integration of the software measure...
KBSE
1998
IEEE
13 years 12 months ago
1998
IEEE
During the last three years we have been building an instantiation of a system's development paradigm, called ARTS. The paradigm consists of a view of what a system developme...
ICSE
2007
IEEE-ACM
14 years 7 months ago
2007
IEEE-ACM
The need for high performance computing applications for computational science and engineering projects is growing rapidly, yet there have been few detailed studies of the softwar...
HIPEAC
2010
Springer
14 years 4 months ago
2010
Springer
Whereas efficient barrier implementations were once a concern only in high-performance computing, recent trends in core integration make the topic relevant even for general-purpos...