1031 search results - page 27 / 207 » On the Formal Development of Safety-Critical Software |
104
Voted
ICSE
2001
IEEE-ACM
15 years 5 months ago
2001
IEEE-ACM
This paper summarizes an approach for introducing component-based software engineering (CBSE) early in the undergraduate CS curriculum, and an evaluation of the impact of the appr...
76
Voted
DEXAW
2000
IEEE
15 years 5 months ago
2000
IEEE
This paper addresses the problem of enabling a user of a process-centered SDE, hosted on a high-speed network, to continue working on a detached mobile workstation connected by a l...
110
click to vote
SOSYM
2010
14 years 7 months ago
2010
Component-based software engineering (CBSE) is viewed as an opportunity to deal with the increasing complexity of modern-day software. Along with CBSE comes the notion of component...
110
Voted
AO
2006
15 years 19 days ago
2006
Large software systems are modularized in order to improve manageability. The parts of the software system communicate in order to achieve the desired functionality. To better und...
83
Voted
PDP
2007
IEEE
15 years 6 months ago
2007
IEEE
Scientific and engineering programming has been around since the beginning of computing, often being the driving force for new system development and innovation. At the same time...