Sciweavers

5832 search results - page 666 / 1167
» Software complexity and maintainability
Sort
View
WSTFEUS
2003
IEEE
16 years 20 days ago
Requirements for a Component Framework of Future Ubiquitous Computing
System software for future computing environments becomes more complex and heterogeneous. Portability becomes one of the important properties of the future system software. Compon...
Hiroo Ishikawa, Yuuki Ogata, Kazuto Adachi, Tatsuo...
185
Voted
AOSD
2003
ACM
16 years 20 days ago
Navigating and querying code without getting lost
A development task related to a crosscutting concern is challenging because a developer can easily get lost when exploring scattered elements of code and the complex tangle of rel...
Doug Janzen, Kris De Volder
BIRTHDAY
2003
Springer
16 years 19 days ago
Important Aspect of Knowledge Management
In this paper it is explained what Knowledge Management (KM) is and why it will play an important role in the future. This implies that KM is indeed more than just the sophisticate...
Hermann A. Maurer
207
Voted
FASE
2003
Springer
16 years 19 days ago
Integration of Formal Datatypes within State Diagrams
In this paper, we present a generic approach to integrate datatypes expressed using formal specification languages within state diagrams. Our main motivations are (i) to be able t...
Christian Attiogbé, Pascal Poizat, Gwen Sal...
ICSE
2003
IEEE-ACM
16 years 18 days ago
Data Flow Testing as Model Checking
This paper presents a model checking-based approach to data flow testing. We characterize data flow oriented coverage criteria in temporal logic such that the problem of test ge...
Hyoung Seok Hong, Sung Deok Cha, Insup Lee, Oleg S...