Sciweavers

2118 search results - page 242 / 424
» Execution of A Requirement Model in Software Development
Sort
View
EWSPT
2000
Springer
15 years 10 months ago
Advanced Services for Process Evolution: Monitoring and Decision Support
Process support environments (PSEs) are widely used for modelling, enacting and analyzing human intensive processes. The benefits of a PSE become apparent when processes to be supp...
Ilham Alloui, Sami Beydeda, Sorana Cîmpan, V...
AADEBUG
1995
Springer
15 years 9 months ago
Transparency Debugging with Explanations for Novice Programmers
Novice programmers often find programming to be a difficult and frustrating task. Because of their lack of experience in programming novices have different needs to experts when i...
Philip A. Smith, Geoffrey I. Webb
ISCA
2002
IEEE
141views Hardware» more  ISCA 2002»
15 years 6 months ago
SADL: Simulation Architecture Description Language
This paper introduces the Simulation Architecture Description Language (SADL) developed at the National Aeronautics and Space Administration's Marshall Space Flight Center to...
Kenneth G. Ricks, John M. Weirs, B. Earl Wells
ICSE
2005
IEEE-ACM
16 years 6 months ago
Data structure repair using goal-directed reasoning
Data structure repair is a promising technique for enabling programs to execute successfully in the presence of otherwise fatal data structure corruption errors. Previous research...
Brian Demsky, Martin C. Rinard
ASWEC
2006
IEEE
16 years 10 days 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...