Sciweavers

3514 search results - page 302 / 703
» Evolving Specification Engineering
Sort
View
AGILEDC
2006
IEEE
16 years 22 days ago
Executable Acceptance Tests for Communicating Business Requirements: Customer Perspective
Using an experimental method, we found that customers, partnered with an IT professional, are able to use executable acceptance test (storytest)-based specifications to communicat...
Grigori Melnik, Frank Maurer, Mike Chiasson
COMPSAC
2005
IEEE
16 years 8 days ago
Incremental Class Testing from a Class Test Order
Many approaches exist to decide the order in which classes should be integrated during (integration) testing. Most of them, based on an analysis of class dependencies (for instanc...
Yvan Labiche
VMCAI
2004
Springer
15 years 12 months ago
A Grand Challenge for Computing: Towards Full Reactive Modeling of a Multi-cellular Animal
Biological systems can be modeled beneficially as reactive systems, using languages and tools developed for the construction of man-made systems. Our long-term aim is to model a f...
David Harel
IWPC
2003
IEEE
15 years 12 months ago
A Tool For Understanding Multi-Language Program Dependencies
1 : This paper describes a prototype tool that facilitates the process of understanding and managing multi-language program dependencies. More specifically, the software tool main...
Panagiotis K. Linos, Zhi-hong Chen, Seth Berrier, ...
213
Voted
VISSOFT
2002
IEEE
15 years 11 months ago
Specifying Algorithm Visualizations in Terms of Data Flow
Interesting events and state mapping are two approaches used to specify software visualization. They are applied in, respectively, event-driven and data-driven visualization syste...
Jaroslaw Francik