Sciweavers

2969 search results - page 195 / 594
» The Case for User-Centered CASE Tools
Sort
View
ECLIPSE
2004
ACM
16 years 3 hour ago
FeaturePlugin: feature modeling plug-in for Eclipse
Feature modeling is a key technique used in product-line development to model commonalities and variabilities of productline members. In this paper, we present FeaturePlugin, a fe...
Michal Antkiewicz, Krzysztof Czarnecki
FM
2003
Springer
114views Formal Methods» more  FM 2003»
15 years 11 months ago
ProB: A Model Checker for B
We present ProB, an animation and model checking tool for the B method. ProB’s animation facilities allow users to gain confidence in their specifications, and unlike the anima...
Michael Leuschel, Michael J. Butler
IWPC
2002
IEEE
15 years 11 months ago
An Open Visualization Toolkit for Reverse Architecting
Maintenance and evolution of complex software systems (such as large telecom embedded devices) involve activities such as reverse engineering (RE) and software visualization. Alth...
Alexandru Telea, Alessandro Maccari, Claudio Riva
INFOCOM
1998
IEEE
15 years 10 months ago
Demand-based Radio Network Planning of Cellular Mobile Communication Systems
: This paper presents a demand-based engineering method for designing radio networks of cellularmobile communicationsystems. The proposed procedure is based on a forward-engineerin...
Kurt Tutschku
IPPS
1998
IEEE
15 years 10 months ago
Performance Analysis of Parallel Embedded Real Time Systems Based on Measurement and Visualization
This paper describes an approach to carry out performance analysis on systems which combine two major characteristics: real-time behaviour and parallel computational structure. It ...
Javier García, Jose Luis Díaz de Arr...