Sciweavers

2741 search results - page 189 / 549
» Designing Law-Compliant Software Requirements
Sort
View
DAGSTUHL
2009
15 years 7 months ago
Engineering Self-Adaptive Systems through Feedback Loops
To deal with the increasing complexity of software systems and uncertainty of their environments, software engineers have turned to self-adaptivity. Self-adaptive systems are capab...
Yuriy Brun, Giovanna Di Marzo Serugendo, Cristina ...
ENTCS
2010
118views more  ENTCS 2010»
15 years 3 months ago
Systematic Refinement of Performance Models for Concurrent Component-based Systems
Model-driven performance prediction methods require detailed design models to evaluate the performance of software systems during early development stages. However, the complexity...
Lucia Kapová, Steffen Becker
TAICPART
2006
IEEE
131views Education» more  TAICPART 2006»
16 years 13 days ago
Bogor: A Flexible Framework for Creating Software Model Checkers
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
Robby, Matthew B. Dwyer, John Hatcliff
ECLIPSE
2004
ACM
15 years 12 months ago
Eclipse as a platform for research on interruption management in software development
Automated tools for mediating incoming interruptions are necessary in order to balance the concentration required for software development with the need to collaborate and absorb ...
Uri Dekel, Steven Ross
UML
2001
Springer
15 years 11 months ago
Estimating Software Development Effort Based on Use Cases-Experiences from Industry
Use case models are used in object-oriented analysis for capturing and describing the functional requirements of a system. Several methods for estimating software development effor...
Bente Anda, Hege Dreiem, Dag I. K. Sjøberg,...