Sciweavers

5180 search results - page 206 / 1036
» Requirements Engineering
Sort
View
ISSRE
2008
IEEE
15 years 10 months ago
Assessing the Effect of Software Failures on Trust Assumptions
The contribution of this paper is a technique to assess whether software failures during operational use can invalidate the trust assumptions and, hence, the adequacy of the softw...
Qian Feng, Robyn R. Lutz
115
Voted
ICSE
1994
IEEE-ACM
15 years 8 months ago
Lessons from Using Basic LOTOS
We describe three case studies in the use of Basic LOTOS. The studies cover design recovery, requirements speci cation, and design activities. We also report lessons learned from ...
Mark A. Ardis
KBSE
2010
IEEE
15 years 2 months ago
Tool support for quality-driven development of software architectures
In this paper, we present a prototype tool that supports the systematic development of software architectures driven by quality requirements using architectural tactics. The tool ...
Suntae Kim, Dae-Kyoo Kim, Sooyong Park
AVI
2010
15 years 5 months ago
Future development environments for computational scientists
Computational Scientists are both creators and end-users of scientific models. Different aspects to their work target different audiences and generally require different developme...
Andreas Heil, Matthew J. Smith, Alexander Brä...
ICWE
2007
Springer
15 years 10 months ago
Bridging the Gap between BPMN and WS-BPEL. M2M Transformations in Practice
Abstract. The Web is being consolidating as the main platform for the development of applications. Moreover, these applications are not conceived just as isolated systems. This fac...
Pau Giner, Victoria Torres, Vicente Pelechano