Sciweavers

10239 search results - page 429 / 2048
» Postmodern Software Development
Sort
View
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 11 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...
174
Voted
WETICE
2003
IEEE
16 years 4 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
APSEC
2002
IEEE
15 years 12 months ago
e-Science Experiences: Software Engineering Practice and the EU DataGrid
The conduct of collaborative scientific study mediated by the internet — e-Science — is giving rise to a new type of large distributed software project. This paper reports in...
Lee Momtahan, Andrew Martin
FMOODS
2006
15 years 8 months ago
Synchronizing Behavioural Mismatch in Software Composition
Software Adaptation is a crucial issue for the development of a real market of components promoting software reuse. Recent work in this field has addressed several problems related...
Carlos Canal, Pascal Poizat, Gwen Salaün