4349 search results - page 263 / 870 » A Comprehensive Process Model for Studying Software Process ... |
149
click to vote
ARCS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. In order to support the dependability analysis of a system under design in an early phase of the design process, so-called fault tolerance libraries can be created that c...
150
click to vote
JOT
2008
15 years 4 months ago
2008
All readers of this paper most likely have knowledge of the software requirements discipline and of the use case notation, however not everyone is aware that with the progress of ...
137
click to vote
ASPDAC
2009
ACM
15 years 10 months ago
2009
ACM
Abstract— This paper presents synthesis of Hardware Dependent Software (HdS) for multicore and many-core designs using Embedded System Environment (ESE). ESE is a tool set, devel...
121
click to vote
COMPSAC
2004
IEEE
15 years 8 months ago
2004
IEEE
Many developers who could benefit from building and analysing formal models of their systems are deterred from doing so by the process algebra style input languages of formal mode...
153
click to vote
ICPADS
2005
IEEE
15 years 10 months ago
2005
IEEE
Commercial Off-The-Shelf (COTS) software products are increasingly used as software components in large-scale systems. We had proposed an approach for distributed COTS software int...