Sciweavers

4004 search results - page 350 / 801
» Selecting an Approach to Designing Group Support Systems
Sort
View
ISESE
2003
IEEE
15 years 12 months ago
Management of Interdependencies in Collaborative Software Development
In this paper we report results of an informal field study of a software development team conducted during an eight week internship at the NASA/Ames Research Center. The team deve...
Cleidson R. B. de Souza, David F. Redmiles, Gloria...
ASWEC
2009
IEEE
15 years 4 months ago
From Requirements to Embedded Software - Formalising the Key Steps
Failure of a design to satisfy a system's requirements can result in schedule and cost overruns. When using current approaches, ensuring requirements are satisfied is often d...
Toby Myers, R. Geoff Dromey
POPL
2004
ACM
16 years 7 months ago
Principal typings for Java-like languages
The contribution of the paper is twofold. First, we define a general notion of type system equipped with an entailment relation between type environments; this generalisation serv...
Davide Ancona, Elena Zucca
NOSSDAV
2005
Springer
16 years 5 days ago
Hierarchical disk sharing for multimedia systems
Systems that use or serve multimedia data require timely access to data on hard drives. To ensure adequate performance users must either prevent overload of disk resources, or use...
Joel C. Wu, Scott A. Banachowski, Scott A. Brandt
QOSA
2010
Springer
15 years 10 months ago
Parameterized Reliability Prediction for Component-Based Software Architectures
Critical properties of software systems, such as reliability, should be considered early in the development, when they can govern crucial architectural design decisions. A number o...
Franz Brosch, Heiko Koziolek, Barbora Buhnova, Ral...