Sciweavers

670 search results - page 63 / 134
» Software safety: relating software assurance and software in...
Sort
View
ASE
2008
135views more  ASE 2008»
13 years 10 months ago
Deriving event-based transition systems from goal-oriented requirements models
Goal-oriented methods are increasingly popular for elaborating software requirements. They offer systematic support for incrementally building intentional, structural, and operati...
Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebasti&...
JSS
2010
123views more  JSS 2010»
13 years 5 months ago
Composition of architectural models: Empirical analysis and language support
Managing the architectural description (AD) of a complex software system and maintaining consistency among the different models is a demanding task. To understand the underlying p...
Nelis Boucké, Danny Weyns, Tom Holvoet
ATAL
2004
Springer
14 years 3 months ago
Demonstration of the Secure Wireless Agent Testbed (SWAT)
We will demonstrate the Secure Wireless Agent Testbed (SWAT), a unique facility developed at Drexel University to study integration, networking and information assurance for next-...
Gustave Anderson, Andrew Burnheimer, Vincent A. Ci...
ICSM
2009
IEEE
14 years 4 months ago
The end-to-end use of source code examples: An exploratory study
This appendix contains the details of our case studies out­ lined in our paper for the 2009 International Conference on Software Maintenance, as well as an expanded discussion se...
Reid Holmes, Rylan Cottrell, Robert J. Walker, J&o...
VISSOFT
2005
IEEE
14 years 3 months ago
Support for Static Concept Location with sv3D
The paper presents a new visualization approach to support static concept location in source code. The approach is realized through the combination of two existing tools: IRiSS, w...
Xinrong Xie, Denys Poshyvanyk, Andrian Marcus