1886 search results - page 42 / 378 » Modeling and Enacting Software Processes Using VRPML |
152
Voted
ICSE
1999
IEEE-ACM
15 years 6 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
108
Voted
WSC
1998
15 years 3 months ago
1998
Simulation is fast becoming THE software tool for the 1990's. More companies each year are taking advantage of the ease of use of simulation software and see the benefits to ...
94
Voted
AGILEDC
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper presents a model of incremental change that consists of concept location, impact analysis, actualization, change propagation, supporting refactorings, and testing. Repe...
144
click to vote
DOLAP
2005
ACM
15 years 4 months ago
2005
ACM
Extraction-Transformation-Loading (ETL) tools are pieces of software responsible for the extraction of data from several sources, their cleansing, customization and insertion into...
111
Voted
ICSP
1993
15 years 3 months ago
1993
Much contemporary development process research is based on analyses of process steps, their duration, and the events they propagate. Our initial research in large, mature telecomm...