Sciweavers

3943 search results - page 156 / 789
» Architecture-Level Requirements Specification
Sort
View
CSCW
1992
ACM
15 years 10 months ago
CSCW Challenges in Large-Scale Technical Projects - A Case Study
This paper investigates CSCW aspects of large-scale technical projects based on a case study of a specific Danish engineering company and uncovers challenges to CSCW applications ...
Kaj Grønbæk, Morten Kyng, Preben Moge...
AOSE
2007
Springer
15 years 10 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...
CCS
2009
ACM
15 years 10 months ago
On voting machine design for verification and testability
We present an approach for the design and analysis of an electronic voting machine based on a novel combination of formal verification and systematic testing. The system was desig...
Cynthia Sturton, Susmit Jha, Sanjit A. Seshia, Dav...
ECAI
2004
Springer
15 years 10 months ago
Configuration of Web Services as Parametric Design
Abstract. The configuration of Web services is particularly hard given the heterogeneous, unreliable and open nature of the Web. Furthermore, such composite Web services are likely...
Annette ten Teije, Frank van Harmelen, Bob J. Wiel...
ICWS
2010
IEEE
15 years 8 months ago
A Pattern-Driven Generation of Security Policies for Service-Oriented Architectures
Service-oriented Architectures support the provision, discovery, and usage of services in different application contexts. The Web Service specifications provide a technical founda...
Michael Menzel, Robert Warschofsky, Christoph Mein...