Sciweavers

3514 search results - page 509 / 703
» Evolving Specification Engineering
Sort
View
SIGADA
1998
Springer
15 years 10 months ago
Algorithm Animation with Symbol Processing Robots
This experience report demonstrates several running programs with visual, animated, colorful displays of "algorithms in action." A common element of all of the programs ...
Brad S. Crawford
CAISE
1993
Springer
15 years 10 months ago
Visualisation for Validation
Animation is a multiple graphical view of a process in action. Animation has been successfully employed in programming for designing, developing and debugging programs or monitori...
Vali Lalioti, Pericles Loucopoulos
ECAI
1994
Springer
15 years 10 months ago
Similarity for Analogical Software Reuse: A Computational Model
This paper describes a computational model of similarity developed to support analogical software reuse. Similarity is computed from conceptual descriptions of software artifacts o...
George Spanoudakis, Panos Constantopoulos
EKAW
1992
Springer
15 years 10 months ago
Knowledge Acquisition for Explainable, Multi-Expert, Knowledge-Based Design Systems
In order to help the knowledge engineer and the expert during knowledge acquisition phase, the ACACIA Group is working on a knowledge acquisition methodology and tool (KATEMES)all...
Rose Dieng, Alain Giboin, Paul-André Tourti...
GROUP
2007
ACM
15 years 10 months ago
Users as contextual features of software product development and testing
This paper examines how software developers discuss users and how such discussions are intrinsic to the negotiation and settling of technical decisions in the development and test...
David Martin, John Rooksby, Mark Rouncefield