488 search results - page 76 / 98 » ST-Tool: A CASE Tool for Security Requirements Engineering |
ICSE
2008
IEEE-ACM
15 years 10 months ago
2008
IEEE-ACM
Dynamically discovering likely program invariants from concrete test executions has emerged as a highly promising software engineering technique. Dynamic invariant inference has t...
BDIM
2008
IEEE
15 years 4 months ago
2008
IEEE
—This paper defines an approach to maintain the work of business process analysts aligned with the work of UI designers. With this approach, models are derived from each other an...
SC
2009
ACM
15 years 4 months ago
2009
ACM
Science requires collaboration. In this paper, we investigate the feasibility of coupling current social networking techniques to science gateways to provide a scientific collabor...
WWW
2007
ACM
15 years 10 months ago
2007
ACM
Available methodologies for developing Sematic Web applications do not fully exploit the whole potential deriving from interaction with ontological data sources. Here we introduce...
92
Voted
MODELS
2007
Springer
15 years 3 months ago
2007
Springer
To promote the Model-Based software engineering development of user interfaces, this paper proposes a model driven development approach of complex user interface. The approach cap...