Sciweavers

8627 search results - page 364 / 1726
» Software Engineering Using RATionale
Sort
View
SAC
2005
ACM
16 years 8 days ago
Use case-driven component specification: a medical applications perspective to product line development
Modular and flexible software components can be useful for reuse across a class of domain-specific applications or product lines. By varying the composition of components suited t...
M. Brian Blake, Kevin Cleary, Sohan Ranjan, Luis I...
TII
2011
206views Education» more  TII 2011»
15 years 1 months ago
Timing-Failure Risk Assessment of UML Design Using Time Petri Net Bound Techniques
Abstract—Software systems that do not meet their timing constraints can cause risks. In this work, we propose a comprehensive method for assessing the risk of timing failure by e...
Simona Bernardi, Javier Campos, José Merseg...
INDIASE
2009
ACM
16 years 1 months ago
Computing dynamic clusters
When trying to reverse engineer software, execution trace analysis is increasingly used. Though, by using this technique we are quickly faced with an enormous amount of data that ...
Philippe Dugerdil, Sebastien Jossi
ECBS
2007
IEEE
111views Hardware» more  ECBS 2007»
16 years 1 months ago
Model-Based Empirical Performance Evaluation Based on Relational Traces
Empirical performance evaluation is the process of measuring and calculating performance metrics of deployed software systems. It is a part of performance validation during testin...
Marko Boskovic
SIGSOFT
2003
ACM
16 years 7 months ago
ARCHER: using symbolic, path-sensitive analysis to detect memory access errors
Memory corruption errors lead to non-deterministic, elusive crashes. This paper describes ARCHER (ARray CHeckER) a static, effective memory access checker. ARCHER uses path-sensit...
Yichen Xie, Andy Chou, Dawson R. Engler