Sciweavers

7380 search results - page 292 / 1476
» Engineering Software Intensive Systems
Sort
View
TAMODIA
2008
15 years 8 months ago
Learning Key Contexts of Use in the Wild for Driving Plastic User Interfaces Engineering
This paper addresses software plasticity, i.e. the ability of interactive systems to adapt to context of use while preserving user-centered properties. In plasticity, a classical a...
Vincent Ganneau, Gaëlle Calvary, Rachel Demum...
FEDCSIS
2011
76views more  FEDCSIS 2011»
14 years 6 months ago
Search--Based Testing, the Underlying Engine of Future Internet Testing
Abstract—The Future Internet will be a complex interconnection of services, applications, content and media, on which our society will become increasingly dependent. Time to mark...
Arthur I. Baars, Kiran Lakhotia, Tanja E. J. Vos, ...
EMSOFT
2007
Springer
16 years 25 days ago
Proving the absence of run-time errors in safety-critical avionics code
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...
Patrick Cousot
171
Voted
ISSTA
2009
ACM
16 years 1 months ago
Memory slicing
Traditional dynamic program slicing techniques are code-centric, meaning dependences are introduced between executed statement instances, which gives rise to various problems such...
Bin Xin, Xiangyu Zhang
ICSE
2008
IEEE-ACM
16 years 6 months ago
Reference architecture knowledge representation: an experience
Software architectures have played a significant role in determining the success of software systems. In spite of impact of the architectures to the software development and, as a...
Elisa Yumi Nakagawa, José Carlos Maldonado