Sciweavers

5457 search results - page 298 / 1092
» Software Component Independence
Sort
View
SCS
2003
15 years 6 months ago
Safety Assurance Contracts for Integrated Modular Avionics
This paper describes a method for performing safety analysis on an Integrated Modular Avionics system in a manner which supports the incremental development and change of system c...
Philippa Conmy, Mark Nicholson, John A. McDermid
CC
2006
Springer
15 years 8 months ago
Interprocedural Dataflow Analysis in the Presence of Large Libraries
Interprocedural dataflow analysis has a large number of uses for software optimization, maintenance, testing, and verification. For software built with reusable components, the tra...
Atanas Rountev, Scott Kagan, Thomas J. Marlowe
ICSE
1997
IEEE-ACM
15 years 9 months ago
A Case Study of Distributed, Asynchronous Software Inspection
Traditional software inspection requires participants to meet together at the same time in the same place. Distributed, asynchronous inspection allows participants to conduct meet...
Michael Stein, John Riedl, Sören J. Harner, V...
KBSE
2008
IEEE
15 years 11 months ago
Mashups and modularity: Towards secure and reusable web applications
The software industry is currently experiencing a paradigm shift towards web-based software. We argue that web technologies should evolve in a direction that would allow the devel...
Antero Taivalsaari, Tommi Mikkonen
ECBS
2000
IEEE
97views Hardware» more  ECBS 2000»
15 years 9 months ago
Ensuring Structure and Behavior Correctness in Design Composition
The design of a large component-based software system typically involves the composition of different components. Instead of relying on a free composition of components, we advoca...
Jing Dong, Paulo S. C. Alencar, Donald D. Cowan