Sciweavers

2274 search results - page 229 / 455
» Qualitative Modeling for Requirements Engineering
Sort
View
PEPM
2004
ACM
15 years 12 months ago
Component specialization
To our point of view, adaptability is a key characteristic of components and should be at the heart of any proper component model. However, contrarily to the object crystal-box mod...
Gustavo J. Bobeff, Jacques Noyé
RE
2010
Springer
15 years 1 months ago
A UML-based static verification framework for security
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...
Igor Siveroni, Andrea Zisman, George Spanoudakis
EMSOFT
2004
Springer
15 years 12 months ago
Model based estimation and verification of mobile device performance
Performance is an important quality attribute that needs to be and managed proactively. Abstract models of the system are not very useful if they do not produce reasonably accurat...
Gopalakrishna Raghavan, Ari Salomaki, Raimondas Le...
SAINT
2008
IEEE
16 years 27 days ago
From Internet Information Searching to Information Summarizing
The paper describes an incremental advance in search engine from Internet information searching to information summarizing service. This incremental innovation requires only exist...
Yu-Hui Tao
COMPSAC
2003
IEEE
15 years 11 months ago
A Role-Based Metamodeling Approach to Specifying Design Patterns
Design patterns describe solutions to recurring design problems in the development of software designs. To encourage the use of design patterns, we are investigating tool support ...
Dae-Kyoo Kim, Robert B. France, Sudipto Ghosh, Eun...