Sciweavers

2969 search results - page 423 / 594
» The Case for User-Centered CASE Tools
Sort
View
KBSE
2009
IEEE
16 years 1 months ago
Inferring Method Effect Summaries for Nested Heap Regions
Effect systems are important for reasoning about the side effects of a program. Although effect systems have been around for decades, they have not been widely adopted in practice...
Mohsen Vakilian, Danny Dig, Robert L. Bocchino Jr....
ICSM
2009
IEEE
16 years 1 months ago
Augmenting static source views in IDEs with dynamic metrics
Mainstream IDEs such as Eclipse support developers in managing software projects mainly by offering static views of the source code. Such a static perspective neglects any informa...
David Röthlisberger, Marcel Harry, Alex Villa...
IPPS
2009
IEEE
16 years 1 months ago
Accurate analytical performance model of communications in MPI applications
This paper presents a new LogP-based model, called LoOgGP, which allows an accurate characterization of MPI applications based on microbenchmark measurements. This new model is an...
Diego Rodriguez Martínez, José Carlo...
BPM
2009
Springer
146views Business» more  BPM 2009»
16 years 1 months ago
Instantaneous Soundness Checking of Industrial Business Process Models
We report on a case study on control-flow analysis of business process models. We checked 735 industrial business process models from financial services, telecommunications and o...
Dirk Fahland, Cédric Favre, Barbara Jobstma...
BPM
2009
Springer
157views Business» more  BPM 2009»
16 years 1 months ago
An Evaluation Framework for Business Process Management Products
The number of BPM products available has increased substantially in the last years, so that choosing among these products became a difficult task for potential BPM users. This pape...
Stefan R. Koster, Maria-Eugenia Iacob, Luís...