Sciweavers

598 search results - page 19 / 120
» A Reusability Model for Portlets
Sort
View
ISSTA
2004
ACM
15 years 5 months ago
Verifying process models built using parameterized state machines
Software process and workflow languages are increasingly used to define loosely-coupled systems of systems. These languages focus on coordination issues such as data flow and c...
Barbara Staudt Lerner
EHCI
2001
15 years 1 months ago
Detecting Multiple Classes of User Errors
Abstract. Systematic user errors commonly occur in the use of interactive systems. We describe a formal reusable user model implemented in higher-order logic that can be used for m...
Paul Curzon, Ann Blandford
JUCS
2008
144views more  JUCS 2008»
14 years 11 months ago
Embedded Software Revitalization through Component Mining and Software Product Line Techniques
: The mining of generic software components from legacy systems can be used as an auxiliary technique to revitalize systems. This paper presents a software maintenance approach tha...
Marcelo A. Ramos, Rosângela Dellosso Pentead...
DAC
2002
ACM
16 years 21 days ago
Model design using hierarchical web-based libraries
Design tools can be profitably associated with libraries of reusable modeling components that will make the description and also the validation of the models much easier. Furtherm...
Fabrice Bernardi, Jean François Santucci
DSRT
2009
IEEE
15 years 3 months ago
Statemachine Matching in BOM Based Model Composition
Base Object Model (BOM) is a component-based standard designed to support reusability and Composability. Reusability helps in reducing time and cost of the development of a simula...
Imran Mahmood, Rassul Ayani, Vladimir Vlassov, Far...