110 search results - page 4 / 22 » Software Process Synthesis in Assurance Based Development of... |
SAC
2010
ACM
15 years 4 months ago
2010
ACM
This paper proposes a software architecture and a development process for engineering dependable and controllable self-organising (SO) systems. Our approach addresses dependabilit...
ICSE
2000
IEEE-ACM
15 years 1 months ago
2000
IEEE-ACM
: Producing More Reliable Software: Mature Software Engineering Process vs. State-of-the-Art Technology? A customer of high assurance software recently sponsored a software enginee...
HICSS
2006
IEEE
15 years 3 months ago
2006
IEEE
Historically, software application systems have been produced either individually tailored for the specific customer, or they have been adapted from standardized packages. This pa...
GI
2005
Springer
15 years 3 months ago
2005
Springer
: This is an ongoing project, which is scheduled until 2005. So I decided together with Richard Wang to set up Sup-Projects that could be published earlier. The main objective is t...
ASPDAC
2009
ACM
15 years 4 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...