ICSE
2001
IEEE-ACM
14 years 11 days ago
2001
IEEE-ACM
Object-oriented frameworks are a popular mechanism for building and evolving large applications and software product lines. This paper describes an alternative approach to softwar...
ICSE
2001
IEEE-ACM
14 years 11 days ago
2001
IEEE-ACM
: The design and development of Internet applications, requiring dynamic and possibly mobile access to Internet resources, can take advantage of an approach based on autonomous mob...
ICSE
2001
IEEE-ACM
14 years 11 days ago
2001
IEEE-ACM
ICSE
2001
IEEE-ACM
14 years 11 days ago
2001
IEEE-ACM
Software product lines enjoy increasingly wide adoption in the software industry. Most authors focus on the technical and process aspects and assume an organizational model consis...
ICSE
2001
IEEE-ACM
14 years 11 days ago
2001
IEEE-ACM
ICSE
2001
IEEE-ACM
14 years 11 days ago
2001
IEEE-ACM
The paper addresses the formal specification, design and implementation of the behavioral component of graphical user interfaces. The complex sequences of visual events and action...
ICSE
2001
IEEE-ACM
14 years 11 days ago
2001
IEEE-ACM
ICSE
2001
IEEE-ACM
14 years 11 days ago
2001
IEEE-ACM
Software maintenance costs dominate software engineering costs, partly because most such engineering is done manually. Program Transformation tools leverage an engineer-provided b...
ICSE
2001
IEEE-ACM
14 years 11 days ago
2001
IEEE-ACM
It has long been accepted that requirements analysis should precede architectural design and implementation, but in software evolution and reverse engineering this concern with bl...
ICSE
2001
IEEE-ACM
14 years 11 days ago
2001
IEEE-ACM
Mocha is a model checker based on the theme of exploiting design modularity: instead of manipulating unstructured state-transition graphs, it supports the hierarchical modeling fra...