Sciweavers

3272 search results - page 266 / 655
» Introduction to Software Performance Engineering
Sort
View
WOSP
2005
ACM
16 years 5 days ago
From StoCharts to MoDeST: a comparative reliability analysis of train radio communications
StoCharts have been proposed as a UML statechart extension for performance and dependability evaluation, and have been applied in the context of train radio reliability assessment...
Holger Hermanns, David N. Jansen, Yaroslav S. Usen...
RE
2005
Springer
16 years 3 days ago
iVuBlender: A Tool for Merging Incomplete and Inconsistent Views
View merging is an important activity in any conceptual modeling language. It is often desirable to combine a set of views to gain a unified perspective, to test hypotheses about...
Mehrdad Sabetzadeh, Steve M. Easterbrook
VSTTE
2005
Springer
16 years 3 days ago
Reasoning about Object Structures Using Ownership
Abstract. Many well-established concepts of object-oriented programming work for individual objects, but do not support object structures. The development of a verifying compiler r...
Peter Müller
VSTTE
2005
Springer
16 years 3 days ago
WYSINWYX: What You See Is Not What You eXecute
What You See Is Not What You eXecute: computers do not execute source-code programs; they execute machine-code programs that are generated from source code. Not only can the WYSINW...
Gogul Balakrishnan, Thomas W. Reps, David Melski, ...
AOSD
2004
ACM
16 years 1 days ago
What are the key issues for commercial AOP use: how does AspectWerkz address them?
AspectWerkz is a framework targeted towards dynamic aspectoriented programming (AOP) in commercial applications. Based on our experience designing and supporting AspectWerkz, we h...
Jonas Bonér