Sciweavers

590 search results - page 94 / 118
» Software engineering tools and environments: a roadmap
Sort
View
SIGSOFT
1995
ACM
14 years 3 hour ago
Precise Interprocedural Chopping
The notion of a program slice, originally introduced by Mark Weiser, is a fundamental operation for addressing many software-engineering problems, including program understanding,...
Thomas W. Reps, Genevieve Rosay
UIST
2005
ACM
14 years 2 months ago
A1: end-user programming for web-based system administration
System administrators work with many different tools to manage and fix complex hardware and software infrastructure in a rapidly paced work environment. Through extensive field st...
Eser Kandogan, Eben M. Haber, Rob Barrett, Allen C...
ASWEC
2006
IEEE
14 years 2 months ago
Formal Verification of the IEEE 802.11i WLAN Security Protocol
With the increased usage of wireless LANs (WLANs), businesses and educational institutions are becoming more concerned about wireless network security. The latest WLAN security pr...
Elankayer Sithirasenan, Saad Zafar, Vallipuram Mut...
ADAEUROPE
2005
Springer
14 years 2 months ago
GNAT Pro for On-board Mission-Critical Space Applications
This paper describes the design and implementation of GNAT Pro for ERC32, a flexible cross-development environment supporting the Ravenscar tasking model on top of bare ERC32 comp...
José F. Ruiz
EUROMICRO
2003
IEEE
14 years 1 months ago
Closing the Gap: From Nescience to Knowledge Management
Knowledge management (KM) systems aim at supporting knowledge workers in general and software engineers in particular. These tools help to elicit, structure, and retrieve knowledg...
Alexander Schatten, Stefan Biffl, A. Min Tjoa