Sciweavers

2030 search results - page 23 / 406
» Designing Complex Software Implementation Programs
Sort
View
AUTONOMICS
2008
ACM
13 years 9 months ago
Verification and semantic parallelization of goal-driven autonomous software
Future space missions such as the Mars Science Laboratory demand the engineering of some of the most complex manrated autonomous software systems. According to some recent estimat...
Damian Dechev, Nicolas Rouquette, Peter Pirkelbaue...
SIGSOFT
2009
ACM
14 years 8 months ago
Static data race detection for concurrent programs with asynchronous calls
A large number of industrial concurrent programs are being designed based on a model which combines threads with event-based communication. These programs consist of several threa...
Vineet Kahlon, Nishant Sinha, Erik Kruus, Yun Zhan...
GPCE
2009
Springer
14 years 7 days ago
Safe composition of non-monotonic features
Programs can be composed from features. We want to verify automatically that all legal combinations of features can be composed safely without errors. Prior work on this problem a...
Martin Kuhlemann, Don S. Batory, Christian Kä...
ESEM
2009
ACM
14 years 2 months ago
Predicting defects with program dependencies
Software development is a complex and error-prone task. An important factor during the development of complex systems is the understanding of the dependencies that exist between d...
Thomas Zimmermann, Nachiappan Nagappan
APAQS
2001
IEEE
13 years 11 months ago
Using a Coding Standard to Improve Program Quality
Program quality represents the most significant part of software quality control that assures all characteristics of software products to satisfy the user's explicit and impl...
X. Fang