Sciweavers

2969 search results - page 355 / 594
» The Case for User-Centered CASE Tools
Sort
View
162
Voted
STEP
2005
IEEE
16 years 7 days ago
Managing Model Quality in UML-Based Software Development
With the advent of UML and MDA, models play an increasingly important role in software development. Hence, the management of the quality of models is of key importance for complet...
Christian F. J. Lange, Michel R. V. Chaudron
FASE
2005
Springer
16 years 6 days ago
Improving System Understanding via Interactive, Tailorable, Source Code Analysis
In situations in which developers are not familiar with a system or its documentation is inadequate, the system’s source code becomes the only reliable source of information. Unf...
Vladimir Jakobac, Alexander Egyed, Nenad Medvidovi...
OOPSLA
2005
Springer
16 years 5 days ago
Model-driven software product lines
iven software product lines combine the abstraction capability of Model Driven Software Development (MDSD) and the variability management capability of Software Product Line Engin...
Krzysztof Czarnecki, Michal Antkiewicz, Chang Hwan...
SAT
2005
Springer
142views Hardware» more  SAT 2005»
16 years 5 days ago
Optimizations for Compiling Declarative Models into Boolean Formulas
Advances in SAT solver technology have enabled many automated analysis and reasoning tools to reduce their input problem to a SAT problem, and then to use an efficient SAT solver ...
Darko Marinov, Sarfraz Khurshid, Suhabe Bugrara, L...
171
Voted
WAIM
2005
Springer
16 years 4 days ago
An Ontology Based Approach to Construct Behaviors in Web Information Systems
System behaviors specify the major functions of domain specific Web Information Systems (WIS). Traditional techniques can not satisfy various requirements or manage innumerous data...
Lv-an Tang, Hongyan Li, Zhiyong Pan, Dongqing Yang...