Sciweavers

1719 search results - page 292 / 344
» Software Re-Documentation Process and Tool
Sort
View
126
Voted
CMOT
2002
112views more  CMOT 2002»
15 years 3 months ago
Finding Optimal Targets for Change Agents: A Computer Simulation of Innovation Diffusion
We introduce a diffusion of innovation model based on a network threshold approach. Realistic network and threshold data were gathered regarding the diffusion of new software tool...
Dirk Maienhofer, Thomas A. Finholt
133
Voted
IFM
2004
Springer
104views Formal Methods» more  IFM 2004»
15 years 9 months ago
Linking CSP-OZ with UML and Java: A Case Study
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
Michael Möller, Ernst-Rüdiger Olderog, H...
121
Voted
CPE
2003
Springer
149views Hardware» more  CPE 2003»
15 years 8 months ago
Logical and Stochastic Modeling with SMART
We describe the main features of SmArT, a software package providing a seamless environment for the logic and probabilistic analysis of complex systems. SmArT can combine differen...
Gianfranco Ciardo, R. L. Jones III, Andrew S. Mine...
130
Voted
INCDM
2001
Springer
109views Data Mining» more  INCDM 2001»
15 years 8 months ago
Experience Management: The Fraunhofer IESE Experience Factory
: Experience Management (EM) is an area that is increasingly gaining importance. Its roots lie in Experimental Software Engineering ("Experience Factory"), in Artificial ...
Klaus-Dieter Althoff, Björn Decker, Susanne H...
135
Voted
UML
2000
Springer
15 years 7 months ago
UMLi: The Unified Modeling Language for Interactive Applications
User interfaces (UIs) are essential components of most software systems, and significantly affect the effectiveness of installed applications. In addition, UIs often represent a s...
Paulo Pinheiro da Silva, Norman W. Paton