Sciweavers

3792 search results - page 395 / 759
» Techniques for Trusted Software Engineering
Sort
View
COMPSAC
2005
IEEE
16 years 12 days ago
Recovering "Lack of Words" in Text Categorization for Item Banks
PKIP, Patterned Keywords in Phrase, is our feature selection approach to text categorization (TC) for item banks. An item bank is a collection of textual data in which each item c...
Atorn Nuntiyagul, Nick Cercone, Kanlaya Naruedomku...
CSMR
2005
IEEE
16 years 12 days ago
Discovering Unanticipated Dependency Schemas in Class Hierarchies
Object-oriented applications are difficult to extend and maintain, due to the presence of implicit dependencies in the inheritance hierarchy. Although these dependencies often co...
Gabriela Arévalo, Stéphane Ducasse, ...
SEFM
2005
IEEE
16 years 11 days ago
From RT-LOTOS to Time Petri Nets New Foundations for a Verification Platform
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verificat...
Tarek Sadani, Pierre de Saqui-Sannes, Jean-Pierre ...
WORDS
2005
IEEE
16 years 11 days ago
Towards a Dependable Component Technology for Embedded System Applications
Component-based software engineering is a technique that has proven effective to increase reusability and efficiency in development of office and web applications. Though being ...
Mikael Åkerholm, Anders Möller, Hans Ha...
FASE
2005
Springer
16 years 10 days ago
A Tool to Automate Component Clustering and Identification
It is a key activity in CBD to identify high-quality components which have high cohesion and low coupling. However, component clustering is carried out in manual fashion by develop...
Soo Ho Chang, Man Jib Han, Soo Dong Kim