Sciweavers

3216 search results - page 269 / 644
» The Oregon Software Development Process
Sort
View
RE
2010
Springer
15 years 1 months ago
A UML-based static verification framework for security
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...
Igor Siveroni, Andrea Zisman, George Spanoudakis
FMICS
2009
Springer
16 years 1 months ago
Towards an Industrial Use of FLUCTUAT on Safety-Critical Avionics Software
Most modern safety-critical control programs, such as those embedded in fly-by-wire control systems, perform a lot of floating-point computations. The well-known pitfalls of IEEE...
David Delmas, Eric Goubault, Sylvie Putot, Jean So...
HICSS
2006
IEEE
119views Biometrics» more  HICSS 2006»
16 years 19 days ago
Increasing Relevance of Smoking Cessation Messages in an Online Software Agent Environment
An online software agent that helps smokers quit was designed and tested. We created a library of categorized smoking cessation messages using meta-data corresponding to the Stage...
Todd Shimoda, Linda Stapel
HASE
2002
IEEE
15 years 11 months ago
The Concept and Practice of Software Quality Assurance in Japan in the Global Era
The Japanese computer industry in 1990s was hit with two major shocks at the same time. One shock was the drastic reform of computers and of network. The other shock was from the ...
Katsuyuki Yasuda, Shigeru Yamada
LION
2010
Springer
188views Optimization» more  LION 2010»
15 years 11 months ago
Grapheur: A Software Architecture for Reactive and Interactive Optimization
Abstract This paper proposes a flexible software architecture for interactive multiobjective optimization, with a user interface for visualizing the results and facilitating the s...
Mauro Brunato, Roberto Battiti