Sciweavers

1099 search results - page 58 / 220
» A tool for assisting the understanding and formal developmen...
Sort
View
WETICE
2003
IEEE
14 years 2 months ago
Software Security Checklist for the Software Life Cycle
A formal approach to security in the software life cycle is essential to protect corporate resources. However, little thought has been given to this aspect of software development...
David P. Gilliam, Thomas L. Wolfe, Joseph S. Sheri...
IWPC
2005
IEEE
14 years 2 months ago
Tool Demonstration: JIVE and JOVE: Java as it Happens
Dynamic software visualization is designed to provide programmers with insights as to what the program is doing. Most current visualizations either use program traces to show info...
Steven P. Reiss, Manos Renieris
FM
1991
Springer
164views Formal Methods» more  FM 1991»
14 years 16 days ago
Formalizing Design Spaces: Implicit Invocation Mechanisms
An important goal of software engineering is to exploit commonalities in system design in order to reduce the complexity of building new systems, support largescale reuse, and pro...
David Garlan, David Notkin
AVI
2004
13 years 10 months ago
MVT: a system for visual testing of software
Software development is prone to time-consuming and expensive errors. Finding and correcting errors in a program (debugging) is usually done by executing the program with differen...
Jan Lönnberg, Ari Korhonen, Lauri Malmi
ACMIDC
2010
13 years 10 months ago
A collaborative approach to the design and evaluation of an interactive learning tool for children with special educational need
We have developed an educational software tool (Aprendiendo) to reinforce the learning process of children with special educational needs. This tool makes use of a variety of inte...
Beatriz López-Mencía, David Dí...