Sciweavers

879 search results - page 105 / 176
» Software Reuse in an Industrial Setting: A Case Study
Sort
View
ICSE
2001
IEEE-ACM
14 years 2 months ago
Improving Validation Activities in a Global Software Development
Global software development challenges traditional techniques of software engineering, such as peer reviews or teamwork. Effective teamwork and coaching of engineers highly contri...
Christof Ebert, Casimiro Hernandez Parro, Roland S...
ECBS
2010
IEEE
209views Hardware» more  ECBS 2010»
14 years 2 months ago
Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
Lucas Cordeiro, Bernd Fischer 0002, João Ma...
WICSA
2004
13 years 11 months ago
Symphony: View-Driven Software Architecture Reconstruction
Authentic descriptions of a software architecture are required as a reliable foundation for any but trivial changes to a system. Far too often, architecture descriptions of existi...
Arie van Deursen, Christine Hofmeister, Rainer Kos...
AAAI
1994
13 years 11 months ago
Recovering Software Specifications with Inductive Logic Programming
We consider using machine learning techniques to help understand a large software system. In particular, we describe how learning techniques can be used to reconstruct abstract Da...
William W. Cohen
ICSEA
2007
IEEE
14 years 4 months ago
Software Environment for Research on Evolving User Interface Designs
We investigate the trade off between investing effort in improving the features of a research environment that increases productivity and investing such effort in actually conduct...
Juan C. Quiroz, Anil Shankar, Sergiu M. Dascalu, S...