Sciweavers

10379 search results - page 428 / 2076
» The Chaos of Software Development
Sort
View
SAFECOMP
2005
Springer
16 years 13 days ago
Problem Frames and Architectures for Security Problems
Abstract. We present several problem frames that serve to structure, characterize and analyze software development problems in the area of software and system security. These probl...
Denis Hatebur, Maritta Heisel
ISICT
2003
15 years 8 months ago
Supporting complexity through (informational and physical) collaboration and modeling
Abstract: A vision of tools to support software development organizations in the process of development, maintenance and evolution of systems is presented. The envisioned tools see...
Daniel C. M. May, Bent Bruun Kristensen, Palle Now...
PERCOM
2004
ACM
16 years 6 months ago
A Software Engineering Framework for Context-Aware Pervasive Computing
There is growing interest in the use of context-awareness as a technique for developing pervasive computing applications that are flexible, adaptable, and capable of acting autono...
Karen Henricksen, Jadwiga Indulska
LPAR
2005
Springer
16 years 13 days ago
Integration of a Software Model Checker into Isabelle
Abstract. The paper presents a combination of interactive and automatic tools in the area of software verification. We have integrated a newly developed software model checker int...
Matthias Daum, Stefan Maus, Norbert Schirmer, M. N...
WETICE
2003
IEEE
16 years 6 days ago
Historical Awareness Support and Its Evaluation in Collaborative Software Engineering
The types of awareness relevant to collaborative software engineering are identified and an additional type, “historical awareness” is proposed. This new type of awareness is...
David Nutter, Cornelia Boldyreff