Sciweavers

1508 search results - page 134 / 302
» Toward Software Plug-and-Play
Sort
View
ATAL
2003
Springer
14 years 3 months ago
Modelling secure multiagent systems
Security plays an important role in the development of multiagent systems. However, a careful analysis of software development processes shows that the definition of security requ...
Haralambos Mouratidis, Paolo Giorgini, Gordon A. M...
EWSPT
2003
Springer
14 years 3 months ago
Lessons Learned and Recommendations from Two Large Norwegian SPI Programmes
: Software development is an experimental discipline, i.e. somewhat unpredictable. This suggests that software processes improvement should be based on the continuous iteration of ...
Reidar Conradi, Tore Dybå, Dag I. K. Sj&osla...
ICSE
2001
IEEE-ACM
14 years 3 months ago
Applying WinWin to Quality Requirements: A Case Study
This paper describes the application of the WinWin paradigm to identify and resolve conflicts in a series of real-client, student-developer digital library projects. The paper is ...
Hoh In, Barry W. Boehm, Thomas Lee Rodgers, Michae...
EMSOFT
2007
Springer
14 years 4 months ago
Proving the absence of run-time errors in safety-critical avionics code
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...
Patrick Cousot
ECOOPW
1999
Springer
14 years 2 months ago
Managing Unanticipated Evolution of Software Architectures
Few existing approaches towards architectural evolution deal with unanticipated evolution. This is an important restriction, since a lot of architectural changes are very di cult ...
Kim Mens, Tom Mens, Bart Wouters, Roel Wuyts