Sciweavers

649 search results - page 71 / 130
» Formalizing Rework in Software Processes
Sort
View
CSMR
2004
IEEE
13 years 11 months ago
Source Code Modularization Using Lattice of Concept Slices
Most legacy systems have been altered due to prolonged maintenance to the point that they deviate significantly from their original and intended design and consequently, they lack...
Raihan Al-Ekram, Kostas Kontogiannis
JLP
2006
66views more  JLP 2006»
13 years 7 months ago
Petri net modules in the transformation-based component framework
Component-based software engineering needs to be backed by thorough formal concepts and modeling techniques. This paper combines two concepts introduced independently by the two a...
Julia Padberg, Hartmut Ehrig
IUI
1997
ACM
13 years 12 months ago
Providing User Support for Interactive Applications with FUSE
FUSE (Formal User Interface Specification Environment) is an integrated user interface development environment that offers tool-based support for all phases of the interface desig...
Frank Lonczewski
JSS
2008
90views more  JSS 2008»
13 years 7 months ago
Early quality monitoring in the development of real-time reactive systems
The increasing trend toward complex software systems has highlighted the need to incorporate quality requirements earlier in the development cycle. We propose a new methodology fo...
Olga Ormandjieva, Vangalur S. Alagar, Mao Zheng
IUI
2005
ACM
14 years 1 months ago
User interfaces with semi-formal representations: a study of designing argumentation structures
When designing mixed-initiative systems, full formalization of all potentially relevant knowledge may not be cost-effective or practical. This paper motivates the need for semi-fo...
Timothy Chklovski, Varun Ratnakar, Yolanda Gil