Sciweavers

670 search results - page 63 / 134
» Software safety: relating software assurance and software in...
Sort
View
ASE
2008
135views more  ASE 2008»
15 years 6 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»
15 years 29 days 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
15 years 11 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
16 years 25 days 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
15 years 11 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