Sciweavers

1940 search results - page 83 / 388
» Dependable Software: An Oxymoron
Sort
View
ICSE
1993
IEEE-ACM
14 years 29 days ago
Formal Approaches to Software Architecture
Over the past 15 years there has been increasing recognition that careful attention to the design of a system’s software architecture is critical to satisfying its requirements ...
David Garlan
SIGSOFT
1994
ACM
14 years 29 days ago
Speeding up Slicing
Program slicing is a fundamental operation for many software engineering tools. Currently, the most efficient algorithm for interprocedural slicing is one that uses a program repr...
Thomas W. Reps, Susan Horwitz, Shmuel Sagiv, Genev...
ICSE
2007
IEEE-ACM
14 years 9 months ago
Suade: Topology-Based Searches for Software Investigation
The investigation of a software system prior to a modification task often constitutes an important fraction of the overall effort associated with the task. We present Suade, an Ec...
Frédéric Weigand Warr, Martin P. Rob...
COMPSAC
2005
IEEE
14 years 2 months ago
Reasoning About Software Architecture-Based Regression Testing Through a Case Study
Two main issues need to be covered when dealing with the dependability of component-based systems: quality assurance of reusable software components and quality assurance of the a...
Henry Muccini, Marcio S. Dias, Debra J. Richardson
ICSNC
2006
IEEE
14 years 2 months ago
Privacy-Invasive Software and Preventive Mechanisms
Computers are increasingly more integrated into peoples’ daily lives. In this development, user privacy is affected by the occurrence of privacy-invasive software (PIS), sometime...
Martin Boldt, Bengt Carlsson