Sciweavers

586 search results - page 51 / 118
» Model-Driven User Requirements Specification using SysML
Sort
View
131
Voted
AOSE
2007
Springer
15 years 6 months ago
Refining Goal Models by Evaluating System Behaviour
Abstract. Nowadays, information systems have to perform in complex, heterogeneous environments, considering a variety of system users with different needs and preferences. Software...
Mirko Morandini, Loris Penserini, Anna Perini, Ang...
145
Voted
FASE
2008
Springer
15 years 4 months ago
A Formal Framework for Developing Adaptable Service-Based Applications
Web services are open, interoperable, easy to integrate and reuse, and are extensively used in many application domains. Research and best practices have produced excellent support...
Leen Lambers, Leonardo Mariani, Hartmut Ehrig, Mau...
137
Voted
ICSM
1994
IEEE
15 years 6 months ago
A Framework for Partial Data Flow Analysis
Although data pow analysis was first developed for use in compilers, its usefulness is now recognized in many software tools. Because of its compiler origins, the computation of d...
Rajiv Gupta, Mary Lou Soffa
ERCIMDL
2008
Springer
88views Education» more  ERCIMDL 2008»
15 years 4 months ago
Improving Placeholders in Digital Documents
Placeholders in physical documents provide critical support for the human reader in relocating material and their place in the text. However, the equivalent tools in digital docume...
George Buchanan, Jennifer Pearson
CCS
2006
ACM
15 years 6 months ago
Beyond separation of duty: an algebra for specifying high-level security policies
A high-level security policy states an overall requirement for a sensitive task. One example of a high-level security policy is a separation of duty policy, which requires a sensi...
Ninghui Li, Qihua Wang