Sciweavers

96 search results - page 18 / 20
» Applying Refactoring Techniques to UML OCL Models
Sort
View
JSS
2007
75views more  JSS 2007»
13 years 7 months ago
A rationale-based architecture model for design traceability and reasoning
Large systems often have a long life-span and comprise many intricately related elements. The verification and maintenance of these systems require a good understanding of their ...
Antony Tang, Yan Jin, Jun Han
CLEIEJ
2006
110views more  CLEIEJ 2006»
13 years 7 months ago
Requirements Engineering Contributions on the Development of Educational Software for the Blind or People with Impaired Vision -
: This paper presents an account of the experience observed when obtaining a set of requirements for the development of educational software for people with impaired vision. Numero...
Victor Francisco Araya Santander, Dorisvaldo Rodri...
VL
2010
IEEE
209views Visual Languages» more  VL 2010»
13 years 6 months ago
Automatically Inferring ClassSheet Models from Spreadsheets
Many errors in spreadsheet formulas can be avoided if spreadsheets are built automatically from higher-level models that can encode and enforce consistency constraints. However, d...
Jacome Cunha, Martin Erwig, Joao Saraiva
JSW
2008
130views more  JSW 2008»
13 years 7 months ago
A Constraint-Driven Executable Model of Dynamic System Reconfiguration
Dynamic system reconfiguration techniques are presented that can enable the systematic evolution of software systems due to unanticipated changes in specification or requirements. ...
D'Arcy Walsh, Francis Bordeleau, Bran Selic
RE
1999
Springer
13 years 12 months ago
Generating User Interface Prototypes from Scenarios
Requirements capture by scenarios and user interface prototyping have become popular techniques. Yet, the transition from scenarios to formal specifications is still ill-defined, ...
Mohammed Elkoutbi, Ismaïl Khriss, Rudolf K. K...