Panel: Issues in Software Engineering for Survivable Systems
No abstract available.
4,951 papers · page 194 of 248
No abstract available.
Software architectures have the potential to substantially improve the development and evolution of large, complex, multi-lingual, multi-platform, long-running systems.However, in order to achieve this potential, specific techniques for architecture-based modeling, analysis, and …
The widespread use of GUIs for interacting with soft-ware is leading to the construction of more and more complex GUIs. With the growing complexity comes challenges in testing the correctness of a GUI and the underlying software. We present a new technique to au-tomatically gener…
Comparing and contrasting a set of software libraries is useful for reuse related activities such as selecting a library from among several candidates or porting an application from one library to another.The current state of the art in assessing libraries relies on qualitative m…
No abstract available.
No abstract available.
No abstract available.
No abstract available.
In this paper we show how the FLAVERS data flow analysis technique, originally formulated for programs with the rendezvous model of concurrency, can be applied to concurrent Java programs. The general approach of FLAVERS is based on modeling a concurrent program as a flow graph a…
Article Call-mark slicing: an efficient and economical way of reducing slice Share on Authors: Akira Nishimatsu Graduate School of Engineering Science, Osaka University, 1-3 Machikaneyama, Toyonaka, Osaka 560-8531, Japan Graduate School of Engineering Science, Osaka University, 1…
Architecture Dejnition Languages (ADLs) enable the for- malization of the architecture of software systems and the execution of preliminary analyses on them.These analyses aim at supporting the identification and solution of design problems in the early stages of software develop…
No abstract available.
Reducing the costs and risks associated with changing complex software systems has been a principal concern of software engineering research and development. One facet of this effort concerns decentralized software evolution (DSE), which, simply stated, enables third-parties to e…
No abstract available.
Structural coverage criteria are often used as an indicator of the thoroughness of testing, but complete satisfaction of a criterion is seldom achieved.When a software product is released with less than 100% coverage, testers are explicitly or implicitly assuming that executions …
Article Software evolution and "light" semantics (extended abstract) Share on Author: Dewayne E. Perry Bell Laboratories, 600 Mountain Ave., Murray Hill, NJ Bell Laboratories, 600 Mountain Ave., Murray Hill, NJView Profile Authors Info & Claims ICSE '99: Proceedings of the 21st i…
Article LIME: Linda meets mobility Share on Authors: Gian Pietro Picco Dept. of Computer Science, Washington University, Campus Box 1045, One Brookings Drive, St. Louis, MO Dept. of Computer Science, Washington University, Campus Box 1045, One Brookings Drive, St. Louis, MOView P…
Building upon existing software systems while maintaining or improving software quality is a major goal of software engineering. To achieve this, every software engineering phase (requirements analysis, software design, implementation, testing and maintenance) must produce good q…
No abstract available.
No abstract available.