Sciweavers

585 search results - page 64 / 117
» Requirements Engineering for Time-to-Market Projects
Sort
View
ICSE
2007
IEEE-ACM
15 years 12 months ago
A Sound Assertion Semantics for the Dependable Systems Evolution Verifying Compiler
The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or c...
Patrice Chalin
XPU
2005
Springer
15 years 5 months ago
An Approach for Assessing Suitability of Agile Solutions: A Case Study
Dynamic market situation and changing customer requirements generate more demands for the product development. Product releases should be developed and managed in short iterations ...
Minna Pikkarainen, Ulla Passoja
CAISE
2004
Springer
15 years 5 months ago
CoDoc: Multi-mode Collaboration over Documents
Abstract. In software engineering as well as in any engineering domain, a way of customizing the collaborative work to various modes of collaboration, i.e. synchronous and asynchro...
Claudia-Lavinia Ignat, Moira C. Norrie
AUIC
2003
IEEE
15 years 5 months ago
Use of Video Shadow for Small Group Interaction Awareness on a Large Interactive Display Surface
This paper reports work done as part of the Large Interactive Display Surface(LIDS) project at the University of Waikato. One application of the LIDS equipment is distributed meet...
Mark D. Apperley, Laurie McLeod, Masood Masoodian
WOSP
2010
ACM
15 years 4 months ago
A framework for utility-based service oriented design in SASSY
The architecture of a software system has a significant impact on its quality of service (QoS) as measured by several performance metrics such as execution time, availability, th...
Daniel A. Menascé, John M. Ewing, Hassan Go...