Sciweavers

2419 search results - page 143 / 484
» A Formal Approach to Software Testing
Sort
View
124
Voted
VL
2003
IEEE
126views Visual Languages» more  VL 2003»
15 years 8 months ago
Generalizing WYSIWYT visual testing to screen transition languages
ct How can rigorous forms of testing be supported in a way that is both compatible with the visual aspect of visual programming languages, and usable by the audiences using those l...
Darren Brown, Margaret M. Burnett, Gregg Rothermel...
167
Voted
JIPS
2010
159views more  JIPS 2010»
14 years 10 months ago
A Dynamic Approach to Estimate Change Impact using Type of Change Propagation
Software evolution is an ongoing process carried out with the aim of extending base applications either for adding new functionalities or for adapting software to changing environm...
Chetna Gupta, Yogesh Singh, Durg Singh Chauhan
103
Voted
SOCRATES
2008
117views Education» more  SOCRATES 2008»
15 years 4 months ago
E-learning by Doing with Computational Logic
E-learning by doing is an important e-learning process, that provides several advantages but that requires a high interactivity degree, not always supported in e-learning contexts...
Federico Chesani, Anna Ciampolini, Paola Mello
155
Voted
ADAEUROPE
2007
Springer
15 years 9 months ago
Correctness by Construction for High-Integrity Real-Time Systems: A Metamodel-Driven Approach
Current trends in software engineering promote the contention that the use of model-driven approaches should prove as beneficial to high-integrity systems as they have to business ...
Matteo Bordin, Tullio Vardanega
COMPSAC
2010
IEEE
15 years 1 months ago
Using Load Tests to Automatically Compare the Subsystems of a Large Enterprise System
Enterprise systems are load tested for every added feature, software updates and periodic maintenance to ensure that the performance demands on system quality, availability and res...
Haroon Malik, Bram Adams, Ahmed E. Hassan, Parmind...