1779 search results - page 296 / 356 » Requirements Engineering and Agile Software Development |
129
click to vote
VSTTE
2005
Springer
15 years 10 months ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
141
click to vote
EMSOFT
2004
Springer
15 years 9 months ago
2004
Springer
Mechatronic systems are embedded software systems with hard real-time requirements. Predictability is of paramount importance for these systems. Thus, their design has to take the...
112
click to vote
ISCAS
2007
IEEE
15 years 10 months ago
2007
IEEE
—Accurate analog models of power system components are required in order to realize an analog computation engine for power systems. Analog computation is an area of continued int...
132
click to vote
DESRIST
2009
Springer
15 years 9 months ago
2009
Springer
Information Systems Security (ISS) is critical to ensuring the integrity and credibility of digitally exchanged information in business processes. Information systems development ...
140
click to vote
SC
2009
ACM
15 years 11 months ago
2009
ACM
Science requires collaboration. In this paper, we investigate the feasibility of coupling current social networking techniques to science gateways to provide a scientific collabor...